Index
| :&: | |
| 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 |
| :-> | |
| 1 (Type/Class) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam |
| :.: | Data.Comp.Multi.Functor, Data.Comp.Multi |
| :<: | |
| 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.Functor, Data.Comp.Multi |
| A | |
| 1 (Type/Class) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 3 (Type/Class) | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam |
| 4 (Data Constructor) | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam |
| 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 |
| 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 |
| Any | |
| 1 (Type/Class) | Data.Comp.MultiParam.Any, Data.Comp.MultiParam.Term, Data.Comp.MultiParam |
| 2 (Type/Class) | Data.Comp.Param.Any, Data.Comp.Param.Term, Data.Comp.Param |
| 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 |
| appRule | Data.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 |
| appSubstEq | Data.Comp.Unification |
| appTermHom | |
| 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 |
| appTermHom' | |
| 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 |
| appTermHomM | |
| 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 |
| appTermHomM' | |
| 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 |
| appTRS | Data.Comp.TermRewriting |
| Arbitrary | Data.Comp.Derive |
| arbitrary | Data.Comp.Derive |
| ArbitraryF | Data.Comp.Derive, Data.Comp.Arbitrary |
| arbitraryF | Data.Comp.Derive, Data.Comp.Arbitrary |
| arbitraryF' | Data.Comp.Derive, Data.Comp.Arbitrary |
| arguments | Data.Comp.Decompose |
| bindsVars | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| BStep | Data.Comp.TermRewriting |
| bStep | Data.Comp.TermRewriting |
| caseD | Data.Comp.Param.Derive |
| caseF | Data.Comp.Derive |
| caseH | Data.Comp.Multi.Derive |
| caseHD | Data.Comp.MultiParam.Derive |
| 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 |
| 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 |
| coerceCxt | |
| 1 (Function) | Data.Comp.Param.Term, Data.Comp.Param |
| 2 (Function) | Data.Comp.MultiParam.Term, Data.Comp.MultiParam |
| Comp | Data.Comp.Multi.Functor, 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 |
| compareD | Data.Comp.Param.Ordering, Data.Comp.Param.Derive |
| compareF | Data.Comp.Derive, Data.Comp.Ordering, Data.Comp |
| compareHD | Data.Comp.MultiParam.Ordering, Data.Comp.MultiParam.Derive |
| compCoalg | Data.Comp.Algebra, Data.Comp |
| compCVCoalg | Data.Comp.Algebra, Data.Comp |
| Compose | |
| 1 (Data Constructor) | Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam |
| 2 (Type/Class) | Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam |
| 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 |
| 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 |
| compSigFunTermHom | |
| 1 (Function) | Data.Comp.Param.Algebra, Data.Comp.Param |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| compSigFunTermHomM | |
| 1 (Function) | Data.Comp.Param.Algebra, Data.Comp.Param |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| compSubst | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| compTermHom | |
| 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 |
| compTermHomM | |
| 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 |
| compTermHomSigFun | |
| 1 (Function) | Data.Comp.Param.Algebra, Data.Comp.Param |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| compTermHomSigFunM | Data.Comp.Algebra, Data.Comp |
| Const | |
| 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 |
| constTerm | |
| 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 |
| 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 |
| CxtSubst | |
| 1 (Type/Class) | Data.Comp.Multi.Variables |
| 2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
| Decomp | Data.Comp.Decompose |
| decomp | Data.Comp.Decompose |
| Decompose | Data.Comp.Decompose |
| decompose | Data.Comp.Decompose |
| DecompTerm | Data.Comp.Decompose |
| 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 |
| depth | |
| 1 (Function) | Data.Comp.Multi.Generic, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Generic, Data.Comp |
| derive | Data.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 |
| Difunctor | Data.Comp.Param.Difunctor, Data.Comp.Param, Data.Comp.Param.Derive |
| dimap | Data.Comp.Param.Difunctor, Data.Comp.Param |
| dimapM | Data.Comp.Param.Ditraversable |
| dimapMCxt | Data.Comp.Param.Term, Data.Comp.Param |
| disequence | Data.Comp.Param.Ditraversable |
| disequenceCxt | Data.Comp.Param.Term, Data.Comp.Param |
| 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 |
| Ditraversable | Data.Comp.Param.Ditraversable, Data.Comp.Param.Derive |
| EqD | Data.Comp.Param.Equality, Data.Comp.Param, Data.Comp.Param.Derive |
| eqD | Data.Comp.Param.Equality, Data.Comp.Param, Data.Comp.Param.Derive |
| EqF | Data.Comp.Derive, Data.Comp.Equality, Data.Comp |
| eqF | Data.Comp.Derive, Data.Comp.Equality, Data.Comp |
| EqHD | Data.Comp.MultiParam.Equality, Data.Comp.MultiParam, Data.Comp.MultiParam.Derive |
| eqHD | Data.Comp.MultiParam.Equality, Data.Comp.MultiParam, Data.Comp.MultiParam.Derive |
| eqMod | Data.Comp.Equality, Data.Comp |
| Equation | Data.Comp.Unification |
| Equations | Data.Comp.Unification |
| evalFreshM | |
| 1 (Function) | Data.Comp.MultiParam.FreshM |
| 2 (Function) | Data.Comp.Param.FreshM |
| FailedOccursCheck | Data.Comp.Unification |
| failedOccursCheck | Data.Comp.Unification |
| ffst | |
| 1 (Function) | Data.Comp.Param.Ops |
| 2 (Function) | Data.Comp.Ops |
| 3 (Function) | Data.Comp.MultiParam.Ops |
| fmapCxt | Data.Comp.Param.Term, Data.Comp.Param |
| Foldable | Data.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 |
| fst | Data.Comp.Multi.Ops |
| Fun | Data.Comp.Decompose |
| Functor | Data.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 |
| genVar | |
| 1 (Function) | Data.Comp.MultiParam.FreshM |
| 2 (Function) | Data.Comp.Param.FreshM |
| getCompose | Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam |
| gsize | Data.Comp.Generic, Data.Comp |
| GSubst | Data.Comp.Multi.Variables |
| HasVars | |
| 1 (Type/Class) | Data.Comp.Multi.Variables |
| 2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
| HDifunctor | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam, Data.Comp.MultiParam.Derive |
| hdimap | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam |
| hdimapM | Data.Comp.MultiParam.HDitraversable |
| hdimapMCxt | Data.Comp.MultiParam.Term, Data.Comp.MultiParam |
| HDitraversable | Data.Comp.MultiParam.HDitraversable |
| HeadSymbolMismatch | Data.Comp.Unification |
| headSymbolMismatch | Data.Comp.Unification |
| HEqF | Data.Comp.Multi.Derive, Data.Comp.Multi.Equality, Data.Comp.Multi |
| heqF | Data.Comp.Multi.Derive, Data.Comp.Multi.Equality, Data.Comp.Multi |
| heqMod | Data.Comp.Multi.Equality, Data.Comp.Multi |
| hfmap | Data.Comp.Multi.Functor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam |
| hfmapCxt | Data.Comp.MultiParam.Term, Data.Comp.MultiParam |
| hfold | Data.Comp.Multi.Foldable |
| HFoldable | Data.Comp.Multi.Foldable, Data.Comp.Multi.Derive, Data.Comp.MultiParam.Derive |
| hfoldl | Data.Comp.Multi.Foldable |
| hfoldl1 | Data.Comp.Multi.Foldable |
| hfoldMap | Data.Comp.Multi.Foldable |
| hfoldr | Data.Comp.Multi.Foldable |
| hfoldr1 | Data.Comp.Multi.Foldable |
| HFunctor | Data.Comp.Multi.Functor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi.Derive, Data.Comp.Multi, 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 |
| hmapM | Data.Comp.Multi.Traversable, 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 |
| HShowF | Data.Comp.Multi.Derive, Data.Comp.Multi.Show |
| hshowF | Data.Comp.Multi.Derive, Data.Comp.Multi.Show |
| hshowF' | Data.Comp.Multi.Derive, Data.Comp.Multi.Show |
| htoList | Data.Comp.Multi.Foldable |
| HTraversable | Data.Comp.Multi.Traversable, Data.Comp.MultiParam.HDitraversable, Data.Comp.Multi.Derive, Data.Comp.MultiParam.Derive |
| htraverse | Data.Comp.Multi.Traversable, Data.Comp.MultiParam.HDitraversable |
| I | |
| 1 (Type/Class) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 3 (Type/Class) | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam |
| 4 (Data Constructor) | Data.Comp.MultiParam.HDifunctor, 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 |
| 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.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 |
| injectConst2 | |
| 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 |
| injectConst3 | |
| 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 |
| 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.Functor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 3 (Type/Class) | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam |
| 4 (Data Constructor) | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam |
| KEq | Data.Comp.Multi.Derive, Data.Comp.Multi.Equality, Data.Comp.Multi |
| keq | Data.Comp.Multi.Derive, Data.Comp.Multi.Equality, Data.Comp.Multi |
| kfoldl | Data.Comp.Multi.Foldable |
| kfoldr | Data.Comp.Multi.Foldable |
| KShow | Data.Comp.Multi.Derive |
| kshow | Data.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 |
| liftMAlg | Data.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 |
| makeArbitrary | Data.Comp.Derive |
| makeArbitraryF | Data.Comp.Derive |
| makeDifunctor | Data.Comp.Param.Derive |
| makeDitraversable | Data.Comp.Param.Derive |
| makeEqD | Data.Comp.Param.Derive |
| makeEqF | Data.Comp.Derive |
| makeEqHD | Data.Comp.MultiParam.Derive |
| makeFoldable | Data.Comp.Derive |
| makeFunctor | Data.Comp.Derive |
| makeHDifunctor | Data.Comp.MultiParam.Derive |
| makeHEqF | Data.Comp.Multi.Derive |
| makeHFoldable | Data.Comp.Multi.Derive, Data.Comp.MultiParam.Derive |
| makeHFunctor | Data.Comp.Multi.Derive |
| makeHShowF | Data.Comp.Multi.Derive |
| makeHTraversable | Data.Comp.Multi.Derive, Data.Comp.MultiParam.Derive |
| makeNFData | Data.Comp.Derive |
| makeNFDataF | Data.Comp.Derive |
| makeOrdD | Data.Comp.Param.Derive |
| makeOrdF | Data.Comp.Derive |
| makeOrdHD | Data.Comp.MultiParam.Derive |
| makeShowD | Data.Comp.Param.Derive |
| makeShowF | Data.Comp.Derive |
| makeShowHD | Data.Comp.MultiParam.Derive |
| makeTraversable | Data.Comp.Derive |
| matchCxt | Data.Comp.Matching |
| matchRule | Data.Comp.TermRewriting |
| matchRules | Data.Comp.TermRewriting |
| matchTerm | Data.Comp.Matching |
| NatM | |
| 1 (Type/Class) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam |
| NFData | Data.Comp.Derive |
| NFDataF | Data.Comp.Derive, Data.Comp.DeepSeq |
| 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 |
| Nothing | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Term, Data.Comp |
| OrdD | Data.Comp.Param.Ordering, Data.Comp.Param.Derive |
| OrdF | Data.Comp.Derive, Data.Comp.Ordering, Data.Comp |
| OrdHD | Data.Comp.MultiParam.Ordering, Data.Comp.MultiParam.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 |
| parallelStep | Data.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 |
| parTopStep | Data.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 |
| Place | |
| 1 (Data Constructor) | Data.Comp.Param.Term, Data.Comp.Param |
| 2 (Data Constructor) | Data.Comp.MultiParam.Term, Data.Comp.MultiParam |
| POrd | |
| 1 (Type/Class) | Data.Comp.Param.Ordering |
| 2 (Type/Class) | Data.Comp.MultiParam.Ordering |
| 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.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 |
| 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 |
| 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 |
| PShow | |
| 1 (Type/Class) | Data.Comp.Param.Derive, Data.Comp.Param.Show |
| 2 (Type/Class) | Data.Comp.MultiParam.Derive, Data.Comp.MultiParam.Show |
| pshow | |
| 1 (Function) | Data.Comp.Param.Derive, Data.Comp.Param.Show |
| 2 (Function) | Data.Comp.MultiParam.Derive, Data.Comp.MultiParam.Show |
| PTerm | Data.Comp.Term, Data.Comp |
| putBinding | Data.Comp.Unification |
| putEqs | Data.Comp.Unification |
| 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 |
| reduce | Data.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 |
| rnf | Data.Comp.Derive |
| rnfF | Data.Comp.Derive, Data.Comp.DeepSeq |
| rnfF' | Data.Comp.DeepSeq |
| RPS | Data.Comp.TermRewriting |
| Rule | Data.Comp.TermRewriting |
| runUnify | Data.Comp.Unification |
| runUnifyM | Data.Comp.Unification |
| ShowD | Data.Comp.Param.Derive, Data.Comp.Param.Show |
| showD | Data.Comp.Param.Derive, Data.Comp.Param.Show |
| ShowF | Data.Comp.Derive, Data.Comp.Show |
| showF | Data.Comp.Derive, Data.Comp.Show |
| ShowHD | Data.Comp.MultiParam.Derive, Data.Comp.MultiParam.Show |
| showHD | Data.Comp.MultiParam.Derive, Data.Comp.MultiParam.Show |
| shrink | Data.Comp.Derive |
| shrinkF | Data.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 |
| snd | Data.Comp.Multi.Ops |
| Step | Data.Comp.TermRewriting |
| 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 |
| structure | Data.Comp.Decompose |
| subs | Data.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 |
| substVars | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.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 |
| 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 |
| TermHom | |
| 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 |
| termHom | |
| 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 |
| termHom' | |
| 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 |
| TermHomM | |
| 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 |
| termHomM | |
| 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 |
| TermHomMD | |
| 1 (Type/Class) | Data.Comp.Param.Algebra, Data.Comp.Param |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| termHomMD | |
| 1 (Function) | Data.Comp.Param.Algebra, Data.Comp.Param |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| 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 |
| Traversable | Data.Comp.Derive |
| Trm | |
| 1 (Type/Class) | Data.Comp.Param.Term, Data.Comp.Param |
| 2 (Type/Class) | Data.Comp.MultiParam.Term, Data.Comp.MultiParam |
| TRS | Data.Comp.TermRewriting |
| unA | |
| 1 (Function) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 2 (Function) | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam |
| unI | |
| 1 (Function) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 2 (Function) | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam |
| UnifError | |
| 1 (Type/Class) | Data.Comp.Unification |
| 2 (Data Constructor) | Data.Comp.Unification |
| unify | Data.Comp.Unification |
| UnifyM | Data.Comp.Unification |
| UnifyState | |
| 1 (Type/Class) | Data.Comp.Unification |
| 2 (Data Constructor) | Data.Comp.Unification |
| unifyStep | Data.Comp.Unification |
| unK | |
| 1 (Function) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 2 (Function) | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam |
| unTerm | |
| 1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Term, Data.Comp |
| usEqs | Data.Comp.Unification |
| usSubst | Data.Comp.Unification |
| Var | |
| 1 (Type/Class) | Data.Comp.MultiParam.FreshM |
| 2 (Type/Class) | Data.Comp.Param.FreshM |
| 3 (Type/Class) | Data.Comp.TermRewriting |
| 4 (Data Constructor) | Data.Comp.Decompose |
| varCoerce | Data.Comp.MultiParam.FreshM |
| varCompare | Data.Comp.MultiParam.FreshM |
| varEq | Data.Comp.MultiParam.FreshM |
| 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 |
| varShow | Data.Comp.MultiParam.FreshM |
| varsToHoles | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| withNextEq | Data.Comp.Unification |