compdata-0.6.1.4: Compositional Data Types

Index - C

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