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 && <2.9
• base lib:base >=4.7 && <4.10
• containers lib:containers <0.6
• deepseq lib:deepseq >=1.1 && <1.5
• derive lib:derive <2.6
• mtl lib:mtl >=2.2.1 && <2.3
• template-haskell lib:template-haskell >=2.9 && <2.12
• th-expand-syns lib:th-expand-syns <0.5
• transformers lib:transformers <0.6
• tree-view lib:tree-view <0.5

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
• dynamic-pipeline exe:examples
• dynamic-pipeline lib:dynamic-pipeline
• dynamic-pipeline test:conn-comp-tests
• ho-rewriting lib:ho-rewriting
• ho-rewriting test:capture
• ho-rewriting test:examples
• imm lib:imm