The latest version of compdata is 0.13.1-1.
lib:compdata
Modules
- Data.Comp
- Data.Comp.Algebra
- Data.Comp.Annotation
- Data.Comp.Arbitrary
- Data.Comp.Decompose
- Data.Comp.DeepSeq
- Data.Comp.Derive
- Data.Comp.Derive.Utils
- Data.Comp.Desugar
- Data.Comp.Equality
- Data.Comp.Generic
- Data.Comp.Mapping
- Data.Comp.Matching
- Data.Comp.Multi
- Data.Comp.Multi.Algebra
- Data.Comp.Multi.Annotation
- Data.Comp.Multi.Derive
- Data.Comp.Multi.Desugar
- Data.Comp.Multi.Equality
- Data.Comp.Multi.Generic
- Data.Comp.Multi.HFoldable
- Data.Comp.Multi.HFunctor
- Data.Comp.Multi.HTraversable
- Data.Comp.Multi.Mapping
- Data.Comp.Multi.Ops
- Data.Comp.Multi.Ordering
- Data.Comp.Multi.Show
- Data.Comp.Multi.Sum
- Data.Comp.Multi.Term
- Data.Comp.Multi.Variables
- Data.Comp.Ops
- Data.Comp.Ordering
- Data.Comp.Render
- Data.Comp.Show
- Data.Comp.Sum
- Data.Comp.Term
- Data.Comp.TermRewriting
- Data.Comp.Thunk
- Data.Comp.Unification
- Data.Comp.Variables
Dependencies
- QuickCheck lib:QuickCheck >=2
- base lib:base <5 && >=4.7
- containers lib:containers >=0
- deepseq lib:deepseq >=0
- derive lib:derive >=0
- mtl lib:mtl >=0
- template-haskell lib:template-haskell >=0
- th-expand-syns lib:th-expand-syns >=0
- transformers lib:transformers >=0
- tree-view lib:tree-view >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- compdata test:test
- compdata-automata bench:macro
- compdata-automata lib:compdata-automata
- compdata-dags lib:compdata-dags
- compdata-dags test:test
- compdata-param lib:compdata-param
- compdata-param test:test
- compstrat lib:compstrat
- comptrans lib:comptrans
- ho-rewriting lib:ho-rewriting
- ho-rewriting test:capture
- ho-rewriting test:examples
- imm lib:imm