| #> | Data.Comp.Thunk |
| #>> | Data.Comp.Thunk |
| & | Data.Comp.Automata |
| :&: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 3 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| 4 (Data Constructor) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| :*: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 3 (Type/Class) | Data.Comp.Multi.Ops |
| 4 (Data Constructor) | Data.Comp.Multi.Ops |
| :+: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 2 (Type/Class) | 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.Automata.Product, Data.Comp.Automata |
| :<: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| :=: | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| :=> | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| :^: | |
| 1 (Type/Class) | Data.Comp.MacroAutomata |
| 2 (Data Constructor) | Data.Comp.MacroAutomata |
| >*< | Data.Comp.Automata |
| A | |
| 1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| above | Data.Comp.Automata |
| abstractConType | Data.Comp.Derive.Utils |
| abstractNewtype | Data.Comp.Derive.Utils |
| abstractNewtypeQ | Data.Comp.Derive.Utils |
| Alg | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| AlgM | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| algM | Data.Comp.Algebra, Data.Comp |
| AlgT | Data.Comp.Thunk |
| Ambiguous | Data.Comp.Ops |
| ana | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| ana' | Data.Comp.Algebra, Data.Comp |
| anaM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| ann | |
| 1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Annotation, Data.Comp |
| apo | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| apoM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| appCxt | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| appHom | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| appHom' | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| appHomM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| appHomM' | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| appRule | Data.Comp.TermRewriting |
| appSigFun | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| appSigFun' | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| appSigFunM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| appSigFunM' | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| appSigFunMD | Data.Comp.Algebra, Data.Comp |
| appSubst | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| appSubstEq | Data.Comp.Unification |
| 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 |
| below | Data.Comp.Automata |
| bindsVars | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| BStep | Data.Comp.TermRewriting |
| bStep | Data.Comp.TermRewriting |
| caseF | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| caseH | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| cata | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| cata' | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| cataM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| cataM' | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| cataT | Data.Comp.Thunk |
| cataTM | Data.Comp.Thunk |
| Coalg | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| CoalgM | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| Comp | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| compAlg | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| compAlgM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| compAlgM' | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| compAlgSigFun | Data.Comp.Algebra, Data.Comp |
| compAlgSigFunM | Data.Comp.Algebra, Data.Comp |
| compAlgUpTrans | Data.Comp.Automata |
| compareF | Data.Comp.Derive, Data.Comp.Ordering, Data.Comp |
| compareHF | Data.Comp.Multi.Ordering, Data.Comp.Multi.Derive |
| compCoalg | Data.Comp.Algebra, Data.Comp |
| compCVCoalg | Data.Comp.Algebra, Data.Comp |
| compDownMacro | Data.Comp.MacroAutomata |
| compDownMacroLA | Data.Comp.MacroAutomata |
| compDownTrans | Data.Comp.Automata |
| compDownTransHom | Data.Comp.Automata |
| compDownTransSig | Data.Comp.Automata |
| compHom | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| compHomDownTrans | Data.Comp.Automata |
| compHomM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| compHomSigFun | Data.Comp.Algebra, Data.Comp |
| compHomSigFunM | Data.Comp.Algebra, Data.Comp |
| compHomUpTrans | Data.Comp.Automata |
| compMacroDown | Data.Comp.MacroAutomata |
| CompPos | Data.Comp.Ops |
| compSigDownTrans | Data.Comp.Automata |
| compSigFun | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| compSigFunHom | Data.Comp.Algebra, Data.Comp |
| compSigFunHomM | Data.Comp.Algebra, Data.Comp |
| compSigFunM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| compSigUpTrans | Data.Comp.Automata |
| compSubst | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| compUpTrans | Data.Comp.Automata |
| compUpTransHom | Data.Comp.Automata |
| compUpTransSig | Data.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 |
| containsType | Data.Comp.Derive.Utils |
| containsType' | Data.Comp.Derive.Utils |
| containsVar | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| Context | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Term, Data.Comp |
| CVAlg | Data.Comp.Algebra, Data.Comp |
| CVAlgM | Data.Comp.Algebra, Data.Comp |
| CVCoalg | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| CVCoalg' | Data.Comp.Algebra, Data.Comp |
| CVCoalgM | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| Cxt | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Term, Data.Comp |
| CxtFun | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| CxtFunM | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| CxtSubst | |
| 1 (Type/Class) | Data.Comp.Multi.Variables |
| 2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
| CxtT | Data.Comp.Thunk |
| DDownState | Data.Comp.Automata |
| dDownState | Data.Comp.Automata |
| Decomp | Data.Comp.Decompose |
| decomp | Data.Comp.Decompose |
| Decompose | Data.Comp.Decompose |
| decompose | Data.Comp.Decompose |
| DecompTerm | Data.Comp.Decompose |
| deepEval | Data.Comp.Thunk |
| deepEval2 | Data.Comp.Thunk |
| deepInject | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| deepInject10 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepInject2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepInject3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepInject4 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepInject5 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepInject6 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepInject7 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepInject8 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepInject9 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepInject_ | Data.Comp.Sum, Data.Comp |
| deepProject | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| deepProject10 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepProject2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepProject3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepProject4 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepProject5 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepProject6 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepProject7 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepProject8 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepProject9 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepProject_ | Data.Comp.Sum, Data.Comp |
| depth | Data.Comp.Multi.Generic, Data.Comp.Multi |
| derive | Data.Comp.Derive.Utils, Data.Comp.Multi.Derive, Data.Comp.Derive |
| DestrPos | Data.Comp.Ops |
| Desugar | |
| 1 (Type/Class) | Data.Comp.Multi.Desugar |
| 2 (Type/Class) | Data.Comp.Desugar |
| desugar | |
| 1 (Function) | Data.Comp.Multi.Desugar |
| 2 (Function) | Data.Comp.Desugar |
| desugarA | |
| 1 (Function) | Data.Comp.Multi.Desugar |
| 2 (Function) | Data.Comp.Desugar |
| desugHom | |
| 1 (Function) | Data.Comp.Multi.Desugar |
| 2 (Function) | Data.Comp.Desugar |
| desugHom' | |
| 1 (Function) | Data.Comp.Multi.Desugar |
| 2 (Function) | Data.Comp.Desugar |
| DistAnn | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| DownState | Data.Comp.Automata |
| downState | Data.Comp.Automata |
| DownTrans | Data.Comp.Automata |
| downTrans | Data.Comp.Automata |
| DownTrans' | Data.Comp.Automata |
| drawTerm | Data.Comp.Render |
| Duplicates | Data.Comp.Ops |
| Duplicates' | Data.Comp.Ops |
| DUpState | Data.Comp.Automata |
| dUpState | Data.Comp.Automata |
| E | |
| 1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| Emb | Data.Comp.Ops |
| EmbD | Data.Comp.Ops |
| EqF | Data.Comp.Equality, Data.Comp.Derive, Data.Comp |
| eqF | Data.Comp.Equality, Data.Comp.Derive, Data.Comp |
| EqHF | Data.Comp.Multi.Equality, Data.Comp.Multi, Data.Comp.Multi.Derive |
| eqHF | Data.Comp.Multi.Equality, Data.Comp.Multi, Data.Comp.Multi.Derive |
| eqMod | Data.Comp.Equality, Data.Comp |
| eqT | Data.Comp.Thunk |
| Equation | Data.Comp.Unification |
| Equations | Data.Comp.Unification |
| eval | Data.Comp.Thunk |
| eval2 | Data.Comp.Thunk |
| FailedOccursCheck | Data.Comp.Unification |
| failedOccursCheck | Data.Comp.Unification |
| ffst | Data.Comp.Ops |
| findSig | Data.Comp.Derive.Utils |
| Foldable | Data.Comp.Derive |
| Found | Data.Comp.Ops |
| free | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| freeM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| fromInl | Data.Comp.Ops |
| fromInr | Data.Comp.Ops |
| fromMacroTransId | Data.Comp.MacroAutomata |
| fromMacroTransId' | Data.Comp.MacroAutomata |
| fsnd | Data.Comp.Ops |
| fst | Data.Comp.Multi.Ops |
| Fun | Data.Comp.Decompose |
| Functor | Data.Comp.Derive |
| futu | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| futu' | Data.Comp.Algebra, Data.Comp |
| futuM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| getBoundVars | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| GetEmb | Data.Comp.Ops |
| GetEmbD | Data.Comp.Ops |
| getEmbD | Data.Comp.Ops |
| getSubterm | Data.Comp.Generic, Data.Comp |
| getSubterm' | Data.Comp.Generic, Data.Comp |
| GoLeft | Data.Comp.Ops |
| GoLeftD | Data.Comp.Ops |
| GoRight | Data.Comp.Ops |
| GoRightD | Data.Comp.Ops |
| gsize | Data.Comp.Generic, Data.Comp |
| GSubst | Data.Comp.Multi.Variables |
| haskellStrict | Data.Comp.Derive |
| haskellStrict' | Data.Comp.Derive |
| HasVars | |
| 1 (Type/Class) | Data.Comp.Multi.Variables |
| 2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
| HeadSymbolMismatch | Data.Comp.Unification |
| headSymbolMismatch | Data.Comp.Unification |
| height | Data.Comp.Generic, Data.Comp |
| heqMod | Data.Comp.Multi.Equality, Data.Comp.Multi |
| Here | Data.Comp.Ops |
| HereD | Data.Comp.Ops |
| hfmap | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| hfold | Data.Comp.Multi.HFoldable |
| HFoldable | Data.Comp.Multi.HFoldable, Data.Comp.Multi.Derive |
| hfoldl | Data.Comp.Multi.HFoldable |
| hfoldl1 | Data.Comp.Multi.HFoldable |
| hfoldMap | Data.Comp.Multi.HFoldable |
| hfoldr | Data.Comp.Multi.HFoldable |
| hfoldr1 | Data.Comp.Multi.HFoldable |
| HFunctor | Data.Comp.Multi.HFunctor, Data.Comp.Multi, Data.Comp.Multi.Derive |
| histo | Data.Comp.Algebra, Data.Comp |
| histoM | Data.Comp.Algebra, Data.Comp |
| hmapM | Data.Comp.Multi.HTraversable |
| Hole | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 3 (Type/Class) | Data.Comp.Term, Data.Comp |
| 4 (Data Constructor) | Data.Comp.Term, Data.Comp |
| Hom | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| hom | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| hom' | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| HomM | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| homM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| HomMD | Data.Comp.Algebra, Data.Comp |
| homMD | Data.Comp.Algebra, Data.Comp |
| htoList | Data.Comp.Multi.HFoldable |
| HTraversable | Data.Comp.Multi.HTraversable, Data.Comp.Multi.Number, Data.Comp.Multi.Derive |
| htraverse | Data.Comp.Multi.HTraversable |
| I | |
| 1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi, Data.Comp.MacroAutomata |
| 2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi, Data.Comp.MacroAutomata |
| In | Data.Comp.Ops |
| inj | |
| 1 (Function) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| inj10 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inj2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inj3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inj4 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inj5 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inj6 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inj7 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inj8 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inj9 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inject | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| inject10 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inject2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inject3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inject4 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inject5 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inject6 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inject7 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inject8 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| inject9 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| injectA | |
| 1 (Function) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| injectConst | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| injectConst2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| injectConst3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| injectCxt | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| injectT | Data.Comp.Thunk |
| inject_ | Data.Comp.Sum, Data.Comp |
| inj_ | Data.Comp.Ops |
| Inl | |
| 1 (Data Constructor) | Data.Comp.Ops |
| 2 (Data Constructor) | Data.Comp.Multi.Ops |
| Inr | |
| 1 (Data Constructor) | Data.Comp.Ops |
| 2 (Data Constructor) | Data.Comp.Multi.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.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| kcompare | Data.Comp.Multi.Ordering |
| KEq | Data.Comp.Multi.Equality, Data.Comp.Multi, Data.Comp.Multi.Derive |
| keq | Data.Comp.Multi.Equality, Data.Comp.Multi, Data.Comp.Multi.Derive |
| kfoldl | Data.Comp.Multi.HFoldable |
| kfoldr | Data.Comp.Multi.HFoldable |
| KOrd | Data.Comp.Multi.Ordering |
| KShow | Data.Comp.Multi.Derive |
| kshow | Data.Comp.Multi.Derive |
| liftA | |
| 1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Annotation, Data.Comp |
| liftA' | |
| 1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Annotation, Data.Comp |
| liftCxt | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| liftMAlg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| liftSum | |
| 1 (Function) | Data.Comp.Multi.Derive |
| 2 (Function) | Data.Comp.Derive |
| liftSumGen | Data.Comp.Derive.Utils |
| MacroTrans | Data.Comp.MacroAutomata |
| MacroTrans' | Data.Comp.MacroAutomata |
| MacroTransId | Data.Comp.MacroAutomata |
| MacroTransId' | Data.Comp.MacroAutomata |
| MacroTransLA | Data.Comp.MacroAutomata |
| MacroTransLA' | Data.Comp.MacroAutomata |
| makeArbitrary | Data.Comp.Derive |
| makeArbitraryF | Data.Comp.Derive |
| makeEqF | Data.Comp.Derive |
| makeEqHF | Data.Comp.Multi.Derive |
| makeFoldable | Data.Comp.Derive |
| makeFunctor | Data.Comp.Derive |
| makeHaskellStrict | Data.Comp.Derive |
| makeHFoldable | Data.Comp.Multi.Derive |
| makeHFunctor | Data.Comp.Multi.Derive |
| makeHTraversable | Data.Comp.Multi.Derive |
| makeNFData | Data.Comp.Derive |
| makeNFDataF | Data.Comp.Derive |
| makeOrdF | Data.Comp.Derive |
| makeOrdHF | Data.Comp.Multi.Derive |
| makeShowConstr | Data.Comp.Derive |
| makeShowF | Data.Comp.Derive |
| makeShowHF | Data.Comp.Multi.Derive |
| makeTraversable | Data.Comp.Derive |
| matchCxt | Data.Comp.Matching |
| matchRule | Data.Comp.TermRewriting |
| matchRules | Data.Comp.TermRewriting |
| matchTerm | Data.Comp.Matching |
| mkDownTrans | Data.Comp.Automata |
| mkMacroTrans | Data.Comp.MacroAutomata |
| mkMacroTransLA | Data.Comp.MacroAutomata |
| mkUpTrans | Data.Comp.Automata |
| NatM | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| newNames | Data.Comp.Derive.Utils |
| nf | Data.Comp.Thunk |
| NFData | Data.Comp.Derive |
| NFDataF | Data.Comp.Derive, Data.Comp.DeepSeq |
| nfPr | Data.Comp.Thunk |
| NoDup | Data.Comp.Ops |
| NoHole | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Term, Data.Comp |
| normalCon | Data.Comp.Derive.Utils |
| normalCon' | Data.Comp.Derive.Utils |
| normalConExp | Data.Comp.Derive.Utils |
| normalConStrExp | Data.Comp.Derive.Utils |
| NotFound | Data.Comp.Ops |
| 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 |
| o | Data.Comp.Automata |
| Or | Data.Comp.Ops |
| OrdF | Data.Comp.Derive, Data.Comp.Ordering, Data.Comp |
| OrdHF | Data.Comp.Multi.Ordering, Data.Comp.Multi.Derive |
| para | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| parallelStep | Data.Comp.TermRewriting |
| paraM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| parTopStep | Data.Comp.TermRewriting |
| pathAnn | Data.Comp.Annotation, Data.Comp |
| Pick | Data.Comp.Ops |
| Pick2 | Data.Comp.Ops |
| Pos | Data.Comp.Ops |
| pr | Data.Comp.Automata.Product, Data.Comp.Automata |
| prodDDownState | Data.Comp.Automata |
| prodDownState | Data.Comp.Automata |
| prodDUpState | Data.Comp.Automata |
| prodUpState | Data.Comp.Automata |
| proj | |
| 1 (Function) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| proj10 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| proj2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| proj3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| proj4 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| proj5 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| proj6 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| proj7 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| proj8 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| proj9 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| project | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| project' | |
| 1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Annotation, Data.Comp |
| project10 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| project2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| project3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| project4 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| project5 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| project6 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| project7 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| project8 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| project9 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| projectA | |
| 1 (Function) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| projectConst | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| project_ | Data.Comp.Sum, Data.Comp |
| proj_ | Data.Comp.Ops |
| propAnn | |
| 1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Annotation, Data.Comp |
| propAnnDown | Data.Comp.Annotation, Data.Comp |
| propAnnM | Data.Comp.Annotation, Data.Comp |
| propAnnMacro | Data.Comp.Annotation, Data.Comp |
| propAnnMacroLA | Data.Comp.Annotation, Data.Comp |
| propAnnQ | Data.Comp.Annotation, Data.Comp |
| propAnnUp | Data.Comp.Annotation, Data.Comp |
| PTerm | Data.Comp.Term, Data.Comp |
| pureHom | Data.Comp.Automata |
| putBinding | Data.Comp.Unification |
| putEqs | Data.Comp.Unification |
| QHom | Data.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.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| RAlgM | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| RCoalg | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| RCoalgM | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| reduce | Data.Comp.TermRewriting |
| RemA | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| remA | |
| 1 (Function) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| Render | Data.Comp.Render |
| Res | Data.Comp.Ops |
| ResLeft | Data.Comp.Ops |
| ResRight | Data.Comp.Ops |
| ResSum | Data.Comp.Ops |
| rnf | Data.Comp.Derive |
| rnfF | Data.Comp.Derive, Data.Comp.DeepSeq |
| RPS | Data.Comp.TermRewriting |
| Rule | Data.Comp.TermRewriting |
| runDownHom | Data.Comp.Automata |
| runDownTrans | Data.Comp.Automata |
| runDState | Data.Comp.Automata |
| runDUpState | Data.Comp.Automata |
| runE | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| runMacroTrans | Data.Comp.MacroAutomata |
| runMacroTransLA | Data.Comp.MacroAutomata |
| runQHom | Data.Comp.Automata |
| runUnify | Data.Comp.Unification |
| runUnifyM | Data.Comp.Unification |
| runUpHom | Data.Comp.Automata |
| runUpHomSt | Data.Comp.Automata |
| runUpState | Data.Comp.Automata |
| runUpTrans | Data.Comp.Automata |
| ShowConstr | Data.Comp.Derive |
| showConstr | Data.Comp.Derive |
| ShowF | Data.Comp.Derive, Data.Comp.Show |
| showF | Data.Comp.Derive, Data.Comp.Show |
| ShowHF | Data.Comp.Multi.Derive, Data.Comp.Multi.Show |
| showHF | Data.Comp.Multi.Derive, Data.Comp.Multi.Show |
| showHF' | Data.Comp.Multi.Derive, Data.Comp.Multi.Show |
| showTerm | Data.Comp.Render |
| shrink | Data.Comp.Derive |
| shrinkF | Data.Comp.Derive, Data.Comp.Arbitrary |
| SigFun | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| SigFunM | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| sigFunM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| SigFunMD | Data.Comp.Algebra, Data.Comp |
| simpCxt | |
| 1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Term, Data.Comp |
| SimpHere | Data.Comp.Ops |
| SimpLeft | Data.Comp.Ops |
| SimpPos | Data.Comp.Ops |
| SimpRight | Data.Comp.Ops |
| SingPos | Data.Comp.Ops |
| size | |
| 1 (Function) | Data.Comp.Multi.Generic, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Generic, Data.Comp |
| smartAConstructors | |
| 1 (Function) | Data.Comp.Multi.Derive |
| 2 (Function) | Data.Comp.Derive |
| smartConstructors | |
| 1 (Function) | Data.Comp.Multi.Derive |
| 2 (Function) | Data.Comp.Derive |
| snd | Data.Comp.Multi.Ops |
| spl | Data.Comp.Ops |
| Split | Data.Comp.Ops |
| split | Data.Comp.Sum, Data.Comp |
| Step | Data.Comp.TermRewriting |
| strict | Data.Comp.Thunk |
| strictAt | Data.Comp.Thunk |
| stringTree | Data.Comp.Render |
| stringTreeAlg | Data.Comp.Render |
| stripA | |
| 1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
| 2 (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 | 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 |
| Sum | Data.Comp.Ops |
| SumD | Data.Comp.Ops |
| tagDownState | Data.Comp.Automata |
| tagUpState | Data.Comp.Automata |
| Term | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 3 (Type/Class) | Data.Comp.Term, Data.Comp |
| 4 (Data Constructor) | Data.Comp.Term, Data.Comp |
| TermT | Data.Comp.Thunk |
| thunk | Data.Comp.Thunk |
| toCxt | |
| 1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (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.Number, Data.Comp.Derive |
| TRS | Data.Comp.TermRewriting |
| 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 |
| unI | Data.Comp.Multi.HFunctor, Data.Comp.Multi, Data.Comp.MacroAutomata |
| 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 | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| unNumbered | |
| 1 (Function) | Data.Comp.Number |
| 2 (Function) | Data.Comp.Multi.Number |
| unTerm | |
| 1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Term, Data.Comp |
| UpState | Data.Comp.Automata |
| upState | Data.Comp.Automata |
| UpTrans | Data.Comp.Automata |
| upTrans | Data.Comp.Automata |
| UpTrans' | Data.Comp.Automata |
| usEqs | Data.Comp.Unification |
| usSubst | Data.Comp.Unification |
| Var | |
| 1 (Type/Class) | Data.Comp.TermRewriting |
| 2 (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 | Data.Comp.Thunk |
| whnf' | Data.Comp.Thunk |
| whnfPr | Data.Comp.Thunk |
| withNextEq | Data.Comp.Unification |
| writeHtmlTerm | Data.Comp.Render |
| |*| | Data.Comp.Automata |
| |-> | Data.Comp.Automata |