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.Automata
- Data.Comp.Automata.Product
- Data.Comp.Decompose
- Data.Comp.DeepSeq
- Data.Comp.Derive
- Data.Comp.Desugar
- Data.Comp.Equality
- Data.Comp.Generic
- 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.Foldable
- Data.Comp.Multi.Functor
- Data.Comp.Multi.Generic
- Data.Comp.Multi.Ops
- Data.Comp.Multi.Show
- Data.Comp.Multi.Sum
- Data.Comp.Multi.Term
- Data.Comp.Multi.Traversable
- Data.Comp.Multi.Variables
- Data.Comp.MultiParam
- Data.Comp.MultiParam.Algebra
- Data.Comp.MultiParam.Annotation
- Data.Comp.MultiParam.Any
- Data.Comp.MultiParam.Derive
- Data.Comp.MultiParam.Desugar
- Data.Comp.MultiParam.Equality
- Data.Comp.MultiParam.FreshM
- Data.Comp.MultiParam.HDifunctor
- Data.Comp.MultiParam.HDitraversable
- Data.Comp.MultiParam.Ops
- Data.Comp.MultiParam.Ordering
- Data.Comp.MultiParam.Show
- Data.Comp.MultiParam.Sum
- Data.Comp.MultiParam.Term
- Data.Comp.Ops
- Data.Comp.Ordering
- Data.Comp.Param
- Data.Comp.Param.Algebra
- Data.Comp.Param.Annotation
- Data.Comp.Param.Any
- Data.Comp.Param.Derive
- Data.Comp.Param.Desugar
- Data.Comp.Param.Difunctor
- Data.Comp.Param.Ditraversable
- Data.Comp.Param.Equality
- Data.Comp.Param.FreshM
- Data.Comp.Param.Ops
- Data.Comp.Param.Ordering
- Data.Comp.Param.Show
- Data.Comp.Param.Sum
- Data.Comp.Param.Term
- Data.Comp.Show
- Data.Comp.Sum
- Data.Comp.Term
- Data.Comp.TermRewriting
- Data.Comp.Unification
- Data.Comp.Variables
- Data.Comp.Zippable
Dependencies
- QuickCheck lib:QuickCheck >=2
- Stream lib:Stream >=0
- base lib:base >=4 && <5
- 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
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- compdata test:test
- compstrat lib:compstrat
- comptrans lib:comptrans
- ho-rewriting test:capture
- ho-rewriting test:examples
- imm lib:imm