├── .github └── workflows │ └── haskell-ci.yml ├── .gitignore ├── README.md ├── beam-large-records ├── CHANGELOG.md ├── LICENSE ├── beam-large-records.cabal ├── src │ └── Data │ │ └── Record │ │ ├── Beam.hs │ │ └── Beam │ │ ├── Constraints.hs │ │ ├── DbSettings.hs │ │ ├── FromBackendRow.hs │ │ ├── Internal.hs │ │ ├── Interpretation.hs │ │ ├── Lenses.hs │ │ ├── Skeleton.hs │ │ ├── ZipDatabase.hs │ │ └── ZipTables.hs └── test │ ├── Test │ └── Record │ │ └── Beam │ │ ├── Andres.hs │ │ ├── SimpleSQL.hs │ │ ├── Tutorial1.hs │ │ ├── Tutorial2.hs │ │ ├── Tutorial3.hs │ │ ├── Util │ │ ├── Compat.hs │ │ ├── Orphans.hs │ │ └── SQLite.hs │ │ └── Zipping.hs │ └── TestBeamLargeRecords.hs ├── cabal.haskell-ci ├── cabal.project ├── large-anon ├── CHANGELOG.md ├── LICENSE ├── fourmolu-preprocessor │ └── Main.hs ├── large-anon.cabal ├── src │ └── Data │ │ └── Record │ │ ├── Anon.hs │ │ └── Anon │ │ ├── Advanced.hs │ │ ├── Internal │ │ ├── Advanced.hs │ │ ├── Core │ │ │ ├── Canonical.hs │ │ │ ├── Diff.hs │ │ │ └── FieldName.hs │ │ ├── Plugin.hs │ │ ├── Plugin │ │ │ ├── Source.hs │ │ │ ├── Source │ │ │ │ ├── FreshT.hs │ │ │ │ ├── GhcShim.hs │ │ │ │ ├── Names.hs │ │ │ │ └── Options.hs │ │ │ └── TC │ │ │ │ ├── Constraints │ │ │ │ ├── AllFields.hs │ │ │ │ ├── KnownFields.hs │ │ │ │ ├── KnownHash.hs │ │ │ │ ├── RowHasField.hs │ │ │ │ └── SubRow.hs │ │ │ │ ├── EquivClasses.hs │ │ │ │ ├── GhcTcPluginAPI.hs │ │ │ │ ├── NameResolution.hs │ │ │ │ ├── Parsing.hs │ │ │ │ ├── Rewriter.hs │ │ │ │ ├── Row │ │ │ │ ├── KnownField.hs │ │ │ │ ├── KnownRow.hs │ │ │ │ └── ParsedRow.hs │ │ │ │ └── Solver.hs │ │ ├── Reflection.hs │ │ ├── Simple.hs │ │ └── Util │ │ │ ├── SmallHashMap.hs │ │ │ └── StrictArray.hs │ │ ├── Overloading.hs │ │ ├── Plugin.hs │ │ ├── Plugin │ │ └── Internal │ │ │ └── Runtime.hs │ │ └── Simple.hs └── test │ ├── Test │ ├── Infra │ │ ├── Discovery.hs │ │ ├── DynRecord.hs │ │ ├── DynRecord │ │ │ ├── Advanced.hs │ │ │ └── Simple.hs │ │ ├── Generics.hs │ │ └── MarkStrictness.hs │ ├── Prop │ │ └── Record │ │ │ ├── Combinators │ │ │ ├── Constrained.hs │ │ │ └── Simple.hs │ │ │ ├── Diff.hs │ │ │ ├── Model.hs │ │ │ └── Model │ │ │ ├── Generator.hs │ │ │ └── Orphans.hs │ └── Sanity │ │ ├── AllFields.hs │ │ ├── Applicative.hs │ │ ├── BlogPost.hs │ │ ├── CheckIsSubRow.hs │ │ ├── Discovery.hs │ │ ├── DuplicateFields.hs │ │ ├── Generics.hs │ │ ├── HasField.hs │ │ ├── Intersection.hs │ │ ├── Merging.hs │ │ ├── Named │ │ ├── Record1.hs │ │ └── Record2.hs │ │ ├── OverloadedRecordDot.hs │ │ ├── OverloadedRecordUpdate.hs │ │ ├── PolyKinds.hs │ │ ├── RebindableSyntax │ │ ├── Disabled.hs │ │ ├── Enabled.hs │ │ └── Tests.hs │ │ ├── RecordLens.hs │ │ ├── Regression.hs │ │ ├── Simple.hs │ │ ├── SrcPlugin │ │ ├── WithTypelet.hs │ │ └── WithoutTypelet.hs │ │ └── TypeLevelMetadata.hs │ └── TestLargeAnon.hs ├── large-generics ├── CHANGELOG.md ├── LICENSE ├── large-generics.cabal ├── src │ └── Data │ │ └── Record │ │ ├── Generic.hs │ │ └── Generic │ │ ├── Eq.hs │ │ ├── GHC.hs │ │ ├── JSON.hs │ │ ├── Lens │ │ └── VL.hs │ │ ├── LowerBound.hs │ │ ├── NFData.hs │ │ ├── Rep.hs │ │ ├── Rep │ │ └── Internal.hs │ │ ├── SOP.hs │ │ ├── Show.hs │ │ └── Transform.hs └── test │ ├── Test │ └── Record │ │ └── Generic │ │ ├── Infra │ │ ├── Beam │ │ │ ├── Interpretation.hs │ │ │ └── Mini.hs │ │ ├── Examples.hs │ │ └── Util.hs │ │ ├── Prop │ │ ├── Show.hs │ │ └── ToFromJSON.hs │ │ └── Sanity │ │ ├── GhcGenerics.hs │ │ ├── Laziness.hs │ │ ├── Lens │ │ └── VL.hs │ │ ├── Rep.hs │ │ └── Transform.hs │ └── TestLargeGenerics.hs ├── large-records-benchmarks ├── LICENSE ├── README.md ├── bench │ ├── after │ │ ├── After │ │ │ └── Sized │ │ │ │ ├── R000.hs │ │ │ │ ├── R010.hs │ │ │ │ ├── R020.hs │ │ │ │ ├── R030.hs │ │ │ │ ├── R040.hs │ │ │ │ ├── R050.hs │ │ │ │ ├── R060.hs │ │ │ │ ├── R070.hs │ │ │ │ ├── R080.hs │ │ │ │ ├── R090.hs │ │ │ │ └── R100.hs │ │ ├── HasNormalForm │ │ │ └── Sized │ │ │ │ ├── R000.hs │ │ │ │ ├── R010.hs │ │ │ │ ├── R020.hs │ │ │ │ ├── R030.hs │ │ │ │ ├── R040.hs │ │ │ │ ├── R050.hs │ │ │ │ ├── R060.hs │ │ │ │ ├── R070.hs │ │ │ │ ├── R080.hs │ │ │ │ ├── R090.hs │ │ │ │ └── R100.hs │ │ ├── HigherKinded │ │ │ └── Sized │ │ │ │ ├── R000.hs │ │ │ │ ├── R010.hs │ │ │ │ ├── R020.hs │ │ │ │ ├── R030.hs │ │ │ │ ├── R040.hs │ │ │ │ ├── R050.hs │ │ │ │ ├── R060.hs │ │ │ │ ├── R070.hs │ │ │ │ ├── R080.hs │ │ │ │ ├── R090.hs │ │ │ │ └── R100.hs │ │ └── Main.hs │ ├── before │ │ ├── Before │ │ │ └── Sized │ │ │ │ ├── R000.hs │ │ │ │ ├── R010.hs │ │ │ │ ├── R020.hs │ │ │ │ ├── R030.hs │ │ │ │ ├── R040.hs │ │ │ │ ├── R050.hs │ │ │ │ ├── R060.hs │ │ │ │ ├── R070.hs │ │ │ │ ├── R080.hs │ │ │ │ ├── R090.hs │ │ │ │ └── R100.hs │ │ └── Main.hs │ ├── experiments │ │ ├── Common │ │ │ ├── EmptyClass_List.hs │ │ │ ├── EmptyClass_Tree_Nominal.hs │ │ │ ├── EmptyClass_Tree_Phantom.hs │ │ │ └── HListOfSize │ │ │ │ ├── HL010.hs │ │ │ │ ├── HL020.hs │ │ │ │ ├── HL030.hs │ │ │ │ ├── HL040.hs │ │ │ │ ├── HL050.hs │ │ │ │ ├── HL060.hs │ │ │ │ ├── HL070.hs │ │ │ │ ├── HL080.hs │ │ │ │ ├── HL090.hs │ │ │ │ └── HL100.hs │ │ ├── Experiment │ │ │ ├── Applicative │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── ConstraintFamily_Deep.hs │ │ │ ├── ConstraintFamily_Deep │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── ConstraintFamily_Shallow.hs │ │ │ ├── ConstraintFamily_Shallow │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── Generics_LR.hs │ │ │ ├── Generics_LR │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── Generics_SOP.hs │ │ │ ├── Generics_SOP │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── Induction_List │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── Induction_Tree_Nominal │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── Induction_Tree_Phantom │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── PatternSynonym_Default │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── PatternSynonym_NFS │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── PreEval_Nominal │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── PreEval_Phantom │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── SimpleRecord │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ └── Superclasses │ │ │ │ └── Sized │ │ │ │ ├── R000.hs │ │ │ │ ├── R010.hs │ │ │ │ ├── R020.hs │ │ │ │ ├── R030.hs │ │ │ │ ├── R040.hs │ │ │ │ ├── R050.hs │ │ │ │ ├── R060.hs │ │ │ │ ├── R070.hs │ │ │ │ ├── R080.hs │ │ │ │ ├── R090.hs │ │ │ │ └── R100.hs │ │ ├── Infra │ │ │ ├── ShowType.hs │ │ │ └── Tree.hs │ │ └── Main.hs │ ├── large-anon │ │ ├── Common │ │ │ └── RowOfSize │ │ │ │ ├── Row010.hs │ │ │ │ ├── Row020.hs │ │ │ │ ├── Row030.hs │ │ │ │ ├── Row040.hs │ │ │ │ ├── Row050.hs │ │ │ │ ├── Row060.hs │ │ │ │ ├── Row070.hs │ │ │ │ ├── Row080.hs │ │ │ │ ├── Row090.hs │ │ │ │ └── Row100.hs │ │ ├── Experiment │ │ │ ├── ConstructNoApply │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── ConstructNoTypeLet │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── ConstructWithTypeLet │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── GetEvens │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── ParseJSON │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── SetEvens │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ ├── ToJSON │ │ │ │ └── Sized │ │ │ │ │ ├── R000.hs │ │ │ │ │ ├── R010.hs │ │ │ │ │ ├── R020.hs │ │ │ │ │ ├── R030.hs │ │ │ │ │ ├── R040.hs │ │ │ │ │ ├── R050.hs │ │ │ │ │ ├── R060.hs │ │ │ │ │ ├── R070.hs │ │ │ │ │ ├── R080.hs │ │ │ │ │ ├── R090.hs │ │ │ │ │ └── R100.hs │ │ │ └── UpdateOne │ │ │ │ └── Sized │ │ │ │ ├── R000.hs │ │ │ │ ├── R010.hs │ │ │ │ ├── R020.hs │ │ │ │ ├── R030.hs │ │ │ │ ├── R040.hs │ │ │ │ ├── R050.hs │ │ │ │ ├── R060.hs │ │ │ │ ├── R070.hs │ │ │ │ ├── R080.hs │ │ │ │ ├── R090.hs │ │ │ │ └── R100.hs │ │ └── Main.hs │ └── typelet │ │ ├── Common │ │ ├── FunOfArity │ │ │ ├── F010.hs │ │ │ ├── F020.hs │ │ │ ├── F030.hs │ │ │ ├── F040.hs │ │ │ ├── F050.hs │ │ │ ├── F060.hs │ │ │ ├── F070.hs │ │ │ ├── F080.hs │ │ │ ├── F090.hs │ │ │ └── F100.hs │ │ └── HListOfSize │ │ │ ├── HL010.hs │ │ │ ├── HL020.hs │ │ │ ├── HL030.hs │ │ │ ├── HL040.hs │ │ │ ├── HL050.hs │ │ │ ├── HL060.hs │ │ │ ├── HL070.hs │ │ │ ├── HL080.hs │ │ │ ├── HL090.hs │ │ │ └── HL100.hs │ │ ├── Experiment │ │ ├── ApBaseline │ │ │ └── Sized │ │ │ │ ├── R000.hs │ │ │ │ ├── R010.hs │ │ │ │ ├── R020.hs │ │ │ │ ├── R030.hs │ │ │ │ ├── R040.hs │ │ │ │ ├── R050.hs │ │ │ │ ├── R060.hs │ │ │ │ ├── R070.hs │ │ │ │ ├── R080.hs │ │ │ │ ├── R090.hs │ │ │ │ └── R100.hs │ │ ├── ApLet │ │ │ └── Sized │ │ │ │ ├── R000.hs │ │ │ │ ├── R010.hs │ │ │ │ ├── R020.hs │ │ │ │ ├── R030.hs │ │ │ │ ├── R040.hs │ │ │ │ ├── R050.hs │ │ │ │ ├── R060.hs │ │ │ │ ├── R070.hs │ │ │ │ ├── R080.hs │ │ │ │ ├── R090.hs │ │ │ │ └── R100.hs │ │ ├── HListBaseline │ │ │ └── Sized │ │ │ │ ├── R000.hs │ │ │ │ ├── R010.hs │ │ │ │ ├── R020.hs │ │ │ │ ├── R030.hs │ │ │ │ ├── R040.hs │ │ │ │ ├── R050.hs │ │ │ │ ├── R060.hs │ │ │ │ ├── R070.hs │ │ │ │ ├── R080.hs │ │ │ │ ├── R090.hs │ │ │ │ └── R100.hs │ │ ├── HListLetAsCPS │ │ │ └── Sized │ │ │ │ ├── R000.hs │ │ │ │ ├── R010.hs │ │ │ │ ├── R020.hs │ │ │ │ ├── R030.hs │ │ │ │ ├── R040.hs │ │ │ │ ├── R050.hs │ │ │ │ ├── R060.hs │ │ │ │ ├── R070.hs │ │ │ │ ├── R080.hs │ │ │ │ ├── R090.hs │ │ │ │ └── R100.hs │ │ └── HListLetAsCase │ │ │ └── Sized │ │ │ ├── R000.hs │ │ │ ├── R010.hs │ │ │ ├── R020.hs │ │ │ ├── R030.hs │ │ │ ├── R040.hs │ │ │ ├── R050.hs │ │ │ ├── R060.hs │ │ │ ├── R070.hs │ │ │ ├── R080.hs │ │ │ ├── R090.hs │ │ │ └── R100.hs │ │ └── Main.hs ├── large-records-benchmarks.cabal ├── lib │ └── Bench │ │ ├── EvensOfSize │ │ ├── Evens010.hs │ │ ├── Evens020.hs │ │ ├── Evens030.hs │ │ ├── Evens040.hs │ │ ├── Evens050.hs │ │ ├── Evens060.hs │ │ ├── Evens070.hs │ │ ├── Evens080.hs │ │ ├── Evens090.hs │ │ └── Evens100.hs │ │ ├── HList.hs │ │ ├── Types.hs │ │ └── Util │ │ └── Criterion.hs ├── report │ ├── README.md │ ├── all-plots.gnuplot │ ├── coresize.csv │ ├── graphs │ │ ├── benchmark-00-before-vs-after-coresize.png │ │ ├── benchmark-01-before-vs-after-timing.png │ │ ├── benchmark-02-higherkinded-coresize.png │ │ ├── benchmark-03-higherkinded-timing.png │ │ ├── benchmark-04-hasnormalform-coresize-pre-verysimpleopt.png │ │ ├── benchmark-05-hasnormalform-coresize-post-verysimpleopt.png │ │ ├── benchmark-06-hasnormalform-timing.png │ │ ├── experiment-applicative-coresize.png │ │ ├── experiment-applicative-timing.png │ │ ├── experiment-constraintfamily-coresize-post-verysimpleopt.png │ │ ├── experiment-constraintfamily-coresize-pre-verysimpleopt.png │ │ ├── experiment-constraintfamily-timing.png │ │ ├── experiment-generics-coresize.png │ │ ├── experiment-generics-timing.png │ │ ├── experiment-induction-coresize.png │ │ ├── experiment-induction-timing.png │ │ ├── experiment-patternsynonym-coresize.png │ │ ├── experiment-patternsynonym-timing.png │ │ ├── experiment-preeval-coresize.png │ │ ├── experiment-preeval-timing.png │ │ ├── experiment-simplerecord-coresize.png │ │ ├── experiment-simplerecord-timing.png │ │ ├── experiment-superclasses-coresize-ds.png │ │ ├── experiment-superclasses-coresize-simpl.png │ │ ├── experiment-superclasses-timing.png │ │ ├── large-anon-construct-coresize.png │ │ ├── large-anon-construct-timing.png │ │ ├── large-anon-get-coresize.png │ │ ├── large-anon-get-timing.png │ │ ├── large-anon-parseJSON-coresize.png │ │ ├── large-anon-parseJSON-timing.png │ │ ├── large-anon-set-coresize.png │ │ ├── large-anon-set-timing.png │ │ ├── large-anon-toJSON-coresize.png │ │ ├── large-anon-toJSON-timing.png │ │ ├── large-anon-updateone-coresize.png │ │ ├── large-anon-updateone-timing.png │ │ ├── large-anon-vs-superrecord-construct-coresize.png │ │ ├── large-anon-vs-superrecord-construct-runtime.png │ │ ├── large-anon-vs-superrecord-construct-timing.png │ │ ├── large-anon-vs-superrecord-get-coresize.png │ │ ├── large-anon-vs-superrecord-get-runtime.png │ │ ├── large-anon-vs-superrecord-get-timing.png │ │ ├── large-anon-vs-superrecord-parseJSON-coresize.png │ │ ├── large-anon-vs-superrecord-parseJSON-runtime.png │ │ ├── large-anon-vs-superrecord-parseJSON-timing.png │ │ ├── large-anon-vs-superrecord-set-coresize.png │ │ ├── large-anon-vs-superrecord-set-runtime.png │ │ ├── large-anon-vs-superrecord-set-timing.png │ │ ├── large-anon-vs-superrecord-toJSON-coresize.png │ │ ├── large-anon-vs-superrecord-toJSON-runtime.png │ │ ├── large-anon-vs-superrecord-toJSON-timing.png │ │ ├── large-anon-vs-superrecord-updateone-coresize.png │ │ ├── large-anon-vs-superrecord-updateone-runtime.png │ │ ├── large-anon-vs-superrecord-updateone-timing.png │ │ ├── superrecord-construct-coresize.png │ │ ├── superrecord-construct-timing.png │ │ ├── typelet-ap-coresize.png │ │ ├── typelet-ap-timing.png │ │ ├── typelet-hlist-coresize.png │ │ └── typelet-hlist-timing.png │ ├── nofieldselectors.gnuplot │ ├── runtime.csv │ ├── timing.csv │ └── update.sh ├── test │ ├── Test │ │ ├── After.hs │ │ ├── Experiment │ │ │ └── Generics.hs │ │ └── HigherKinded.hs │ └── TestLargeRecordsBenchmarks.hs └── tooling │ ├── ParseCoresize.hs │ ├── ParseTiming.hs │ └── Tooling.hs ├── large-records ├── CHANGELOG.md ├── LICENSE ├── large-records.cabal ├── measure-mem.sh ├── src │ └── Data │ │ └── Record │ │ ├── Internal │ │ ├── GHC │ │ │ ├── Fresh.hs │ │ │ ├── Shim.hs │ │ │ └── TemplateHaskellStyle.hs │ │ └── Plugin │ │ │ ├── CodeGen.hs │ │ │ ├── Exception.hs │ │ │ ├── Names.hs │ │ │ ├── Options.hs │ │ │ └── Record.hs │ │ ├── Overloading.hs │ │ ├── Plugin.hs │ │ └── Plugin │ │ ├── Options.hs │ │ ├── Runtime.hs │ │ └── WithRDP.hs ├── test │ ├── Test │ │ └── Record │ │ │ ├── Sanity │ │ │ ├── CodeGen.hs │ │ │ ├── Derive.hs │ │ │ ├── EqualFieldTypes.hs │ │ │ ├── GhcGenerics.hs │ │ │ ├── HKD.hs │ │ │ ├── HigherKinded.hs │ │ │ ├── NamedWildCards.hs │ │ │ ├── Operators.hs │ │ │ ├── Optics │ │ │ │ ├── SingleModule.hs │ │ │ │ ├── SplitModule.hs │ │ │ │ └── SplitModule │ │ │ │ │ └── RecordDef.hs │ │ │ ├── OverloadedRecordUpdate.hs │ │ │ ├── OverloadingNoDRF.hs │ │ │ ├── PatternMatch.hs │ │ │ ├── QualifiedImports.hs │ │ │ ├── QualifiedImports │ │ │ │ ├── A.hs │ │ │ │ └── B.hs │ │ │ ├── RDP │ │ │ │ ├── SingleModule.hs │ │ │ │ ├── SplitModule.hs │ │ │ │ └── SplitModule │ │ │ │ │ └── RecordDef.hs │ │ │ ├── RecordConstruction.hs │ │ │ ├── Strictness.hs │ │ │ └── StrictnessStrictData.hs │ │ │ └── Util.hs │ └── TestLargeRecords.hs └── timed-ghc.sh └── typelet ├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── README.md ├── src ├── TypeLet.hs └── TypeLet │ ├── Plugin.hs │ ├── Plugin │ ├── Constraints.hs │ ├── GhcTcPluginAPI.hs │ ├── NameResolution.hs │ └── Substitution.hs │ └── UserAPI.hs ├── test ├── Test │ ├── Infra.hs │ ├── Sanity.hs │ └── WithoutPlugin.hs └── TestTypeLet.hs └── typelet.cabal /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/README.md -------------------------------------------------------------------------------- /beam-large-records/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/CHANGELOG.md -------------------------------------------------------------------------------- /beam-large-records/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/LICENSE -------------------------------------------------------------------------------- /beam-large-records/beam-large-records.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/beam-large-records.cabal -------------------------------------------------------------------------------- /beam-large-records/src/Data/Record/Beam.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/src/Data/Record/Beam.hs -------------------------------------------------------------------------------- /beam-large-records/src/Data/Record/Beam/Constraints.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/src/Data/Record/Beam/Constraints.hs -------------------------------------------------------------------------------- /beam-large-records/src/Data/Record/Beam/DbSettings.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/src/Data/Record/Beam/DbSettings.hs -------------------------------------------------------------------------------- /beam-large-records/src/Data/Record/Beam/FromBackendRow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/src/Data/Record/Beam/FromBackendRow.hs -------------------------------------------------------------------------------- /beam-large-records/src/Data/Record/Beam/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/src/Data/Record/Beam/Internal.hs -------------------------------------------------------------------------------- /beam-large-records/src/Data/Record/Beam/Interpretation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/src/Data/Record/Beam/Interpretation.hs -------------------------------------------------------------------------------- /beam-large-records/src/Data/Record/Beam/Lenses.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/src/Data/Record/Beam/Lenses.hs -------------------------------------------------------------------------------- /beam-large-records/src/Data/Record/Beam/Skeleton.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/src/Data/Record/Beam/Skeleton.hs -------------------------------------------------------------------------------- /beam-large-records/src/Data/Record/Beam/ZipDatabase.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/src/Data/Record/Beam/ZipDatabase.hs -------------------------------------------------------------------------------- /beam-large-records/src/Data/Record/Beam/ZipTables.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/src/Data/Record/Beam/ZipTables.hs -------------------------------------------------------------------------------- /beam-large-records/test/Test/Record/Beam/Andres.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/test/Test/Record/Beam/Andres.hs -------------------------------------------------------------------------------- /beam-large-records/test/Test/Record/Beam/SimpleSQL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/test/Test/Record/Beam/SimpleSQL.hs -------------------------------------------------------------------------------- /beam-large-records/test/Test/Record/Beam/Tutorial1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/test/Test/Record/Beam/Tutorial1.hs -------------------------------------------------------------------------------- /beam-large-records/test/Test/Record/Beam/Tutorial2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/test/Test/Record/Beam/Tutorial2.hs -------------------------------------------------------------------------------- /beam-large-records/test/Test/Record/Beam/Tutorial3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/test/Test/Record/Beam/Tutorial3.hs -------------------------------------------------------------------------------- /beam-large-records/test/Test/Record/Beam/Util/Compat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/test/Test/Record/Beam/Util/Compat.hs -------------------------------------------------------------------------------- /beam-large-records/test/Test/Record/Beam/Util/Orphans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/test/Test/Record/Beam/Util/Orphans.hs -------------------------------------------------------------------------------- /beam-large-records/test/Test/Record/Beam/Util/SQLite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/test/Test/Record/Beam/Util/SQLite.hs -------------------------------------------------------------------------------- /beam-large-records/test/Test/Record/Beam/Zipping.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/test/Test/Record/Beam/Zipping.hs -------------------------------------------------------------------------------- /beam-large-records/test/TestBeamLargeRecords.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/beam-large-records/test/TestBeamLargeRecords.hs -------------------------------------------------------------------------------- /cabal.haskell-ci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/cabal.haskell-ci -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/cabal.project -------------------------------------------------------------------------------- /large-anon/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/CHANGELOG.md -------------------------------------------------------------------------------- /large-anon/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/LICENSE -------------------------------------------------------------------------------- /large-anon/fourmolu-preprocessor/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/fourmolu-preprocessor/Main.hs -------------------------------------------------------------------------------- /large-anon/large-anon.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/large-anon.cabal -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Advanced.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Advanced.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Advanced.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Advanced.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Core/Canonical.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Core/Canonical.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Core/Diff.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Core/Diff.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Core/FieldName.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Core/FieldName.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/Source.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/Source.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/Source/FreshT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/Source/FreshT.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/Source/GhcShim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/Source/GhcShim.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/Source/Names.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/Source/Names.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/Source/Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/Source/Options.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Constraints/AllFields.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Constraints/AllFields.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Constraints/KnownFields.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Constraints/KnownFields.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Constraints/KnownHash.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Constraints/KnownHash.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Constraints/RowHasField.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Constraints/RowHasField.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Constraints/SubRow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Constraints/SubRow.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/EquivClasses.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/EquivClasses.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/GhcTcPluginAPI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/GhcTcPluginAPI.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/NameResolution.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/NameResolution.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Parsing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Parsing.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Rewriter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Rewriter.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Row/KnownField.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Row/KnownField.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Row/KnownRow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Row/KnownRow.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Row/ParsedRow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Row/ParsedRow.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Plugin/TC/Solver.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Reflection.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Reflection.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Simple.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Util/SmallHashMap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Util/SmallHashMap.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Internal/Util/StrictArray.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Internal/Util/StrictArray.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Overloading.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Overloading.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Plugin.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Plugin/Internal/Runtime.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Plugin/Internal/Runtime.hs -------------------------------------------------------------------------------- /large-anon/src/Data/Record/Anon/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/src/Data/Record/Anon/Simple.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Infra/Discovery.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Infra/Discovery.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Infra/DynRecord.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Infra/DynRecord.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Infra/DynRecord/Advanced.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Infra/DynRecord/Advanced.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Infra/DynRecord/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Infra/DynRecord/Simple.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Infra/Generics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Infra/Generics.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Infra/MarkStrictness.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Infra/MarkStrictness.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Prop/Record/Combinators/Constrained.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Prop/Record/Combinators/Constrained.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Prop/Record/Combinators/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Prop/Record/Combinators/Simple.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Prop/Record/Diff.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Prop/Record/Diff.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Prop/Record/Model.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Prop/Record/Model.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Prop/Record/Model/Generator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Prop/Record/Model/Generator.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Prop/Record/Model/Orphans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Prop/Record/Model/Orphans.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/AllFields.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/AllFields.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/Applicative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/Applicative.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/BlogPost.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/BlogPost.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/CheckIsSubRow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/CheckIsSubRow.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/Discovery.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/Discovery.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/DuplicateFields.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/DuplicateFields.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/Generics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/Generics.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/HasField.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/HasField.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/Intersection.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/Intersection.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/Merging.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/Merging.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/Named/Record1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/Named/Record1.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/Named/Record2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/Named/Record2.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/OverloadedRecordDot.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/OverloadedRecordDot.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/OverloadedRecordUpdate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/OverloadedRecordUpdate.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/PolyKinds.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/PolyKinds.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/RebindableSyntax/Disabled.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/RebindableSyntax/Disabled.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/RebindableSyntax/Enabled.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/RebindableSyntax/Enabled.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/RebindableSyntax/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/RebindableSyntax/Tests.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/RecordLens.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/RecordLens.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/Regression.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/Regression.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/Simple.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/SrcPlugin/WithTypelet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/SrcPlugin/WithTypelet.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/SrcPlugin/WithoutTypelet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/SrcPlugin/WithoutTypelet.hs -------------------------------------------------------------------------------- /large-anon/test/Test/Sanity/TypeLevelMetadata.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/Test/Sanity/TypeLevelMetadata.hs -------------------------------------------------------------------------------- /large-anon/test/TestLargeAnon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-anon/test/TestLargeAnon.hs -------------------------------------------------------------------------------- /large-generics/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/CHANGELOG.md -------------------------------------------------------------------------------- /large-generics/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/LICENSE -------------------------------------------------------------------------------- /large-generics/large-generics.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/large-generics.cabal -------------------------------------------------------------------------------- /large-generics/src/Data/Record/Generic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/src/Data/Record/Generic.hs -------------------------------------------------------------------------------- /large-generics/src/Data/Record/Generic/Eq.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/src/Data/Record/Generic/Eq.hs -------------------------------------------------------------------------------- /large-generics/src/Data/Record/Generic/GHC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/src/Data/Record/Generic/GHC.hs -------------------------------------------------------------------------------- /large-generics/src/Data/Record/Generic/JSON.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/src/Data/Record/Generic/JSON.hs -------------------------------------------------------------------------------- /large-generics/src/Data/Record/Generic/Lens/VL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/src/Data/Record/Generic/Lens/VL.hs -------------------------------------------------------------------------------- /large-generics/src/Data/Record/Generic/LowerBound.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/src/Data/Record/Generic/LowerBound.hs -------------------------------------------------------------------------------- /large-generics/src/Data/Record/Generic/NFData.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/src/Data/Record/Generic/NFData.hs -------------------------------------------------------------------------------- /large-generics/src/Data/Record/Generic/Rep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/src/Data/Record/Generic/Rep.hs -------------------------------------------------------------------------------- /large-generics/src/Data/Record/Generic/Rep/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/src/Data/Record/Generic/Rep/Internal.hs -------------------------------------------------------------------------------- /large-generics/src/Data/Record/Generic/SOP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/src/Data/Record/Generic/SOP.hs -------------------------------------------------------------------------------- /large-generics/src/Data/Record/Generic/Show.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/src/Data/Record/Generic/Show.hs -------------------------------------------------------------------------------- /large-generics/src/Data/Record/Generic/Transform.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/src/Data/Record/Generic/Transform.hs -------------------------------------------------------------------------------- /large-generics/test/Test/Record/Generic/Infra/Beam/Interpretation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/test/Test/Record/Generic/Infra/Beam/Interpretation.hs -------------------------------------------------------------------------------- /large-generics/test/Test/Record/Generic/Infra/Beam/Mini.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/test/Test/Record/Generic/Infra/Beam/Mini.hs -------------------------------------------------------------------------------- /large-generics/test/Test/Record/Generic/Infra/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/test/Test/Record/Generic/Infra/Examples.hs -------------------------------------------------------------------------------- /large-generics/test/Test/Record/Generic/Infra/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/test/Test/Record/Generic/Infra/Util.hs -------------------------------------------------------------------------------- /large-generics/test/Test/Record/Generic/Prop/Show.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/test/Test/Record/Generic/Prop/Show.hs -------------------------------------------------------------------------------- /large-generics/test/Test/Record/Generic/Prop/ToFromJSON.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/test/Test/Record/Generic/Prop/ToFromJSON.hs -------------------------------------------------------------------------------- /large-generics/test/Test/Record/Generic/Sanity/GhcGenerics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/test/Test/Record/Generic/Sanity/GhcGenerics.hs -------------------------------------------------------------------------------- /large-generics/test/Test/Record/Generic/Sanity/Laziness.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/test/Test/Record/Generic/Sanity/Laziness.hs -------------------------------------------------------------------------------- /large-generics/test/Test/Record/Generic/Sanity/Lens/VL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/test/Test/Record/Generic/Sanity/Lens/VL.hs -------------------------------------------------------------------------------- /large-generics/test/Test/Record/Generic/Sanity/Rep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/test/Test/Record/Generic/Sanity/Rep.hs -------------------------------------------------------------------------------- /large-generics/test/Test/Record/Generic/Sanity/Transform.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/test/Test/Record/Generic/Sanity/Transform.hs -------------------------------------------------------------------------------- /large-generics/test/TestLargeGenerics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-generics/test/TestLargeGenerics.hs -------------------------------------------------------------------------------- /large-records-benchmarks/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/LICENSE -------------------------------------------------------------------------------- /large-records-benchmarks/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/README.md -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/After/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/After/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/After/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/After/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/After/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/After/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/After/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/After/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/After/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/After/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/After/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/After/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/After/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/After/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/After/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/After/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/After/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/After/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/After/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/After/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/After/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/After/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HasNormalForm/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HasNormalForm/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HasNormalForm/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HasNormalForm/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HasNormalForm/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HasNormalForm/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HasNormalForm/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HasNormalForm/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HasNormalForm/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HasNormalForm/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HasNormalForm/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HasNormalForm/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HasNormalForm/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HasNormalForm/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HasNormalForm/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HasNormalForm/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HasNormalForm/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HasNormalForm/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HasNormalForm/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HasNormalForm/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HasNormalForm/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HasNormalForm/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HigherKinded/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HigherKinded/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HigherKinded/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HigherKinded/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HigherKinded/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HigherKinded/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HigherKinded/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HigherKinded/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HigherKinded/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HigherKinded/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HigherKinded/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HigherKinded/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HigherKinded/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HigherKinded/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HigherKinded/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HigherKinded/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HigherKinded/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HigherKinded/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HigherKinded/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HigherKinded/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/HigherKinded/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/HigherKinded/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/after/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/after/Main.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/before/Before/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/before/Before/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/before/Before/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/before/Before/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/before/Before/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/before/Before/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/before/Before/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/before/Before/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/before/Before/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/before/Before/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/before/Before/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/before/Before/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/before/Before/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/before/Before/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/before/Before/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/before/Before/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/before/Before/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/before/Before/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/before/Before/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/before/Before/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/before/Before/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/before/Before/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/before/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/before/Main.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/EmptyClass_List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/EmptyClass_List.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/EmptyClass_Tree_Nominal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/EmptyClass_Tree_Nominal.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/EmptyClass_Tree_Phantom.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/EmptyClass_Tree_Phantom.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/HListOfSize/HL010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/HListOfSize/HL010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/HListOfSize/HL020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/HListOfSize/HL020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/HListOfSize/HL030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/HListOfSize/HL030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/HListOfSize/HL040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/HListOfSize/HL040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/HListOfSize/HL050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/HListOfSize/HL050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/HListOfSize/HL060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/HListOfSize/HL060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/HListOfSize/HL070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/HListOfSize/HL070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/HListOfSize/HL080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/HListOfSize/HL080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/HListOfSize/HL090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/HListOfSize/HL090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Common/HListOfSize/HL100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Common/HListOfSize/HL100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Applicative/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Deep/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/ConstraintFamily_Shallow/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_LR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_LR.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_LR/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_SOP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_SOP.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Generics_SOP/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_List/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Nominal/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Induction_Tree_Phantom/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_Default/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PatternSynonym_NFS/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Nominal/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/PreEval_Phantom/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/SimpleRecord/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Experiment/Superclasses/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Infra/ShowType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Infra/ShowType.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Infra/Tree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Infra/Tree.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/experiments/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/experiments/Main.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Common/RowOfSize/Row100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoApply/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructNoTypeLet/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ConstructWithTypeLet/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/GetEvens/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ParseJSON/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/SetEvens/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/ToJSON/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Experiment/UpdateOne/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/large-anon/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/large-anon/Main.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/FunOfArity/F010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/FunOfArity/F010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/FunOfArity/F020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/FunOfArity/F020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/FunOfArity/F030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/FunOfArity/F030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/FunOfArity/F040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/FunOfArity/F040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/FunOfArity/F050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/FunOfArity/F050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/FunOfArity/F060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/FunOfArity/F060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/FunOfArity/F070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/FunOfArity/F070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/FunOfArity/F080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/FunOfArity/F080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/FunOfArity/F090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/FunOfArity/F090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/FunOfArity/F100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/FunOfArity/F100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/HListOfSize/HL010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/HListOfSize/HL010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/HListOfSize/HL020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/HListOfSize/HL020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/HListOfSize/HL030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/HListOfSize/HL030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/HListOfSize/HL040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/HListOfSize/HL040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/HListOfSize/HL050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/HListOfSize/HL050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/HListOfSize/HL060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/HListOfSize/HL060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/HListOfSize/HL070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/HListOfSize/HL070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/HListOfSize/HL080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/HListOfSize/HL080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/HListOfSize/HL090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/HListOfSize/HL090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Common/HListOfSize/HL100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Common/HListOfSize/HL100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApBaseline/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/ApLet/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListBaseline/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCPS/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R000.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R000.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Experiment/HListLetAsCase/Sized/R100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/bench/typelet/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/bench/typelet/Main.hs -------------------------------------------------------------------------------- /large-records-benchmarks/large-records-benchmarks.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/large-records-benchmarks.cabal -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/EvensOfSize/Evens010.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/EvensOfSize/Evens010.hs -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/EvensOfSize/Evens020.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/EvensOfSize/Evens020.hs -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/EvensOfSize/Evens030.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/EvensOfSize/Evens030.hs -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/EvensOfSize/Evens040.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/EvensOfSize/Evens040.hs -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/EvensOfSize/Evens050.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/EvensOfSize/Evens050.hs -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/EvensOfSize/Evens060.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/EvensOfSize/Evens060.hs -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/EvensOfSize/Evens070.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/EvensOfSize/Evens070.hs -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/EvensOfSize/Evens080.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/EvensOfSize/Evens080.hs -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/EvensOfSize/Evens090.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/EvensOfSize/Evens090.hs -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/EvensOfSize/Evens100.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/EvensOfSize/Evens100.hs -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/HList.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/HList.hs -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/Types.hs -------------------------------------------------------------------------------- /large-records-benchmarks/lib/Bench/Util/Criterion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/lib/Bench/Util/Criterion.hs -------------------------------------------------------------------------------- /large-records-benchmarks/report/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/README.md -------------------------------------------------------------------------------- /large-records-benchmarks/report/all-plots.gnuplot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/all-plots.gnuplot -------------------------------------------------------------------------------- /large-records-benchmarks/report/coresize.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/coresize.csv -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/benchmark-00-before-vs-after-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/benchmark-00-before-vs-after-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/benchmark-01-before-vs-after-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/benchmark-01-before-vs-after-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/benchmark-02-higherkinded-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/benchmark-02-higherkinded-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/benchmark-03-higherkinded-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/benchmark-03-higherkinded-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/benchmark-04-hasnormalform-coresize-pre-verysimpleopt.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/benchmark-04-hasnormalform-coresize-pre-verysimpleopt.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/benchmark-05-hasnormalform-coresize-post-verysimpleopt.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/benchmark-05-hasnormalform-coresize-post-verysimpleopt.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/benchmark-06-hasnormalform-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/benchmark-06-hasnormalform-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-applicative-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-applicative-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-applicative-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-applicative-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-constraintfamily-coresize-post-verysimpleopt.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-constraintfamily-coresize-post-verysimpleopt.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-constraintfamily-coresize-pre-verysimpleopt.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-constraintfamily-coresize-pre-verysimpleopt.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-constraintfamily-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-constraintfamily-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-generics-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-generics-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-generics-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-generics-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-induction-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-induction-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-induction-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-induction-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-patternsynonym-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-patternsynonym-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-patternsynonym-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-patternsynonym-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-preeval-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-preeval-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-preeval-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-preeval-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-simplerecord-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-simplerecord-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-simplerecord-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-simplerecord-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-superclasses-coresize-ds.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-superclasses-coresize-ds.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-superclasses-coresize-simpl.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-superclasses-coresize-simpl.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/experiment-superclasses-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/experiment-superclasses-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-construct-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-construct-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-construct-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-construct-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-get-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-get-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-get-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-get-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-parseJSON-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-parseJSON-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-parseJSON-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-parseJSON-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-set-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-set-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-set-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-set-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-toJSON-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-toJSON-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-toJSON-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-toJSON-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-updateone-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-updateone-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-updateone-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-updateone-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-construct-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-construct-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-construct-runtime.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-construct-runtime.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-construct-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-construct-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-get-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-get-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-get-runtime.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-get-runtime.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-get-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-get-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-parseJSON-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-parseJSON-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-parseJSON-runtime.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-parseJSON-runtime.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-parseJSON-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-parseJSON-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-set-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-set-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-set-runtime.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-set-runtime.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-set-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-set-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-toJSON-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-toJSON-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-toJSON-runtime.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-toJSON-runtime.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-toJSON-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-toJSON-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-updateone-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-updateone-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-updateone-runtime.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-updateone-runtime.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/large-anon-vs-superrecord-updateone-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/large-anon-vs-superrecord-updateone-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/superrecord-construct-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/superrecord-construct-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/superrecord-construct-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/superrecord-construct-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/typelet-ap-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/typelet-ap-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/typelet-ap-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/typelet-ap-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/typelet-hlist-coresize.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/typelet-hlist-coresize.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/graphs/typelet-hlist-timing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/graphs/typelet-hlist-timing.png -------------------------------------------------------------------------------- /large-records-benchmarks/report/nofieldselectors.gnuplot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/nofieldselectors.gnuplot -------------------------------------------------------------------------------- /large-records-benchmarks/report/runtime.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/runtime.csv -------------------------------------------------------------------------------- /large-records-benchmarks/report/timing.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/timing.csv -------------------------------------------------------------------------------- /large-records-benchmarks/report/update.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/report/update.sh -------------------------------------------------------------------------------- /large-records-benchmarks/test/Test/After.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/test/Test/After.hs -------------------------------------------------------------------------------- /large-records-benchmarks/test/Test/Experiment/Generics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/test/Test/Experiment/Generics.hs -------------------------------------------------------------------------------- /large-records-benchmarks/test/Test/HigherKinded.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/test/Test/HigherKinded.hs -------------------------------------------------------------------------------- /large-records-benchmarks/test/TestLargeRecordsBenchmarks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/test/TestLargeRecordsBenchmarks.hs -------------------------------------------------------------------------------- /large-records-benchmarks/tooling/ParseCoresize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/tooling/ParseCoresize.hs -------------------------------------------------------------------------------- /large-records-benchmarks/tooling/ParseTiming.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/tooling/ParseTiming.hs -------------------------------------------------------------------------------- /large-records-benchmarks/tooling/Tooling.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records-benchmarks/tooling/Tooling.hs -------------------------------------------------------------------------------- /large-records/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/CHANGELOG.md -------------------------------------------------------------------------------- /large-records/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/LICENSE -------------------------------------------------------------------------------- /large-records/large-records.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/large-records.cabal -------------------------------------------------------------------------------- /large-records/measure-mem.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/measure-mem.sh -------------------------------------------------------------------------------- /large-records/src/Data/Record/Internal/GHC/Fresh.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Internal/GHC/Fresh.hs -------------------------------------------------------------------------------- /large-records/src/Data/Record/Internal/GHC/Shim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Internal/GHC/Shim.hs -------------------------------------------------------------------------------- /large-records/src/Data/Record/Internal/GHC/TemplateHaskellStyle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Internal/GHC/TemplateHaskellStyle.hs -------------------------------------------------------------------------------- /large-records/src/Data/Record/Internal/Plugin/CodeGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Internal/Plugin/CodeGen.hs -------------------------------------------------------------------------------- /large-records/src/Data/Record/Internal/Plugin/Exception.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Internal/Plugin/Exception.hs -------------------------------------------------------------------------------- /large-records/src/Data/Record/Internal/Plugin/Names.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Internal/Plugin/Names.hs -------------------------------------------------------------------------------- /large-records/src/Data/Record/Internal/Plugin/Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Internal/Plugin/Options.hs -------------------------------------------------------------------------------- /large-records/src/Data/Record/Internal/Plugin/Record.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Internal/Plugin/Record.hs -------------------------------------------------------------------------------- /large-records/src/Data/Record/Overloading.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Overloading.hs -------------------------------------------------------------------------------- /large-records/src/Data/Record/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Plugin.hs -------------------------------------------------------------------------------- /large-records/src/Data/Record/Plugin/Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Plugin/Options.hs -------------------------------------------------------------------------------- /large-records/src/Data/Record/Plugin/Runtime.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Plugin/Runtime.hs -------------------------------------------------------------------------------- /large-records/src/Data/Record/Plugin/WithRDP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/src/Data/Record/Plugin/WithRDP.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/CodeGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/CodeGen.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/Derive.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/Derive.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/EqualFieldTypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/EqualFieldTypes.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/GhcGenerics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/GhcGenerics.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/HKD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/HKD.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/HigherKinded.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/HigherKinded.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/NamedWildCards.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/NamedWildCards.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/Operators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/Operators.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/Optics/SingleModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/Optics/SingleModule.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/Optics/SplitModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/Optics/SplitModule.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/Optics/SplitModule/RecordDef.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/Optics/SplitModule/RecordDef.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/OverloadedRecordUpdate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/OverloadedRecordUpdate.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/OverloadingNoDRF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/OverloadingNoDRF.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/PatternMatch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/PatternMatch.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/QualifiedImports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/QualifiedImports.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/QualifiedImports/A.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/QualifiedImports/A.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/QualifiedImports/B.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/QualifiedImports/B.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/RDP/SingleModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/RDP/SingleModule.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/RDP/SplitModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/RDP/SplitModule.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/RDP/SplitModule/RecordDef.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/RDP/SplitModule/RecordDef.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/RecordConstruction.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/RecordConstruction.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/Strictness.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/Strictness.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Sanity/StrictnessStrictData.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Sanity/StrictnessStrictData.hs -------------------------------------------------------------------------------- /large-records/test/Test/Record/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/Test/Record/Util.hs -------------------------------------------------------------------------------- /large-records/test/TestLargeRecords.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/test/TestLargeRecords.hs -------------------------------------------------------------------------------- /large-records/timed-ghc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/large-records/timed-ghc.sh -------------------------------------------------------------------------------- /typelet/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle 2 | .envrc 3 | cabal.project.local 4 | -------------------------------------------------------------------------------- /typelet/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/CHANGELOG.md -------------------------------------------------------------------------------- /typelet/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/LICENSE -------------------------------------------------------------------------------- /typelet/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/README.md -------------------------------------------------------------------------------- /typelet/src/TypeLet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/src/TypeLet.hs -------------------------------------------------------------------------------- /typelet/src/TypeLet/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/src/TypeLet/Plugin.hs -------------------------------------------------------------------------------- /typelet/src/TypeLet/Plugin/Constraints.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/src/TypeLet/Plugin/Constraints.hs -------------------------------------------------------------------------------- /typelet/src/TypeLet/Plugin/GhcTcPluginAPI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/src/TypeLet/Plugin/GhcTcPluginAPI.hs -------------------------------------------------------------------------------- /typelet/src/TypeLet/Plugin/NameResolution.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/src/TypeLet/Plugin/NameResolution.hs -------------------------------------------------------------------------------- /typelet/src/TypeLet/Plugin/Substitution.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/src/TypeLet/Plugin/Substitution.hs -------------------------------------------------------------------------------- /typelet/src/TypeLet/UserAPI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/src/TypeLet/UserAPI.hs -------------------------------------------------------------------------------- /typelet/test/Test/Infra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/test/Test/Infra.hs -------------------------------------------------------------------------------- /typelet/test/Test/Sanity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/test/Test/Sanity.hs -------------------------------------------------------------------------------- /typelet/test/Test/WithoutPlugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/test/Test/WithoutPlugin.hs -------------------------------------------------------------------------------- /typelet/test/TestTypeLet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/test/TestTypeLet.hs -------------------------------------------------------------------------------- /typelet/typelet.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/well-typed/large-records/HEAD/typelet/typelet.cabal --------------------------------------------------------------------------------