The latest version of ddc-core is 0.4.3.1-0.
lib:ddc-core
Modules
- DDC.Core.Check
- DDC.Core.Check.CheckExp
- DDC.Core.Check.CheckWitness
- DDC.Core.Check.Error
- DDC.Core.Check.TaggedClosure
- DDC.Core.Collect
- DDC.Core.Compounds
- DDC.Core.DataDef
- DDC.Core.Exp
- DDC.Core.Parser
- DDC.Core.Parser.Lexer
- DDC.Core.Parser.Tokens
- DDC.Core.Predicates
- DDC.Core.Pretty
- DDC.Core.Transform.LiftW
- DDC.Core.Transform.LiftX
- DDC.Core.Transform.SpreadX
- DDC.Core.Transform.SubstituteTX
- DDC.Core.Transform.SubstituteWX
- DDC.Core.Transform.SubstituteXX
- DDC.Type.Check
- DDC.Type.Check.Monad
- DDC.Type.Compounds
- DDC.Type.Env
- DDC.Type.Equiv
- DDC.Type.Exp
- DDC.Type.Parser
- DDC.Type.Predicates
- DDC.Type.Rewrite
- DDC.Type.Subsumes
- DDC.Type.Sum
- DDC.Type.Transform.Crush
- DDC.Type.Transform.Instantiate
- DDC.Type.Transform.LiftT
- DDC.Type.Transform.LowerT
- DDC.Type.Transform.SpreadT
- DDC.Type.Transform.SubstituteT
- DDC.Type.Transform.Trim
- DDC.Type.Universe
Dependencies
- array lib:array >=0.4 && <0.5
- base lib:base >=4.5 && <4.6
- containers lib:containers >=0.4 && <0.5
- ddc-base lib:ddc-base >=0.2.0 && <0.2.1
- mtl lib:mtl >=2.0 && <2.1
- transformers lib:transformers >=0.2 && <0.3
Reverse dependencies
Direct only. Not exhaustive.
- ddc-core-eval lib:ddc-core-eval
- ddc-core-simpl lib:ddc-core-simpl
- ddci-core exe:ddci-core