| & | Data.Comp.Multi.Mapping, Data.Comp.Multi.Variables |
| :&: | |
| 1 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| :*: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Multi.Ops, Data.Comp.Multi, Data.Comp.Multi.Projection |
| 2 (Data Constructor) | Data.Comp.Ops, Data.Comp.Multi.Ops, Data.Comp.Multi, Data.Comp.Multi.Projection |
| :+: | Data.Comp.Ops |
| :-<: | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| :-> | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| :.: | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| :< | Data.Comp.Multi.Projection |
| :<: | |
| 1 (Type/Class) | Data.Comp.Ops |
| 2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| :=: | |
| 1 (Type/Class) | Data.Comp.Ops |
| 2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| :=> | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| <| | |
| 1 (Function) | Data.Comp.Ops |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| A | |
| 1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| abstractConType | Data.Comp.Derive.Utils |
| abstractNewtype | Data.Comp.Derive.Utils |
| abstractNewtypeQ | Data.Comp.Derive.Utils |
| Alg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| AlgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| All | Data.Comp.Multi |
| Alt | |
| 1 (Type/Class) | Data.Comp.Ops |
| 2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| alt | |
| 1 (Function) | Data.Comp.Ops |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| Alts | |
| 1 (Type/Class) | Data.Comp.Ops |
| 2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| ana | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| anaM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| ann | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| AnnCxt | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| AnnCxtS | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| AnnHFix | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| AnnTerm | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| apo | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| apoM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appCxt | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHom | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHom' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHomM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHomM' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appSigFun | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appSigFun' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appSigFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appSigFunM' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appSubst | Data.Comp.Multi.Variables |
| at | |
| 1 (Function) | Data.Comp.Ops |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| bindsVars | Data.Comp.Multi.Variables |
| caseCxt | |
| 1 (Function) | Data.Comp.Ops |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| caseCxt' | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| caseCxt'' | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| caseF | Data.Comp.Ops |
| caseH | Data.Comp.Multi.Ops, Data.Comp.Multi |
| caseH' | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| caseSum | |
| 1 (Function) | Data.Comp.Ops |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| caseSumF | |
| 1 (Function) | Data.Comp.Ops |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| cata | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| cata' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| cataM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| cataM' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| Cell | |
| 1 (Type/Class) | Data.Comp.Multi.Mutable |
| 2 (Data Constructor) | Data.Comp.Multi.Mutable |
| Coalg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| CoalgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| Comp | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| compAlg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compAlgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compAlgM' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compareHF | Data.Comp.Multi.Ordering, Data.Comp.Multi.Derive, Data.Comp.Multi |
| compHom | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compHomM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compSigFun | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compSigFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compSubst | Data.Comp.Multi.Variables |
| cons | |
| 1 (Function) | Data.Comp.Ops |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| Const | Data.Comp.Multi.Term, Data.Comp.Multi |
| constTerm | Data.Comp.Multi.Term, Data.Comp.Multi |
| containsType | Data.Comp.Derive.Utils |
| containsType' | Data.Comp.Derive.Utils |
| containsVar | Data.Comp.Multi.Variables |
| Context | Data.Comp.Multi.Term, Data.Comp.Multi |
| ContextS | Data.Comp.Multi.Term, Data.Comp.Multi |
| contract | Data.Comp.Multi.Ops, Data.Comp.Multi |
| CVCoalg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| CVCoalgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| Cxt | Data.Comp.Multi.Term, Data.Comp.Multi |
| CxtFun | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| CxtFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| CxtS | Data.Comp.Multi.Term, Data.Comp.Multi |
| CxtSubst | Data.Comp.Multi.Variables |
| DataInfo | |
| 1 (Type/Class) | Data.Comp.Derive.Utils |
| 2 (Data Constructor) | Data.Comp.Derive.Utils |
| deepInject | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepProject | Data.Comp.Multi.Sum, Data.Comp.Multi |
| depth | Data.Comp.Multi.Generic, Data.Comp.Multi |
| derive | Data.Comp.Derive.Utils, Data.Comp.Multi.Derive |
| Dict | |
| 1 (Type/Class) | Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi |
| dictFor | Data.Comp.Multi |
| DistAnn | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| E | |
| 1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| Elem | |
| 1 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| elt | Data.Comp.Multi.Mutable |
| empty | Data.Comp.Multi.Mapping, Data.Comp.Multi.Variables |
| EqHF | Data.Comp.Multi.Equality, Data.Comp.Multi.Derive, Data.Comp.Multi |
| eqHF | Data.Comp.Multi.Equality, Data.Comp.Multi.Derive, Data.Comp.Multi |
| extend | Data.Comp.Multi.Ops, Data.Comp.Multi |
| ffst | Data.Comp.Ops, Data.Comp.Multi.Ops, Data.Comp.Multi, Data.Comp.Multi.Projection |
| findSig | Data.Comp.Derive.Utils |
| findWithDefault | Data.Comp.Multi.Mapping |
| free | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| freeM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| fsnd | Data.Comp.Ops, Data.Comp.Multi.Ops, Data.Comp.Multi, Data.Comp.Multi.Projection |
| futu | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| futuM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| GenericExample | Data.Comp.Multi.Derive |
| getBinaryFArg | Data.Comp.Derive.Utils |
| getBoundVars | Data.Comp.Multi.Variables |
| getUnaryFArg | Data.Comp.Derive.Utils |
| GSubst | Data.Comp.Multi.Variables |
| HasVars | Data.Comp.Multi.Variables |
| heqMod | Data.Comp.Multi.Equality, Data.Comp.Multi |
| HFix | Data.Comp.Multi.Term, Data.Comp.Multi |
| hfmap | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| hfold | Data.Comp.Multi.HFoldable, Data.Comp.Multi |
| HFoldable | Data.Comp.Multi.HFoldable, Data.Comp.Multi.Derive, Data.Comp.Multi |
| hfoldl | Data.Comp.Multi.HFoldable, Data.Comp.Multi |
| hfoldl1 | Data.Comp.Multi.HFoldable, Data.Comp.Multi |
| hfoldMap | Data.Comp.Multi.HFoldable, Data.Comp.Multi |
| hfoldr | Data.Comp.Multi.HFoldable, Data.Comp.Multi |
| hfoldr1 | Data.Comp.Multi.HFoldable, Data.Comp.Multi |
| HFunctor | Data.Comp.Multi.HFunctor, Data.Comp.Multi.Derive, Data.Comp.Multi |
| hmapM | Data.Comp.Multi.HTraversable, Data.Comp.Multi |
| HMonad | |
| 1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| HMut | Data.Comp.Multi.Mutable |
| Hole | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Term, Data.Comp.Multi |
| Hom | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hom | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hom' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HomM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| homM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| htoList | Data.Comp.Multi.HFoldable, Data.Comp.Multi |
| HTraversable | Data.Comp.Multi.HTraversable, Data.Comp.Multi.Mapping, Data.Comp.Multi.Derive, Data.Comp.Multi |
| htraverse | Data.Comp.Multi.HTraversable, Data.Comp.Multi |
| I | |
| 1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| inj | |
| 1 (Function) | Data.Comp.Ops |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| inj' | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| inject | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inject' | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| injectConst | Data.Comp.Multi.Sum, Data.Comp.Multi |
| injectCxt | Data.Comp.Multi.Sum, Data.Comp.Multi |
| injectOpt | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| Inl | Data.Comp.Ops |
| Inr | Data.Comp.Ops |
| isEqualP | Data.Comp.Derive.Utils |
| isNode | Data.Comp.Multi.Sum, Data.Comp.Multi |
| isNode' | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| IsSum | Data.Comp.Multi.Sum, Data.Comp.Multi |
| isVar | Data.Comp.Multi.Variables |
| K | |
| 1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| kcompare | Data.Comp.Multi.Ordering, Data.Comp.Multi |
| KEq | Data.Comp.Multi.Equality, Data.Comp.Multi.Derive, Data.Comp.Multi |
| keq | Data.Comp.Multi.Equality, Data.Comp.Multi.Derive, Data.Comp.Multi |
| kfoldl | Data.Comp.Multi.HFoldable, Data.Comp.Multi |
| kfoldr | Data.Comp.Multi.HFoldable, Data.Comp.Multi |
| KOrd | Data.Comp.Multi.Ordering, Data.Comp.Multi |
| KShow | Data.Comp.Multi.Derive, Data.Comp.Multi.Show, Data.Comp.Multi |
| kshow | Data.Comp.Multi.Derive, Data.Comp.Multi.Show, Data.Comp.Multi |
| Label | Data.Comp.Multi.Mutable |
| liftA | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| liftA' | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| liftCxt | Data.Comp.Multi.Sum, Data.Comp.Multi |
| liftMAlg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| liftSum | Data.Comp.Multi.Derive |
| liftSumGen | Data.Comp.Derive.Utils |
| lookupNumMap | Data.Comp.Multi.Mapping |
| makeEqHF | Data.Comp.Multi.Derive |
| makeGeneric | Data.Comp.Multi.Derive |
| makeHFoldable | Data.Comp.Multi.Derive |
| makeHFunctor | Data.Comp.Multi.Derive |
| makeHTraversable | Data.Comp.Multi.Derive |
| makeInstancesLike | Data.Comp.Multi.Derive |
| makeOrdHF | Data.Comp.Multi.Derive |
| makeShowHF | Data.Comp.Multi.Derive |
| Mapping | Data.Comp.Multi.Mapping |
| Mem | Data.Comp.Multi.Ops, Data.Comp.Multi |
| mkClassP | Data.Comp.Derive.Utils |
| mkInstanceD | Data.Comp.Derive.Utils |
| Mut | Data.Comp.Multi.Mutable |
| MutCxt | Data.Comp.Multi.Mutable |
| MutTerm | Data.Comp.Multi.Mutable |
| NatM | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| newNames | Data.Comp.Derive.Utils |
| nil | |
| 1 (Function) | Data.Comp.Ops |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| NoHole | Data.Comp.Multi.Term, Data.Comp.Multi |
| normalCon | Data.Comp.Derive.Utils |
| normalCon' | Data.Comp.Derive.Utils |
| normalConExp | Data.Comp.Derive.Utils |
| normalConStrExp | Data.Comp.Derive.Utils |
| NotSum | Data.Comp.Multi.Sum, Data.Comp.Multi |
| number | Data.Comp.Multi.Mapping |
| Numbered | |
| 1 (Type/Class) | Data.Comp.Multi.Mapping |
| 2 (Data Constructor) | Data.Comp.Multi.Mapping |
| OrdHF | Data.Comp.Multi.Ordering, Data.Comp.Multi.Derive, Data.Comp.Multi |
| para | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| paraM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| parent | Data.Comp.Multi.Mutable |
| pr | Data.Comp.Multi.Projection |
| prj | Data.Comp.Ops |
| prodMap | Data.Comp.Multi.Mapping |
| proj | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| project | Data.Comp.Multi.Sum, Data.Comp.Multi |
| project' | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| projectConst | Data.Comp.Multi.Sum, Data.Comp.Multi |
| propAnn | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| query | Data.Comp.Multi.Generic, Data.Comp.Multi |
| RAlg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| RAlgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| RCoalg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| RCoalgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| RemA | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| remA | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| rewriteE | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| rewriteEM | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| runE | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| ShowHF | Data.Comp.Multi.Derive, Data.Comp.Multi.Show, Data.Comp.Multi |
| showHF | Data.Comp.Multi.Derive, Data.Comp.Multi.Show, Data.Comp.Multi |
| showHF' | Data.Comp.Multi.Derive, Data.Comp.Multi.Show, Data.Comp.Multi |
| SigFun | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| SigFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| sigFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| simpCxt | Data.Comp.Multi.Term, Data.Comp.Multi |
| size | Data.Comp.Multi.Generic, Data.Comp.Multi |
| smartConstructors | Data.Comp.Multi.Derive |
| spl | |
| 1 (Function) | Data.Comp.Ops |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| split | Data.Comp.Multi.Sum, Data.Comp.Multi |
| stripA | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| subs | Data.Comp.Multi.Generic, Data.Comp.Multi |
| subs' | Data.Comp.Multi.Generic, Data.Comp.Multi |
| Subst | Data.Comp.Multi.Variables |
| substHoles | Data.Comp.Multi.Sum, Data.Comp.Multi |
| subterms | Data.Comp.Multi.Generic, Data.Comp.Multi |
| subterms' | Data.Comp.Multi.Generic, Data.Comp.Multi |
| Sum | |
| 1 (Type/Class) | Data.Comp.Ops |
| 2 (Data Constructor) | Data.Comp.Ops |
| 3 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| 4 (Data Constructor) | Data.Comp.Multi.Ops, Data.Comp.Multi |
| Term | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Term, Data.Comp.Multi |
| toCxt | Data.Comp.Multi.Term, Data.Comp.Multi |
| transform | Data.Comp.Multi.Generic, Data.Comp.Multi |
| transformM | Data.Comp.Multi.Generic, Data.Comp.Multi |
| tupleTypes | Data.Comp.Derive.Utils |
| tyVarBndrName | Data.Comp.Derive.Utils |
| unA | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| unE | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| unHMonad | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| unI | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| unK | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| unNumbered | Data.Comp.Multi.Mapping |
| unsafeElem | Data.Comp.Multi.Ops, Data.Comp.Multi |
| unsafeMapSum | Data.Comp.Multi.Ops, Data.Comp.Multi |
| unTerm | Data.Comp.Multi.Term, Data.Comp.Multi |
| variableList | Data.Comp.Multi.Variables |
| variables | Data.Comp.Multi.Variables |
| variables' | Data.Comp.Multi.Variables |
| varsToHoles | Data.Comp.Multi.Variables |
| withDict | Data.Comp.Multi |
| witness | Data.Comp.Multi.Ops, Data.Comp.Multi |
| \\ | Data.Comp.Multi |
| |-> | Data.Comp.Multi.Mapping, Data.Comp.Multi.Variables |