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.Projection
• Data.Comp.Multi.Show
• Data.Comp.Multi.Sum
• Data.Comp.Multi.Term
• Data.Comp.Multi.Variables
• Data.Comp.Ops
• Data.Comp.Ordering
• Data.Comp.Projection
• 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.14.3 && <2.15
• base lib:base >=4.16 && <4.20
• containers lib:containers >=0.6.5 && <0.8
• deepseq lib:deepseq >=1.4 && <1.6
• mtl lib:mtl >=2.2.2 && <2.4
• template-haskell lib:template-haskell >=2.17 && <2.22
• th-expand-syns lib:th-expand-syns >=0.4.11 && <0.5
• transformers lib:transformers >=0.5.6 && <0.7
• tree-view lib:tree-view >=0.5.1 && <0.6

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
• compstrat lib:compstrat
• comptrans lib:comptrans
• ho-rewriting lib:ho-rewriting
• ho-rewriting test:capture
• ho-rewriting test:examples
• imm lib:imm