├── .github └── workflows │ └── ci.yml ├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── README.md ├── Setup.hs ├── benchmark-results ├── hoas-7.1.csv ├── results-6.12-o2-strict.csv ├── results-6.12-o2-uncxt.csv ├── results-7.0.2.ods ├── results-7.1-o2-strict.csv ├── results-7.1-o2-uncxt.csv ├── results-7.1-o2.csv ├── results-7.21.ods ├── results-7.4-o2-fllvm.ods ├── results-7.4-o2.ods ├── results-corrected.xlsx ├── results-ghc7.1-gen.ods ├── results-ghc7.1-o1.ods ├── results-ghc7.1-o2'.ods ├── results-ghc7.1-o2-strict.ods ├── results-ghc7.1-o2-uncxt.ods ├── results-ghc7.1-o2.ods ├── results-ghc7.1-xmap.csv ├── results-o0.ods ├── results-o1.ods ├── results-o2-mac.ods ├── results-o2-strict.ods ├── results-o2-uncxt.ods └── results-o2.ods ├── benchmark ├── Benchmark.hs ├── DataTypes.hs ├── DataTypes │ ├── Comp.hs │ ├── Standard.hs │ └── Transform.hs ├── Functions.hs ├── Functions │ ├── Comp.hs │ ├── Comp │ │ ├── Desugar.hs │ │ ├── Eval.hs │ │ ├── FreeVars.hs │ │ ├── HOAS.hs │ │ └── Inference.hs │ ├── Standard.hs │ └── Standard │ │ ├── Desugar.hs │ │ ├── Eval.hs │ │ ├── FreeVars.hs │ │ └── Inference.hs ├── Multi │ ├── DataTypes │ │ └── Comp.hs │ └── Functions │ │ └── Comp │ │ ├── Desugar.hs │ │ └── Eval.hs ├── Param │ └── DataTypes │ │ ├── Comp.hs │ │ ├── Standard.hs │ │ └── Transform.hs ├── Test.hs └── Transformations.hs ├── compdata.cabal ├── examples └── Examples │ ├── Common.hs │ ├── Desugar.hs │ ├── Eval.hs │ ├── EvalM.hs │ ├── Multi │ ├── Common.hs │ ├── Desugar.hs │ ├── Eval.hs │ ├── EvalI.hs │ └── EvalM.hs │ └── Thunk.hs ├── runbenchmarks ├── src └── Data │ ├── Comp.hs │ └── Comp │ ├── Algebra.hs │ ├── Annotation.hs │ ├── Arbitrary.hs │ ├── Decompose.hs │ ├── DeepSeq.hs │ ├── Derive.hs │ ├── Derive │ ├── Arbitrary.hs │ ├── DeepSeq.hs │ ├── Equality.hs │ ├── Foldable.hs │ ├── HaskellStrict.hs │ ├── LiftSum.hs │ ├── Ordering.hs │ ├── Show.hs │ ├── SmartAConstructors.hs │ ├── SmartConstructors.hs │ ├── Traversable.hs │ └── Utils.hs │ ├── Desugar.hs │ ├── Equality.hs │ ├── Generic.hs │ ├── Mapping.hs │ ├── Matching.hs │ ├── Multi.hs │ ├── Multi │ ├── Algebra.hs │ ├── Annotation.hs │ ├── Derive.hs │ ├── Derive │ │ ├── Equality.hs │ │ ├── HFoldable.hs │ │ ├── HFunctor.hs │ │ ├── HTraversable.hs │ │ ├── LiftSum.hs │ │ ├── Ordering.hs │ │ ├── Show.hs │ │ ├── SmartAConstructors.hs │ │ └── SmartConstructors.hs │ ├── Desugar.hs │ ├── Equality.hs │ ├── Generic.hs │ ├── HFoldable.hs │ ├── HFunctor.hs │ ├── HTraversable.hs │ ├── Mapping.hs │ ├── Ops.hs │ ├── Ordering.hs │ ├── Projection.hs │ ├── Show.hs │ ├── Sum.hs │ ├── Term.hs │ └── Variables.hs │ ├── Ops.hs │ ├── Ordering.hs │ ├── Projection.hs │ ├── Render.hs │ ├── Show.hs │ ├── SubsumeCommon.hs │ ├── Sum.hs │ ├── Term.hs │ ├── TermRewriting.hs │ ├── Thunk.hs │ ├── Unification.hs │ └── Variables.hs ├── testsuite └── tests │ ├── Data │ ├── Comp │ │ ├── Equality_Test.hs │ │ ├── Examples │ │ │ ├── Comp.hs │ │ │ └── Multi.hs │ │ ├── Examples_Test.hs │ │ ├── Multi │ │ │ └── Variables_Test.hs │ │ ├── Multi_Test.hs │ │ ├── Subsume_Test.hs │ │ └── Variables_Test.hs │ └── Comp_Test.hs │ ├── Data_Test.hs │ └── Test │ └── Utils.hs └── upload-doc /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain -------------------------------------------------------------------------------- /benchmark-results/hoas-7.1.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/hoas-7.1.csv -------------------------------------------------------------------------------- /benchmark-results/results-6.12-o2-strict.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-6.12-o2-strict.csv -------------------------------------------------------------------------------- /benchmark-results/results-6.12-o2-uncxt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-6.12-o2-uncxt.csv -------------------------------------------------------------------------------- /benchmark-results/results-7.0.2.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-7.0.2.ods -------------------------------------------------------------------------------- /benchmark-results/results-7.1-o2-strict.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-7.1-o2-strict.csv -------------------------------------------------------------------------------- /benchmark-results/results-7.1-o2-uncxt.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-7.1-o2-uncxt.csv -------------------------------------------------------------------------------- /benchmark-results/results-7.1-o2.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-7.1-o2.csv -------------------------------------------------------------------------------- /benchmark-results/results-7.21.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-7.21.ods -------------------------------------------------------------------------------- /benchmark-results/results-7.4-o2-fllvm.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-7.4-o2-fllvm.ods -------------------------------------------------------------------------------- /benchmark-results/results-7.4-o2.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-7.4-o2.ods -------------------------------------------------------------------------------- /benchmark-results/results-corrected.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-corrected.xlsx -------------------------------------------------------------------------------- /benchmark-results/results-ghc7.1-gen.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-ghc7.1-gen.ods -------------------------------------------------------------------------------- /benchmark-results/results-ghc7.1-o1.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-ghc7.1-o1.ods -------------------------------------------------------------------------------- /benchmark-results/results-ghc7.1-o2'.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-ghc7.1-o2'.ods -------------------------------------------------------------------------------- /benchmark-results/results-ghc7.1-o2-strict.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-ghc7.1-o2-strict.ods -------------------------------------------------------------------------------- /benchmark-results/results-ghc7.1-o2-uncxt.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-ghc7.1-o2-uncxt.ods -------------------------------------------------------------------------------- /benchmark-results/results-ghc7.1-o2.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-ghc7.1-o2.ods -------------------------------------------------------------------------------- /benchmark-results/results-ghc7.1-xmap.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-ghc7.1-xmap.csv -------------------------------------------------------------------------------- /benchmark-results/results-o0.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-o0.ods -------------------------------------------------------------------------------- /benchmark-results/results-o1.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-o1.ods -------------------------------------------------------------------------------- /benchmark-results/results-o2-mac.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-o2-mac.ods -------------------------------------------------------------------------------- /benchmark-results/results-o2-strict.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-o2-strict.ods -------------------------------------------------------------------------------- /benchmark-results/results-o2-uncxt.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-o2-uncxt.ods -------------------------------------------------------------------------------- /benchmark-results/results-o2.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark-results/results-o2.ods -------------------------------------------------------------------------------- /benchmark/Benchmark.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Benchmark.hs -------------------------------------------------------------------------------- /benchmark/DataTypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/DataTypes.hs -------------------------------------------------------------------------------- /benchmark/DataTypes/Comp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/DataTypes/Comp.hs -------------------------------------------------------------------------------- /benchmark/DataTypes/Standard.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/DataTypes/Standard.hs -------------------------------------------------------------------------------- /benchmark/DataTypes/Transform.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/DataTypes/Transform.hs -------------------------------------------------------------------------------- /benchmark/Functions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Functions.hs -------------------------------------------------------------------------------- /benchmark/Functions/Comp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Functions/Comp.hs -------------------------------------------------------------------------------- /benchmark/Functions/Comp/Desugar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Functions/Comp/Desugar.hs -------------------------------------------------------------------------------- /benchmark/Functions/Comp/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Functions/Comp/Eval.hs -------------------------------------------------------------------------------- /benchmark/Functions/Comp/FreeVars.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Functions/Comp/FreeVars.hs -------------------------------------------------------------------------------- /benchmark/Functions/Comp/HOAS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Functions/Comp/HOAS.hs -------------------------------------------------------------------------------- /benchmark/Functions/Comp/Inference.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Functions/Comp/Inference.hs -------------------------------------------------------------------------------- /benchmark/Functions/Standard.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Functions/Standard.hs -------------------------------------------------------------------------------- /benchmark/Functions/Standard/Desugar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Functions/Standard/Desugar.hs -------------------------------------------------------------------------------- /benchmark/Functions/Standard/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Functions/Standard/Eval.hs -------------------------------------------------------------------------------- /benchmark/Functions/Standard/FreeVars.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Functions/Standard/FreeVars.hs -------------------------------------------------------------------------------- /benchmark/Functions/Standard/Inference.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Functions/Standard/Inference.hs -------------------------------------------------------------------------------- /benchmark/Multi/DataTypes/Comp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Multi/DataTypes/Comp.hs -------------------------------------------------------------------------------- /benchmark/Multi/Functions/Comp/Desugar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Multi/Functions/Comp/Desugar.hs -------------------------------------------------------------------------------- /benchmark/Multi/Functions/Comp/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Multi/Functions/Comp/Eval.hs -------------------------------------------------------------------------------- /benchmark/Param/DataTypes/Comp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Param/DataTypes/Comp.hs -------------------------------------------------------------------------------- /benchmark/Param/DataTypes/Standard.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Param/DataTypes/Standard.hs -------------------------------------------------------------------------------- /benchmark/Param/DataTypes/Transform.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Param/DataTypes/Transform.hs -------------------------------------------------------------------------------- /benchmark/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Test.hs -------------------------------------------------------------------------------- /benchmark/Transformations.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/benchmark/Transformations.hs -------------------------------------------------------------------------------- /compdata.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/compdata.cabal -------------------------------------------------------------------------------- /examples/Examples/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/examples/Examples/Common.hs -------------------------------------------------------------------------------- /examples/Examples/Desugar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/examples/Examples/Desugar.hs -------------------------------------------------------------------------------- /examples/Examples/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/examples/Examples/Eval.hs -------------------------------------------------------------------------------- /examples/Examples/EvalM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/examples/Examples/EvalM.hs -------------------------------------------------------------------------------- /examples/Examples/Multi/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/examples/Examples/Multi/Common.hs -------------------------------------------------------------------------------- /examples/Examples/Multi/Desugar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/examples/Examples/Multi/Desugar.hs -------------------------------------------------------------------------------- /examples/Examples/Multi/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/examples/Examples/Multi/Eval.hs -------------------------------------------------------------------------------- /examples/Examples/Multi/EvalI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/examples/Examples/Multi/EvalI.hs -------------------------------------------------------------------------------- /examples/Examples/Multi/EvalM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/examples/Examples/Multi/EvalM.hs -------------------------------------------------------------------------------- /examples/Examples/Thunk.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/examples/Examples/Thunk.hs -------------------------------------------------------------------------------- /runbenchmarks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/runbenchmarks -------------------------------------------------------------------------------- /src/Data/Comp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp.hs -------------------------------------------------------------------------------- /src/Data/Comp/Algebra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Algebra.hs -------------------------------------------------------------------------------- /src/Data/Comp/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Annotation.hs -------------------------------------------------------------------------------- /src/Data/Comp/Arbitrary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Arbitrary.hs -------------------------------------------------------------------------------- /src/Data/Comp/Decompose.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Decompose.hs -------------------------------------------------------------------------------- /src/Data/Comp/DeepSeq.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/DeepSeq.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive/Arbitrary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive/Arbitrary.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive/DeepSeq.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive/DeepSeq.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive/Equality.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive/Equality.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive/Foldable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive/Foldable.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive/HaskellStrict.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive/HaskellStrict.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive/LiftSum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive/LiftSum.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive/Ordering.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive/Ordering.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive/Show.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive/Show.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive/SmartAConstructors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive/SmartAConstructors.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive/SmartConstructors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive/SmartConstructors.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive/Traversable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive/Traversable.hs -------------------------------------------------------------------------------- /src/Data/Comp/Derive/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Derive/Utils.hs -------------------------------------------------------------------------------- /src/Data/Comp/Desugar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Desugar.hs -------------------------------------------------------------------------------- /src/Data/Comp/Equality.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Equality.hs -------------------------------------------------------------------------------- /src/Data/Comp/Generic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Generic.hs -------------------------------------------------------------------------------- /src/Data/Comp/Mapping.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Mapping.hs -------------------------------------------------------------------------------- /src/Data/Comp/Matching.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Matching.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Algebra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Algebra.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Annotation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Annotation.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Derive.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Derive.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Derive/Equality.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Derive/Equality.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Derive/HFoldable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Derive/HFoldable.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Derive/HFunctor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Derive/HFunctor.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Derive/HTraversable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Derive/HTraversable.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Derive/LiftSum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Derive/LiftSum.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Derive/Ordering.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Derive/Ordering.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Derive/Show.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Derive/Show.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Derive/SmartAConstructors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Derive/SmartAConstructors.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Derive/SmartConstructors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Derive/SmartConstructors.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Desugar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Desugar.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Equality.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Equality.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Generic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Generic.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/HFoldable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/HFoldable.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/HFunctor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/HFunctor.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/HTraversable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/HTraversable.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Mapping.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Mapping.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Ops.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Ops.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Ordering.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Ordering.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Projection.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Projection.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Show.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Show.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Sum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Sum.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Term.hs -------------------------------------------------------------------------------- /src/Data/Comp/Multi/Variables.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Multi/Variables.hs -------------------------------------------------------------------------------- /src/Data/Comp/Ops.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Ops.hs -------------------------------------------------------------------------------- /src/Data/Comp/Ordering.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Ordering.hs -------------------------------------------------------------------------------- /src/Data/Comp/Projection.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Projection.hs -------------------------------------------------------------------------------- /src/Data/Comp/Render.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Render.hs -------------------------------------------------------------------------------- /src/Data/Comp/Show.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Show.hs -------------------------------------------------------------------------------- /src/Data/Comp/SubsumeCommon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/SubsumeCommon.hs -------------------------------------------------------------------------------- /src/Data/Comp/Sum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Sum.hs -------------------------------------------------------------------------------- /src/Data/Comp/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Term.hs -------------------------------------------------------------------------------- /src/Data/Comp/TermRewriting.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/TermRewriting.hs -------------------------------------------------------------------------------- /src/Data/Comp/Thunk.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Thunk.hs -------------------------------------------------------------------------------- /src/Data/Comp/Unification.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Unification.hs -------------------------------------------------------------------------------- /src/Data/Comp/Variables.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/src/Data/Comp/Variables.hs -------------------------------------------------------------------------------- /testsuite/tests/Data/Comp/Equality_Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/testsuite/tests/Data/Comp/Equality_Test.hs -------------------------------------------------------------------------------- /testsuite/tests/Data/Comp/Examples/Comp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/testsuite/tests/Data/Comp/Examples/Comp.hs -------------------------------------------------------------------------------- /testsuite/tests/Data/Comp/Examples/Multi.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/testsuite/tests/Data/Comp/Examples/Multi.hs -------------------------------------------------------------------------------- /testsuite/tests/Data/Comp/Examples_Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/testsuite/tests/Data/Comp/Examples_Test.hs -------------------------------------------------------------------------------- /testsuite/tests/Data/Comp/Multi/Variables_Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/testsuite/tests/Data/Comp/Multi/Variables_Test.hs -------------------------------------------------------------------------------- /testsuite/tests/Data/Comp/Multi_Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/testsuite/tests/Data/Comp/Multi_Test.hs -------------------------------------------------------------------------------- /testsuite/tests/Data/Comp/Subsume_Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/testsuite/tests/Data/Comp/Subsume_Test.hs -------------------------------------------------------------------------------- /testsuite/tests/Data/Comp/Variables_Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/testsuite/tests/Data/Comp/Variables_Test.hs -------------------------------------------------------------------------------- /testsuite/tests/Data/Comp_Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/testsuite/tests/Data/Comp_Test.hs -------------------------------------------------------------------------------- /testsuite/tests/Data_Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/testsuite/tests/Data_Test.hs -------------------------------------------------------------------------------- /testsuite/tests/Test/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/testsuite/tests/Test/Utils.hs -------------------------------------------------------------------------------- /upload-doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pa-ba/compdata/HEAD/upload-doc --------------------------------------------------------------------------------