compdata-0.6.1.4: Compositional Data Types

Index

#>Data.Comp.Thunk
#>>Data.Comp.Thunk
&Data.Comp.Automata
:&: 
1 (Type/Class)Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param
2 (Data Constructor)Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param
3 (Type/Class)Data.Comp.Ops, Data.Comp.Annotation, Data.Comp
4 (Data Constructor)Data.Comp.Ops, Data.Comp.Annotation, Data.Comp
5 (Type/Class)Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi
6 (Data Constructor)Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi
7 (Type/Class)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
8 (Data Constructor)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
:*: 
1 (Type/Class)Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param
2 (Data Constructor)Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param
3 (Type/Class)Data.Comp.Ops, Data.Comp.Annotation, Data.Comp
4 (Data Constructor)Data.Comp.Ops, Data.Comp.Annotation, Data.Comp
5 (Type/Class)Data.Comp.Multi.Ops
6 (Data Constructor)Data.Comp.Multi.Ops
7 (Type/Class)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
8 (Data Constructor)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
:+: 
1 (Type/Class)Data.Comp.Param.Ops, Data.Comp.Param.Sum, Data.Comp.Param
2 (Type/Class)Data.Comp.Ops, Data.Comp.Sum, Data.Comp
3 (Type/Class)Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi
4 (Type/Class)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
:->Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
:.:Data.Comp.Multi.HFunctor, Data.Comp.Multi
:<Data.Comp.Automata.Product, Data.Comp.Automata
:<: 
1 (Type/Class)Data.Comp.Param.Ops, Data.Comp.Param.Sum, Data.Comp.Param
2 (Type/Class)Data.Comp.Ops, Data.Comp.Sum, Data.Comp
3 (Type/Class)Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi
4 (Type/Class)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
:=>Data.Comp.Multi.HFunctor, Data.Comp.Multi
<*>Data.Comp.Automata
>*<Data.Comp.Automata
A 
1 (Type/Class)Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
2 (Data Constructor)Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
aboveData.Comp.Automata
Alg 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Type/Class)Data.Comp.Algebra, Data.Comp
AlgM 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Type/Class)Data.Comp.Algebra, Data.Comp
algM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Algebra, Data.Comp
AlgM'Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
AlgT 
1 (Type/Class)Data.Comp.Param.Thunk
2 (Type/Class)Data.Comp.Thunk
ana 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Function)Data.Comp.Algebra, Data.Comp
ana'Data.Comp.Algebra, Data.Comp
anaM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Function)Data.Comp.Algebra, Data.Comp
ann 
1 (Function)Data.Comp.Param.Annotation, Data.Comp.Param
2 (Function)Data.Comp.Multi.Annotation, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
4 (Function)Data.Comp.Annotation, Data.Comp
apo 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Function)Data.Comp.Algebra, Data.Comp
apoM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Function)Data.Comp.Algebra, Data.Comp
appCxt 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
appHom 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
appHom' 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
appHomM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
appHomM' 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
appRuleData.Comp.TermRewriting
appSigFun 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
appSigFun' 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
appSigFunM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
appSigFunM' 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
appSigFunMD 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Algebra, Data.Comp
appSubst 
1 (Function)Data.Comp.Multi.Variables
2 (Function)Data.Comp.Variables, Data.Comp.Matching
appSubstEqData.Comp.Unification
appTHomM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
appTHomM' 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
appTRSData.Comp.TermRewriting
appTSigFunM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
appTSigFunM' 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
appTSigFunMDData.Comp.Param.Algebra, Data.Comp.Param
ArbitraryData.Comp.Derive
arbitraryData.Comp.Derive
ArbitraryFData.Comp.Derive, Data.Comp.Arbitrary
arbitraryFData.Comp.Derive, Data.Comp.Arbitrary
arbitraryF'Data.Comp.Derive, Data.Comp.Arbitrary
argumentsData.Comp.Decompose
belowData.Comp.Automata
bindsVars 
1 (Function)Data.Comp.Multi.Variables
2 (Function)Data.Comp.Variables, Data.Comp.Matching
BStepData.Comp.TermRewriting
bStepData.Comp.TermRewriting
caseDData.Comp.Param.Ops, Data.Comp.Param.Sum, Data.Comp.Param
caseFData.Comp.Ops, Data.Comp.Sum, Data.Comp
caseHData.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi
caseHDData.Comp.MultiParam.Ops, Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
cata 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
cata' 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
cataM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
cataM' 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
cataTData.Comp.Thunk
cataTMData.Comp.Thunk
Coalg 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Type/Class)Data.Comp.Algebra, Data.Comp
CoalgM 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Type/Class)Data.Comp.Algebra, Data.Comp
CompData.Comp.Multi.HFunctor, Data.Comp.Multi
compAlg 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
compAlgM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
compAlgM' 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
compAlgSigFun 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Algebra, Data.Comp
compAlgSigFunM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Algebra, Data.Comp
compAlgSigFunM'Data.Comp.Param.Algebra, Data.Comp.Param
compAlgUpTransData.Comp.Automata
compareDData.Comp.Param.Ordering, Data.Comp.Param.Derive
compareFData.Comp.Derive, Data.Comp.Ordering, Data.Comp
compareHDData.Comp.MultiParam.Ordering, Data.Comp.MultiParam.Derive
compareHFData.Comp.Multi.Ordering, Data.Comp.Multi.Derive
compCoalgData.Comp.Algebra, Data.Comp
compCVCoalgData.Comp.Algebra, Data.Comp
compDownTransData.Comp.Automata
compDownTransHomData.Comp.Automata
compDownTransSigData.Comp.Automata
compHom 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
compHomDownTransData.Comp.Automata
compHomM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
compHomM'Data.Comp.Param.Algebra, Data.Comp.Param
compHomSigFun 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Algebra, Data.Comp
compHomSigFunMData.Comp.Algebra, Data.Comp
compHomUpTransData.Comp.Automata
compListData.Comp.Param.Ordering
Compose 
1 (Data Constructor)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
2 (Type/Class)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
compSigDownTransData.Comp.Automata
compSigFun 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
compSigFunHom 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Algebra, Data.Comp
compSigFunHomM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Algebra, Data.Comp
compSigFunHomM'Data.Comp.Param.Algebra, Data.Comp.Param
compSigFunM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
compSigUpTransData.Comp.Automata
compSubst 
1 (Function)Data.Comp.Multi.Variables
2 (Function)Data.Comp.Variables, Data.Comp.Matching
compUpTransData.Comp.Automata
compUpTransHomData.Comp.Automata
compUpTransSigData.Comp.Automata
Const 
1 (Type/Class)Data.Comp.Multi.Term, Data.Comp.Multi
2 (Type/Class)Data.Comp.Term, Data.Comp
constTerm 
1 (Function)Data.Comp.Multi.Term, Data.Comp.Multi
2 (Function)Data.Comp.Term, Data.Comp
containsVar 
1 (Function)Data.Comp.Multi.Variables
2 (Function)Data.Comp.Variables, Data.Comp.Matching
Context 
1 (Type/Class)Data.Comp.Param.Term, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
3 (Type/Class)Data.Comp.Multi.Term, Data.Comp.Multi
4 (Type/Class)Data.Comp.Term, Data.Comp
CVAlg 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Algebra, Data.Comp
CVAlgM 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Algebra, Data.Comp
CVCoalg 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Type/Class)Data.Comp.Algebra, Data.Comp
CVCoalg' 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Algebra, Data.Comp
CVCoalgM 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Type/Class)Data.Comp.Algebra, Data.Comp
Cxt 
1 (Type/Class)Data.Comp.Param.Term, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
3 (Type/Class)Data.Comp.Multi.Term, Data.Comp.Multi
4 (Type/Class)Data.Comp.Term, Data.Comp
CxtFun 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Type/Class)Data.Comp.Algebra, Data.Comp
CxtFunM 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Type/Class)Data.Comp.Algebra, Data.Comp
cxtMapData.Comp.Param.Term, Data.Comp.Param
CxtSubst 
1 (Type/Class)Data.Comp.Multi.Variables
2 (Type/Class)Data.Comp.Variables, Data.Comp.Matching
CxtT 
1 (Type/Class)Data.Comp.Param.Thunk
2 (Type/Class)Data.Comp.Thunk
DDownStateData.Comp.Automata
dDownStateData.Comp.Automata
DecompData.Comp.Decompose
decompData.Comp.Decompose
DecomposeData.Comp.Decompose
decomposeData.Comp.Decompose
DecompTermData.Comp.Decompose
deepEvalData.Comp.Thunk
deepEval2Data.Comp.Thunk
deepInject 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepInject10 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepInject2 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepInject3 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepInject4 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepInject5 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepInject6 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepInject7 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepInject8 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepInject9 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepProject 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepProject10 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepProject2 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepProject3 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepProject4 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepProject5 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepProject6 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepProject7 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepProject8 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
deepProject9 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
depthData.Comp.Multi.Generic, Data.Comp.Multi
deriveData.Comp.Param.Derive, Data.Comp.Multi.Derive, Data.Comp.MultiParam.Derive, Data.Comp.Derive
Desugar 
1 (Type/Class)Data.Comp.Param.Desugar
2 (Type/Class)Data.Comp.Multi.Desugar
3 (Type/Class)Data.Comp.MultiParam.Desugar
4 (Type/Class)Data.Comp.Desugar
desugar 
1 (Function)Data.Comp.Param.Desugar
2 (Function)Data.Comp.Multi.Desugar
3 (Function)Data.Comp.MultiParam.Desugar
4 (Function)Data.Comp.Desugar
desugarA 
1 (Function)Data.Comp.Param.Desugar
2 (Function)Data.Comp.Multi.Desugar
3 (Function)Data.Comp.MultiParam.Desugar
4 (Function)Data.Comp.Desugar
desugHom 
1 (Function)Data.Comp.Param.Desugar
2 (Function)Data.Comp.Multi.Desugar
3 (Function)Data.Comp.MultiParam.Desugar
4 (Function)Data.Comp.Desugar
desugHom' 
1 (Function)Data.Comp.Param.Desugar
2 (Function)Data.Comp.Multi.Desugar
3 (Function)Data.Comp.MultiParam.Desugar
4 (Function)Data.Comp.Desugar
difmapData.Comp.Param.Difunctor, Data.Comp.Param
DifunctorData.Comp.Param.Difunctor, Data.Comp.Param, Data.Comp.Param.Derive
dimapData.Comp.Param.Difunctor, Data.Comp.Param
dimapMData.Comp.Param.Ditraversable
disequenceData.Comp.Param.Ditraversable
DistAnn 
1 (Type/Class)Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param
2 (Type/Class)Data.Comp.Ops, Data.Comp.Annotation, Data.Comp
3 (Type/Class)Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi
4 (Type/Class)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
DitraversableData.Comp.Param.Ditraversable, Data.Comp.Param.Derive
DownStateData.Comp.Automata
downStateData.Comp.Automata
DownTransData.Comp.Automata
downTransData.Comp.Automata
DUpStateData.Comp.Automata
dUpStateData.Comp.Automata
E 
1 (Type/Class)Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
2 (Data Constructor)Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
EqDData.Comp.Param.Equality, Data.Comp.Param, Data.Comp.Param.Derive
eqDData.Comp.Param.Equality, Data.Comp.Param, Data.Comp.Param.Derive
EqFData.Comp.Equality, Data.Comp.Derive, Data.Comp
eqFData.Comp.Equality, Data.Comp.Derive, Data.Comp
EqHDData.Comp.MultiParam.Equality, Data.Comp.MultiParam, Data.Comp.MultiParam.Derive
eqHDData.Comp.MultiParam.Equality, Data.Comp.MultiParam, Data.Comp.MultiParam.Derive
EqHFData.Comp.Multi.Equality, Data.Comp.Multi, Data.Comp.Multi.Derive
eqHFData.Comp.Multi.Equality, Data.Comp.Multi, Data.Comp.Multi.Derive
eqModData.Comp.Equality, Data.Comp
eqTData.Comp.Thunk
EquationData.Comp.Unification
EquationsData.Comp.Unification
evalData.Comp.Thunk
eval2Data.Comp.Thunk
evalFreshM 
1 (Function)Data.Comp.MultiParam.FreshM
2 (Function)Data.Comp.Param.FreshM
evalStrictData.Comp.Param.Thunk
FailedOccursCheckData.Comp.Unification
failedOccursCheckData.Comp.Unification
ffst 
1 (Function)Data.Comp.Param.Ops
2 (Function)Data.Comp.Ops
3 (Function)Data.Comp.MultiParam.Ops
FoldableData.Comp.Derive
free 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
freeM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
freeM'Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
FreshM 
1 (Type/Class)Data.Comp.MultiParam.FreshM
2 (Type/Class)Data.Comp.Param.FreshM
fsnd 
1 (Function)Data.Comp.Param.Ops
2 (Function)Data.Comp.Ops
3 (Function)Data.Comp.MultiParam.Ops
fstData.Comp.Multi.Ops
FunData.Comp.Decompose
FunctorData.Comp.Derive
futu 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Function)Data.Comp.Algebra, Data.Comp
futu' 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Algebra, Data.Comp
futuM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Function)Data.Comp.Algebra, Data.Comp
getBoundVars 
1 (Function)Data.Comp.Multi.Variables
2 (Function)Data.Comp.Variables, Data.Comp.Matching
getComposeData.Comp.MultiParam.Algebra, Data.Comp.MultiParam
gsizeData.Comp.Generic, Data.Comp
GSubstData.Comp.Multi.Variables
haskellStrictData.Comp.Derive
haskellStrict'Data.Comp.Derive
HasVars 
1 (Type/Class)Data.Comp.Multi.Variables
2 (Type/Class)Data.Comp.Variables, Data.Comp.Matching
HDifunctorData.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam, Data.Comp.MultiParam.Derive
hdimapData.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam
hdimapMData.Comp.MultiParam.HDitraversable
hdimapMCxtData.Comp.MultiParam.Term, Data.Comp.MultiParam
HDitraversableData.Comp.MultiParam.HDitraversable
HeadSymbolMismatchData.Comp.Unification
headSymbolMismatchData.Comp.Unification
heightData.Comp.Generic, Data.Comp
heqModData.Comp.Multi.Equality, Data.Comp.Multi
hfmapData.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
hfmapCxtData.Comp.MultiParam.Term, Data.Comp.MultiParam
hfoldData.Comp.Multi.HFoldable
HFoldableData.Comp.Multi.HFoldable, Data.Comp.Multi.Derive
hfoldlData.Comp.Multi.HFoldable
hfoldl1Data.Comp.Multi.HFoldable
hfoldMapData.Comp.Multi.HFoldable
hfoldrData.Comp.Multi.HFoldable
hfoldr1Data.Comp.Multi.HFoldable
HFunctorData.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.Multi.Derive, Data.Comp.MultiParam
histo 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Algebra, Data.Comp
histoM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Algebra, Data.Comp
hmapMData.Comp.Multi.HTraversable, Data.Comp.MultiParam.HDitraversable
Hole 
1 (Type/Class)Data.Comp.Param.Term, Data.Comp.Param
2 (Data Constructor)Data.Comp.Param.Term, Data.Comp.Param
3 (Type/Class)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
4 (Data Constructor)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
5 (Type/Class)Data.Comp.Multi.Term, Data.Comp.Multi
6 (Data Constructor)Data.Comp.Multi.Term, Data.Comp.Multi
7 (Type/Class)Data.Comp.Term, Data.Comp
8 (Data Constructor)Data.Comp.Term, Data.Comp
Hom 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Type/Class)Data.Comp.Algebra, Data.Comp
hom 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
hom' 
1 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
2 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Function)Data.Comp.Algebra, Data.Comp
HomM 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Type/Class)Data.Comp.Algebra, Data.Comp
homM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
HomMD 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Algebra, Data.Comp
homMD 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Algebra, Data.Comp
htoListData.Comp.Multi.HFoldable
HTraversableData.Comp.Multi.HTraversable, Data.Comp.MultiParam.HDitraversable, Data.Comp.Multi.Number, Data.Comp.Multi.Derive
htraverseData.Comp.Multi.HTraversable, Data.Comp.MultiParam.HDitraversable
I 
1 (Type/Class)Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
2 (Data Constructor)Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
In 
1 (Data Constructor)Data.Comp.Param.Term, Data.Comp.Param
2 (Data Constructor)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
inj 
1 (Function)Data.Comp.Param.Ops, Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Ops, Data.Comp.Sum, Data.Comp
3 (Function)Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi
4 (Function)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
inj10 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inj2 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inj3 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inj4 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inj5 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inj6 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inj7 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inj8 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inj9 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inject 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inject'Data.Comp.Param.Sum, Data.Comp.Param
inject10 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inject2 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inject3 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inject4 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inject5 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inject6 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inject7 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inject8 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
inject9 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
injectA 
1 (Function)Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param
2 (Function)Data.Comp.Ops, Data.Comp.Annotation, Data.Comp
3 (Function)Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi
4 (Function)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
injectConst 
1 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
2 (Function)Data.Comp.Sum, Data.Comp
injectConst2 
1 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
2 (Function)Data.Comp.Sum, Data.Comp
injectConst3 
1 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
2 (Function)Data.Comp.Sum, Data.Comp
injectCxt 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
Inl 
1 (Data Constructor)Data.Comp.Param.Ops
2 (Data Constructor)Data.Comp.Ops
3 (Data Constructor)Data.Comp.Multi.Ops
4 (Data Constructor)Data.Comp.MultiParam.Ops
Inr 
1 (Data Constructor)Data.Comp.Param.Ops
2 (Data Constructor)Data.Comp.Ops
3 (Data Constructor)Data.Comp.Multi.Ops
4 (Data Constructor)Data.Comp.MultiParam.Ops
isVar 
1 (Function)Data.Comp.Multi.Variables
2 (Function)Data.Comp.Variables, Data.Comp.Matching
K 
1 (Type/Class)Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
2 (Data Constructor)Data.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
kcompareData.Comp.Multi.Ordering
KEqData.Comp.Multi.Equality, Data.Comp.Multi, Data.Comp.Multi.Derive
keqData.Comp.Multi.Equality, Data.Comp.Multi, Data.Comp.Multi.Derive
kfoldlData.Comp.Multi.HFoldable
kfoldrData.Comp.Multi.HFoldable
KOrdData.Comp.Multi.Ordering
KShowData.Comp.Multi.Derive
kshowData.Comp.Multi.Derive
liftA 
1 (Function)Data.Comp.Param.Annotation, Data.Comp.Param
2 (Function)Data.Comp.Multi.Annotation, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
4 (Function)Data.Comp.Annotation, Data.Comp
liftA' 
1 (Function)Data.Comp.Param.Annotation, Data.Comp.Param
2 (Function)Data.Comp.Multi.Annotation, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
4 (Function)Data.Comp.Annotation, Data.Comp
liftCxt 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
liftMAlgData.Comp.Multi.Algebra, Data.Comp.Multi
liftSum 
1 (Function)Data.Comp.Param.Derive
2 (Function)Data.Comp.Multi.Derive
3 (Function)Data.Comp.MultiParam.Derive
4 (Function)Data.Comp.Derive
makeArbitraryData.Comp.Derive
makeArbitraryFData.Comp.Derive
makeDifunctorData.Comp.Param.Derive
makeDitraversableData.Comp.Param.Derive
makeEqDData.Comp.Param.Derive
makeEqFData.Comp.Derive
makeEqHDData.Comp.MultiParam.Derive
makeEqHFData.Comp.Multi.Derive
makeFoldableData.Comp.Derive
makeFunctorData.Comp.Derive
makeHaskellStrictData.Comp.Derive
makeHDifunctorData.Comp.MultiParam.Derive
makeHFoldableData.Comp.Multi.Derive
makeHFunctorData.Comp.Multi.Derive
makeHTraversableData.Comp.Multi.Derive
makeNFDataData.Comp.Derive
makeNFDataFData.Comp.Derive
makeOrdDData.Comp.Param.Derive
makeOrdFData.Comp.Derive
makeOrdHDData.Comp.MultiParam.Derive
makeOrdHFData.Comp.Multi.Derive
makeShowDData.Comp.Param.Derive
makeShowFData.Comp.Derive
makeShowHDData.Comp.MultiParam.Derive
makeShowHFData.Comp.Multi.Derive
makeTraversableData.Comp.Derive
matchCxtData.Comp.Matching
matchRuleData.Comp.TermRewriting
matchRulesData.Comp.TermRewriting
matchTermData.Comp.Matching
Name 
1 (Type/Class)Data.Comp.MultiParam.FreshM
2 (Type/Class)Data.Comp.Param.FreshM
nameCoerceData.Comp.MultiParam.FreshM
NatMData.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
nf 
1 (Function)Data.Comp.Param.Thunk
2 (Function)Data.Comp.Thunk
NFDataData.Comp.Derive
NFDataFData.Comp.Derive, Data.Comp.DeepSeq
nfPr 
1 (Function)Data.Comp.Param.Thunk
2 (Function)Data.Comp.Thunk
nfTData.Comp.Param.Thunk
nfTPrData.Comp.Param.Thunk
NoHole 
1 (Type/Class)Data.Comp.Param.Term, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
3 (Type/Class)Data.Comp.Multi.Term, Data.Comp.Multi
4 (Type/Class)Data.Comp.Term, Data.Comp
number 
1 (Function)Data.Comp.Number
2 (Function)Data.Comp.Multi.Number
Numbered 
1 (Type/Class)Data.Comp.Number
2 (Data Constructor)Data.Comp.Number
3 (Type/Class)Data.Comp.Multi.Number
4 (Data Constructor)Data.Comp.Multi.Number
oData.Comp.Automata
OrdDData.Comp.Param.Ordering, Data.Comp.Param.Derive
OrdFData.Comp.Derive, Data.Comp.Ordering, Data.Comp
OrdHDData.Comp.MultiParam.Ordering, Data.Comp.MultiParam.Derive
OrdHFData.Comp.Multi.Ordering, Data.Comp.Multi.Derive
para 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Function)Data.Comp.Algebra, Data.Comp
parallelStepData.Comp.TermRewriting
paraM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Function)Data.Comp.Algebra, Data.Comp
ParamFunctor 
1 (Type/Class)Data.Comp.Param.Term, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
parTopStepData.Comp.TermRewriting
pcompare 
1 (Function)Data.Comp.Param.Ordering
2 (Function)Data.Comp.MultiParam.Ordering
PEq 
1 (Type/Class)Data.Comp.Param.Equality, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Equality, Data.Comp.MultiParam
peq 
1 (Function)Data.Comp.Param.Equality, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Equality, Data.Comp.MultiParam
POrd 
1 (Type/Class)Data.Comp.Param.Ordering
2 (Type/Class)Data.Comp.MultiParam.Ordering
prData.Comp.Automata.Product, Data.Comp.Automata
prodDDownStateData.Comp.Automata
prodDownStateData.Comp.Automata
prodDUpStateData.Comp.Automata
prodUpStateData.Comp.Automata
proj 
1 (Function)Data.Comp.Param.Ops, Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Ops, Data.Comp.Sum, Data.Comp
3 (Function)Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi
4 (Function)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
proj10 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
proj2 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
proj3 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
proj4 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
proj5 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
proj6 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
proj7 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
proj8 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
proj9 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
project 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
project' 
1 (Function)Data.Comp.Param.Annotation, Data.Comp.Param
2 (Function)Data.Comp.Multi.Annotation, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
4 (Function)Data.Comp.Annotation, Data.Comp
project10 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
project2 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
project3 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
project4 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
project5 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
project6 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
project7 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
project8 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
project9 
1 (Function)Data.Comp.Param.Sum, Data.Comp.Param
2 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Sum, Data.Comp.MultiParam
4 (Function)Data.Comp.Sum, Data.Comp
projectA 
1 (Function)Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param
2 (Function)Data.Comp.Ops, Data.Comp.Annotation, Data.Comp
3 (Function)Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi
4 (Function)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
projectConst 
1 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
2 (Function)Data.Comp.Sum, Data.Comp
propAnn 
1 (Function)Data.Comp.Param.Annotation, Data.Comp.Param
2 (Function)Data.Comp.Multi.Annotation, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
4 (Function)Data.Comp.Annotation, Data.Comp
propAnnDownData.Comp.Annotation, Data.Comp
propAnnM 
1 (Function)Data.Comp.Param.Annotation, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
3 (Function)Data.Comp.Annotation, Data.Comp
propAnnQData.Comp.Annotation, Data.Comp
propAnnUpData.Comp.Annotation, Data.Comp
PTermData.Comp.Term, Data.Comp
pureHomData.Comp.Automata
putBindingData.Comp.Unification
putEqsData.Comp.Unification
QHomData.Comp.Automata
query 
1 (Function)Data.Comp.Multi.Generic, Data.Comp.Multi
2 (Function)Data.Comp.Generic, Data.Comp
RAlg 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Type/Class)Data.Comp.Algebra, Data.Comp
RAlgM 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Type/Class)Data.Comp.Algebra, Data.Comp
RCoalg 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Type/Class)Data.Comp.Algebra, Data.Comp
RCoalgM 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
3 (Type/Class)Data.Comp.Algebra, Data.Comp
reduceData.Comp.TermRewriting
RemA 
1 (Type/Class)Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param
2 (Type/Class)Data.Comp.Ops, Data.Comp.Annotation, Data.Comp
3 (Type/Class)Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi
4 (Type/Class)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
remA 
1 (Function)Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param
2 (Function)Data.Comp.Ops, Data.Comp.Annotation, Data.Comp
3 (Function)Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi
4 (Function)Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
rnfData.Comp.Derive
rnfFData.Comp.Derive, Data.Comp.DeepSeq
rnfF'Data.Comp.DeepSeq
RPSData.Comp.TermRewriting
RuleData.Comp.TermRewriting
runDownHomData.Comp.Automata
runDownTransData.Comp.Automata
runDStateData.Comp.Automata
runDUpStateData.Comp.Automata
runEData.Comp.Multi.HFunctor, Data.Comp.Multi
runQHomData.Comp.Automata
runUnifyData.Comp.Unification
runUnifyMData.Comp.Unification
runUpHomData.Comp.Automata
runUpHomStData.Comp.Automata
runUpStateData.Comp.Automata
runUpTransData.Comp.Automata
ShowDData.Comp.Param.Derive, Data.Comp.Param.Show
showDData.Comp.Param.Derive, Data.Comp.Param.Show
ShowFData.Comp.Derive, Data.Comp.Show
showFData.Comp.Derive, Data.Comp.Show
ShowHDData.Comp.MultiParam.Derive, Data.Comp.MultiParam.Show
showHDData.Comp.MultiParam.Derive, Data.Comp.MultiParam.Show
ShowHFData.Comp.Multi.Derive, Data.Comp.Multi.Show
showHFData.Comp.Multi.Derive, Data.Comp.Multi.Show
showHF'Data.Comp.Multi.Derive, Data.Comp.Multi.Show
shrinkData.Comp.Derive
shrinkFData.Comp.Derive, Data.Comp.Arbitrary
SigFun 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Type/Class)Data.Comp.Algebra, Data.Comp
SigFunM 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Type/Class)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Type/Class)Data.Comp.Algebra, Data.Comp
sigFunM 
1 (Function)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Algebra, Data.Comp.Multi
4 (Function)Data.Comp.Algebra, Data.Comp
SigFunMD 
1 (Type/Class)Data.Comp.Param.Algebra, Data.Comp.Param
2 (Type/Class)Data.Comp.Algebra, Data.Comp
simpCxt 
1 (Function)Data.Comp.Param.Term, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Term, Data.Comp.Multi
4 (Function)Data.Comp.Term, Data.Comp
size 
1 (Function)Data.Comp.Multi.Generic, Data.Comp.Multi
2 (Function)Data.Comp.Generic, Data.Comp
smartAConstructors 
1 (Function)Data.Comp.Param.Derive
2 (Function)Data.Comp.Multi.Derive
3 (Function)Data.Comp.MultiParam.Derive
4 (Function)Data.Comp.Derive
smartConstructors 
1 (Function)Data.Comp.Param.Derive
2 (Function)Data.Comp.Multi.Derive
3 (Function)Data.Comp.MultiParam.Derive
4 (Function)Data.Comp.Derive
sndData.Comp.Multi.Ops
StepData.Comp.TermRewriting
strict 
1 (Function)Data.Comp.Param.Thunk
2 (Function)Data.Comp.Thunk
strict'Data.Comp.Param.Thunk
strictAtData.Comp.Thunk
stripA 
1 (Function)Data.Comp.Param.Annotation, Data.Comp.Param
2 (Function)Data.Comp.Multi.Annotation, Data.Comp.Multi
3 (Function)Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam
4 (Function)Data.Comp.Annotation, Data.Comp
structureData.Comp.Decompose
subsData.Comp.Multi.Generic, Data.Comp.Multi
subs'Data.Comp.Multi.Generic, Data.Comp.Multi
Subst 
1 (Type/Class)Data.Comp.Multi.Variables
2 (Type/Class)Data.Comp.Variables, Data.Comp.Matching
substHoles 
1 (Function)Data.Comp.Multi.Sum, Data.Comp.Multi
2 (Function)Data.Comp.Sum, Data.Comp
substHoles'Data.Comp.Sum, Data.Comp
substVarsData.Comp.Variables, Data.Comp.Matching
subterms 
1 (Function)Data.Comp.Multi.Generic, Data.Comp.Multi
2 (Function)Data.Comp.Generic, Data.Comp
subterms' 
1 (Function)Data.Comp.Multi.Generic, Data.Comp.Multi
2 (Function)Data.Comp.Generic, Data.Comp
tagDownStateData.Comp.Automata
tagUpStateData.Comp.Automata
Term 
1 (Type/Class)Data.Comp.Param.Term, Data.Comp.Param
2 (Data Constructor)Data.Comp.Param.Term, Data.Comp.Param
3 (Type/Class)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
4 (Data Constructor)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
5 (Type/Class)Data.Comp.Multi.Term, Data.Comp.Multi
6 (Data Constructor)Data.Comp.Multi.Term, Data.Comp.Multi
7 (Type/Class)Data.Comp.Term, Data.Comp
8 (Data Constructor)Data.Comp.Term, Data.Comp
termM 
1 (Function)Data.Comp.Param.Term, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
TermT 
1 (Type/Class)Data.Comp.Param.Thunk
2 (Type/Class)Data.Comp.Thunk
ThunkData.Comp.Param.Thunk
thunk 
1 (Function)Data.Comp.Param.Thunk
2 (Function)Data.Comp.Thunk
toCxt 
1 (Function)Data.Comp.Param.Term, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Term, Data.Comp.Multi
4 (Function)Data.Comp.Term, Data.Comp
transform 
1 (Function)Data.Comp.Multi.Generic, Data.Comp.Multi
2 (Function)Data.Comp.Generic, Data.Comp
transform'Data.Comp.Generic, Data.Comp
transformM 
1 (Function)Data.Comp.Multi.Generic, Data.Comp.Multi
2 (Function)Data.Comp.Generic, Data.Comp
TraversableData.Comp.Number, Data.Comp.Derive
Trm 
1 (Type/Class)Data.Comp.Param.Term, Data.Comp.Param
2 (Type/Class)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
TrmTData.Comp.Param.Thunk
TRSData.Comp.TermRewriting
unAData.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
unEData.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
unIData.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
UnifError 
1 (Type/Class)Data.Comp.Unification
2 (Data Constructor)Data.Comp.Unification
unifyData.Comp.Unification
UnifyMData.Comp.Unification
UnifyState 
1 (Type/Class)Data.Comp.Unification
2 (Data Constructor)Data.Comp.Unification
unifyStepData.Comp.Unification
unKData.Comp.Multi.HFunctor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam
unNumbered 
1 (Function)Data.Comp.Number
2 (Function)Data.Comp.Multi.Number
unTerm 
1 (Function)Data.Comp.Param.Term, Data.Comp.Param
2 (Function)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
3 (Function)Data.Comp.Multi.Term, Data.Comp.Multi
4 (Function)Data.Comp.Term, Data.Comp
UpStateData.Comp.Automata
upStateData.Comp.Automata
UpTransData.Comp.Automata
upTransData.Comp.Automata
usEqsData.Comp.Unification
usSubstData.Comp.Unification
Var 
1 (Data Constructor)Data.Comp.Param.Term, Data.Comp.Param
2 (Data Constructor)Data.Comp.MultiParam.Term, Data.Comp.MultiParam
3 (Type/Class)Data.Comp.TermRewriting
4 (Data Constructor)Data.Comp.Decompose
variableList 
1 (Function)Data.Comp.Multi.Variables
2 (Function)Data.Comp.Variables, Data.Comp.Matching
variables 
1 (Function)Data.Comp.Multi.Variables
2 (Function)Data.Comp.Variables, Data.Comp.Matching
variables' 
1 (Function)Data.Comp.Multi.Variables
2 (Function)Data.Comp.Variables, Data.Comp.Matching
varsToHoles 
1 (Function)Data.Comp.Multi.Variables
2 (Function)Data.Comp.Variables, Data.Comp.Matching
whnf 
1 (Function)Data.Comp.Param.Thunk
2 (Function)Data.Comp.Thunk
whnf' 
1 (Function)Data.Comp.Param.Thunk
2 (Function)Data.Comp.Thunk
whnfPr 
1 (Function)Data.Comp.Param.Thunk
2 (Function)Data.Comp.Thunk
withName 
1 (Function)Data.Comp.MultiParam.FreshM
2 (Function)Data.Comp.Param.FreshM
withNextEqData.Comp.Unification
|->Data.Comp.Automata