lib:ddc-core-simpl
Modules
- DDC.Core.Analysis.Arity
- DDC.Core.Analysis.Usage
- DDC.Core.Simplifier
- DDC.Core.Simplifier.Parser
- DDC.Core.Simplifier.Recipe
- DDC.Core.Simplifier.Result
- DDC.Core.Transform.AnonymizeX
- DDC.Core.Transform.Beta
- DDC.Core.Transform.Boxing
- DDC.Core.Transform.Bubble
- DDC.Core.Transform.Elaborate
- DDC.Core.Transform.Eta
- DDC.Core.Transform.Flatten
- DDC.Core.Transform.FoldCase
- DDC.Core.Transform.Forward
- DDC.Core.Transform.Inline
- DDC.Core.Transform.Lambdas
- DDC.Core.Transform.Namify
- DDC.Core.Transform.Prune
- DDC.Core.Transform.Rewrite
- DDC.Core.Transform.Rewrite.Disjoint
- DDC.Core.Transform.Rewrite.Env
- DDC.Core.Transform.Rewrite.Match
- DDC.Core.Transform.Rewrite.Parser
- DDC.Core.Transform.Rewrite.Rule
- DDC.Core.Transform.Snip
- DDC.Core.Transform.Thread
- DDC.Core.Transform.TransformDownX
- DDC.Core.Transform.TransformModX
- DDC.Core.Transform.TransformUpX
- DDC.Core.Transform.Unshare
- DDC.Type.Transform.Alpha
- DDC.Type.Transform.AnonymizeT
Dependencies
- array lib:array >=0.4 && <0.6
- base lib:base >=4.6 && <4.10
- containers lib:containers >=0.5 && <0.6
- ddc-core lib:ddc-core >=0.4.3 && <0.4.4
- deepseq lib:deepseq >=1.3 && <1.5
- mtl lib:mtl >=2.2.1 && <2.2.2
- transformers lib:transformers >=0.5 && <0.6
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- ddc-build lib:ddc-build
- ddc-core-flow lib:ddc-core-flow
- ddc-core-llvm lib:ddc-core-llvm
- ddc-core-tetra lib:ddc-core-tetra
- ddc-driver lib:ddc-driver
- ddc-tools exe:ddc
- ddc-tools exe:ddci-core
- ddc-tools exe:ddci-tetra