| :&&: | |
| 1 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| :&: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| :**: | |
| 1 (Type/Class) | Data.Comp.Multi.Ops |
| 2 (Data Constructor) | Data.Comp.Multi.Ops |
| :*: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| :++: | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| :+: | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| :-> | Data.Comp.Multi.Functor, Data.Comp.Multi |
| :.: | Data.Comp.Multi.Functor, Data.Comp.Multi |
| :<: | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| :<<: | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| :=> | 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 |
| Alg | Data.Comp.Algebra, Data.Comp |
| AlgM | Data.Comp.Algebra, Data.Comp |
| algM | Data.Comp.Algebra, Data.Comp |
| ana | Data.Comp.Algebra, Data.Comp |
| ana' | Data.Comp.Algebra, Data.Comp |
| anaE | Data.Comp.Algebra, Data.Comp |
| anaM | Data.Comp.Algebra, Data.Comp |
| apo | Data.Comp.Algebra, Data.Comp |
| apoM | Data.Comp.Algebra, Data.Comp |
| appCxt | Data.Comp.Algebra, Data.Comp |
| appCxtE | Data.Comp.Algebra, Data.Comp |
| appHCxt | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHCxtE | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHSigFun | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHSigFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHTermHom | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHTermHomE | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appHTermHomM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| appRule | Data.Comp.TermRewriting |
| appSigFun | Data.Comp.Algebra, Data.Comp |
| appSigFunM | Data.Comp.Algebra, Data.Comp |
| appSigFunM' | 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 | Data.Comp.Algebra, Data.Comp |
| appTermHomE | Data.Comp.Algebra, Data.Comp |
| appTermHomM | 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 |
| BStep | Data.Comp.TermRewriting |
| bStep | Data.Comp.TermRewriting |
| cata | Data.Comp.Algebra, Data.Comp |
| cata' | Data.Comp.Algebra, Data.Comp |
| cataE | Data.Comp.Algebra, Data.Comp |
| cataM | Data.Comp.Algebra, Data.Comp |
| cataM' | Data.Comp.Algebra, Data.Comp |
| Coalg | Data.Comp.Algebra, Data.Comp |
| CoalgM | Data.Comp.Algebra, Data.Comp |
| Comp | Data.Comp.Multi.Functor, Data.Comp.Multi |
| compAlg | Data.Comp.Algebra, Data.Comp |
| compAlgM | Data.Comp.Algebra, Data.Comp |
| compAlgM' | Data.Comp.Algebra, Data.Comp |
| compareF | Data.Comp.Derive, Data.Comp.Ordering, Data.Comp |
| compCoalg | Data.Comp.Algebra, Data.Comp |
| compCVCoalg | Data.Comp.Algebra, Data.Comp |
| compHAlg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compHAlgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compHAlgM' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compHSigFun | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compHSigFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compHTermHom | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compHTermHomM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| compSigFun | Data.Comp.Algebra, Data.Comp |
| compSigFunM | Data.Comp.Algebra, Data.Comp |
| compSubst | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| compTermHom | Data.Comp.Algebra, Data.Comp |
| compTermHomM | Data.Comp.Algebra, Data.Comp |
| Const | Data.Comp.Term, Data.Comp |
| constHTerm | Data.Comp.Multi.Term, Data.Comp.Multi |
| constP | |
| 1 (Function) | Data.Comp.Multi.Product, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Product, Data.Comp |
| constTerm | Data.Comp.Term, Data.Comp |
| containsVar | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| containsVarAlg | Data.Comp.Multi.Variables |
| Context | Data.Comp.Term, Data.Comp |
| CVAlg | Data.Comp.Algebra, Data.Comp |
| CVAlgM | Data.Comp.Algebra, Data.Comp |
| CVCoalg | Data.Comp.Algebra, Data.Comp |
| CVCoalg' | Data.Comp.Algebra, Data.Comp |
| CVCoalgM | Data.Comp.Algebra, Data.Comp |
| Cxt | Data.Comp.Term, Data.Comp |
| CxtFun | Data.Comp.Algebra, Data.Comp |
| CxtFunM | Data.Comp.Algebra, Data.Comp |
| CxtSubst | 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 |
| deepHInject | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepHInject2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepHInject3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepHInjectE | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepHInjectE2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepHInjectE3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepHProject | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepHProject2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepHProject3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| deepInject | Data.Comp.Sum, Data.Comp |
| deepInject2 | Data.Comp.Sum, Data.Comp |
| deepInject3 | Data.Comp.Sum, Data.Comp |
| deepInjectE | Data.Comp.Sum, Data.Comp |
| deepInjectE2 | Data.Comp.Sum, Data.Comp |
| deepInjectE3 | Data.Comp.Sum, Data.Comp |
| deepProject | Data.Comp.Sum, Data.Comp |
| deepProject' | Data.Comp.Sum, Data.Comp |
| deepProject2 | Data.Comp.Sum, Data.Comp |
| deepProject2' | Data.Comp.Sum, Data.Comp |
| deepProject3 | Data.Comp.Sum, Data.Comp |
| deepProject3' | Data.Comp.Sum, Data.Comp |
| depth | Data.Comp.Generic, Data.Comp |
| derive | Data.Comp.Derive |
| determNUTA | Data.Comp.Automata |
| DistProd | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| DUTA | |
| 1 (Type/Class) | Data.Comp.Automata |
| 2 (Data Constructor) | Data.Comp.Automata |
| duta | Data.Comp.Automata |
| dutaAccept | Data.Comp.Automata |
| DUTATrans | Data.Comp.Automata |
| dutaTrans | Data.Comp.Automata |
| DUTT | |
| 1 (Type/Class) | Data.Comp.Automata |
| 2 (Data Constructor) | Data.Comp.Automata |
| dutt | Data.Comp.Automata |
| duttAccept | Data.Comp.Automata |
| DUTTTrans | Data.Comp.Automata |
| duttTrans | Data.Comp.Automata |
| duttTransAlg | Data.Comp.Automata |
| EqF | Data.Comp.Derive, Data.Comp.Equality, Data.Comp |
| eqF | Data.Comp.Derive, Data.Comp.Equality, Data.Comp |
| eqMod | Data.Comp.Equality, Data.Comp |
| Equation | Data.Comp.Unification |
| Equations | Data.Comp.Unification |
| ExpFunctor | Data.Comp.ExpFunctor, Data.Comp.Derive |
| FailedOccursCheck | Data.Comp.Unification |
| failedOccursCheck | Data.Comp.Unification |
| ffst | Data.Comp.Ops |
| Foldable | Data.Comp.Derive |
| free | Data.Comp.Algebra, Data.Comp |
| freeM | Data.Comp.Algebra, Data.Comp |
| fsnd | Data.Comp.Ops |
| Fun | Data.Comp.Decompose |
| Functor | Data.Comp.Derive |
| futu | Data.Comp.Algebra, Data.Comp |
| futu' | Data.Comp.Algebra, Data.Comp |
| futuM | Data.Comp.Algebra, Data.Comp |
| gsize | Data.Comp.Generic, Data.Comp |
| GSubst | Data.Comp.Multi.Variables |
| HAlg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HAlgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hana | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hanaM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hapo | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hapoM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HasVars | |
| 1 (Type/Class) | Data.Comp.Multi.Variables |
| 2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
| hcata | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hcata' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hcataE | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hcataM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hcataM' | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HCoalg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HCoalgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HConst | Data.Comp.Multi.Term, Data.Comp.Multi |
| HContext | Data.Comp.Multi.Term, Data.Comp.Multi |
| HCVCoalg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HCVCoalgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HCxt | Data.Comp.Multi.Term, Data.Comp.Multi |
| HCxtFun | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HCxtFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HCxtSubst | Data.Comp.Multi.Variables |
| HDistProd | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| HeadSymbolMismatch | Data.Comp.Unification |
| headSymbolMismatch | Data.Comp.Unification |
| HEqF | Data.Comp.Derive, Data.Comp.Multi.Equality |
| heqF | Data.Comp.Derive, Data.Comp.Multi.Equality |
| heqMod | Data.Comp.Multi.Equality |
| HExpFunctor | Data.Comp.Multi.ExpFunctor, Data.Comp.Derive |
| hfmap | Data.Comp.Multi.Functor, Data.Comp.Multi |
| hfold | Data.Comp.Multi.Foldable |
| HFoldable | Data.Comp.Multi.Foldable, Data.Comp.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 |
| hfree | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hfreeM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hfst | Data.Comp.Multi.Ops |
| HFunctor | Data.Comp.Multi.Functor, Data.Comp.Multi, Data.Comp.Derive |
| hfutu | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hfutuM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HHole | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Term, Data.Comp.Multi |
| hinj | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinj2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinj3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinject | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinject2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinject3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinjectHConst | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinjectHConst2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinjectHConst3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinjectHCxt | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hinjectP | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| HInl | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| HInr | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| histo | Data.Comp.Algebra, Data.Comp |
| histoM | Data.Comp.Algebra, Data.Comp |
| hmapM | Data.Comp.Multi.Traversable |
| HNoHole | Data.Comp.Multi.Term, Data.Comp.Multi |
| HNothing | Data.Comp.Multi.Term, Data.Comp.Multi |
| Hole | |
| 1 (Type/Class) | Data.Comp.Term, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Term, Data.Comp |
| hpara | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hparaM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hproj | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| hproj2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hproj3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hproject | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hproject' | Data.Comp.Multi.Product, Data.Comp.Multi |
| hproject2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hproject3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hprojectHConst | Data.Comp.Multi.Sum, Data.Comp.Multi |
| hprojectP | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| HRAlg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HRAlgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HRCoalg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HRCoalgM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HRemoveP | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| hremoveP | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| HShowF | Data.Comp.Derive, Data.Comp.Multi.Show |
| hshowF | Data.Comp.Derive, Data.Comp.Multi.Show |
| hshowF' | Data.Comp.Derive, Data.Comp.Multi.Show |
| HSigFun | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HSigFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hsigFunM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| hsnd | Data.Comp.Multi.Ops |
| HTerm | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Term, Data.Comp.Multi |
| HTermHom | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| htermHom | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| HTermHomM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| htermHomM | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| htoList | Data.Comp.Multi.Foldable |
| HTraversable | Data.Comp.Multi.Traversable, Data.Comp.Derive |
| htraverse | Data.Comp.Multi.Traversable |
| hxmap | Data.Comp.Multi.ExpFunctor |
| I | |
| 1 (Type/Class) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| inj | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| inj2 | Data.Comp.Sum, Data.Comp |
| inj3 | Data.Comp.Sum, Data.Comp |
| inject | Data.Comp.Sum, Data.Comp |
| inject2 | Data.Comp.Sum, Data.Comp |
| inject3 | Data.Comp.Sum, Data.Comp |
| injectConst | Data.Comp.Sum, Data.Comp |
| injectConst2 | Data.Comp.Sum, Data.Comp |
| injectConst3 | Data.Comp.Sum, Data.Comp |
| injectCxt | Data.Comp.Sum, Data.Comp |
| injectP | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| Inl | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| Inr | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| instanceArbitrary | Data.Comp.Derive |
| instanceArbitraryF | Data.Comp.Derive |
| instanceEqF | Data.Comp.Derive |
| instanceExpFunctor | Data.Comp.Derive |
| instanceFoldable | Data.Comp.Derive |
| instanceFunctor | Data.Comp.Derive |
| instanceHEqF | Data.Comp.Derive |
| instanceHExpFunctor | Data.Comp.Derive |
| instanceHFoldable | Data.Comp.Derive |
| instanceHFunctor | Data.Comp.Derive |
| instanceHShowF | Data.Comp.Derive |
| instanceHTraversable | Data.Comp.Derive |
| instanceNFData | Data.Comp.Derive |
| instanceNFDataF | Data.Comp.Derive |
| instanceOrdF | Data.Comp.Derive |
| instanceShowF | Data.Comp.Derive |
| instanceTraversable | Data.Comp.Derive |
| 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 |
| KEq | Data.Comp.Derive, Data.Comp.Multi.Equality |
| keq | Data.Comp.Derive, Data.Comp.Multi.Equality |
| kfoldl | Data.Comp.Multi.Foldable |
| kfoldr | Data.Comp.Multi.Foldable |
| KShow | Data.Comp.Derive |
| kshow | Data.Comp.Derive |
| liftCxt | Data.Comp.Sum, Data.Comp |
| liftHCxt | Data.Comp.Multi.Sum, Data.Comp.Multi |
| liftMHAlg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| liftP | |
| 1 (Function) | Data.Comp.Multi.Product, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Product, Data.Comp |
| liftP' | |
| 1 (Function) | Data.Comp.Multi.Product, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Product, Data.Comp |
| matchCxt | Data.Comp.Matching |
| matchRule | Data.Comp.TermRewriting |
| matchRules | Data.Comp.TermRewriting |
| matchTerm | Data.Comp.Matching |
| NatM | Data.Comp.Multi.Functor, Data.Comp.Multi |
| NFData | Data.Comp.Derive |
| NFDataF | Data.Comp.Derive, Data.Comp.DeepSeq |
| NoHole | Data.Comp.Term, Data.Comp |
| Nothing | Data.Comp.Term, Data.Comp |
| NUTA | |
| 1 (Type/Class) | Data.Comp.Automata |
| 2 (Data Constructor) | Data.Comp.Automata |
| nuta | Data.Comp.Automata |
| nutaAccept | Data.Comp.Automata |
| NUTATrans | Data.Comp.Automata |
| nutaTrans | Data.Comp.Automata |
| NUTT | |
| 1 (Type/Class) | Data.Comp.Automata |
| 2 (Data Constructor) | Data.Comp.Automata |
| nutt | Data.Comp.Automata |
| nuttAccept | Data.Comp.Automata |
| NUTTTrans | Data.Comp.Automata |
| nuttTrans | Data.Comp.Automata |
| nuttTransAlg | Data.Comp.Automata |
| OrdF | Data.Comp.Derive, Data.Comp.Ordering, Data.Comp |
| para | Data.Comp.Algebra, Data.Comp |
| parallelStep | Data.Comp.TermRewriting |
| paraM | Data.Comp.Algebra, Data.Comp |
| parTopStep | Data.Comp.TermRewriting |
| productHTermHom | Data.Comp.Multi.Product, Data.Comp.Multi |
| productTermHom | Data.Comp.Product, Data.Comp |
| proj | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| proj2 | Data.Comp.Sum, Data.Comp |
| proj3 | Data.Comp.Sum, Data.Comp |
| project | Data.Comp.Sum, Data.Comp |
| project' | Data.Comp.Product, Data.Comp |
| project2 | Data.Comp.Sum, Data.Comp |
| project3 | Data.Comp.Sum, Data.Comp |
| projectConst | Data.Comp.Sum, Data.Comp |
| projectP | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| PTerm | Data.Comp.Term, Data.Comp |
| putBinding | Data.Comp.Unification |
| putEqs | Data.Comp.Unification |
| query | Data.Comp.Generic, Data.Comp |
| RAlg | Data.Comp.Algebra, Data.Comp |
| RAlgM | Data.Comp.Algebra, Data.Comp |
| RCoalg | Data.Comp.Algebra, Data.Comp |
| RCoalgM | Data.Comp.Algebra, Data.Comp |
| reduce | Data.Comp.TermRewriting |
| RemoveP | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| removeP | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| rnf | Data.Comp.Derive |
| rnfF | Data.Comp.Derive, Data.Comp.DeepSeq |
| rnfF' | Data.Comp.DeepSeq |
| RPS | Data.Comp.TermRewriting |
| Rule | Data.Comp.TermRewriting |
| runDUTATrans | Data.Comp.Automata |
| runDUTTTrans | Data.Comp.Automata |
| runNUTATrans | Data.Comp.Automata |
| runNUTTTrans | Data.Comp.Automata |
| runUnify | Data.Comp.Unification |
| runUnifyM | Data.Comp.Unification |
| ShowF | Data.Comp.Derive, Data.Comp.Show |
| showF | Data.Comp.Derive, Data.Comp.Show |
| shrink | Data.Comp.Derive |
| shrinkF | Data.Comp.Derive, Data.Comp.Arbitrary |
| SigFun | Data.Comp.Algebra, Data.Comp |
| SigFunM | Data.Comp.Algebra, Data.Comp |
| sigFunM | Data.Comp.Algebra, Data.Comp |
| SigFunM' | Data.Comp.Algebra, Data.Comp |
| simpCxt | Data.Comp.Term, Data.Comp |
| simpHCxt | Data.Comp.Multi.Term, Data.Comp.Multi |
| size | Data.Comp.Generic, Data.Comp |
| smartConstructors | Data.Comp.Derive |
| smartHConstructors | Data.Comp.Derive |
| Step | Data.Comp.TermRewriting |
| stripP | |
| 1 (Function) | Data.Comp.Multi.Product, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Product, Data.Comp |
| structure | Data.Comp.Decompose |
| Subst | |
| 1 (Type/Class) | Data.Comp.Multi.Variables |
| 2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
| substAlg | Data.Comp.Multi.Variables |
| substHHoles | Data.Comp.Multi.Sum, Data.Comp.Multi |
| substHoles | Data.Comp.Sum, Data.Comp |
| substHoles' | Data.Comp.Sum, Data.Comp |
| SubstVars | Data.Comp.Multi.Variables |
| substVars | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| subterms | Data.Comp.Generic, Data.Comp |
| subterms' | Data.Comp.Generic, Data.Comp |
| Term | |
| 1 (Type/Class) | Data.Comp.Term, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Term, Data.Comp |
| TermHom | Data.Comp.Algebra, Data.Comp |
| termHom | Data.Comp.Algebra, Data.Comp |
| termHom' | Data.Comp.Algebra, Data.Comp |
| TermHomM | Data.Comp.Algebra, Data.Comp |
| termHomM | Data.Comp.Algebra, Data.Comp |
| TermHomM' | Data.Comp.Algebra, Data.Comp |
| termHomM' | Data.Comp.Algebra, Data.Comp |
| toCxt | Data.Comp.Term, Data.Comp |
| toHCxt | Data.Comp.Multi.Term, Data.Comp.Multi |
| transform | Data.Comp.Generic, Data.Comp |
| transform' | Data.Comp.Generic, Data.Comp |
| transformM | Data.Comp.Generic, Data.Comp |
| Traversable | Data.Comp.Derive |
| TRS | Data.Comp.TermRewriting |
| unA | Data.Comp.Multi.Functor, Data.Comp.Multi |
| unHTerm | Data.Comp.Multi.Term, Data.Comp.Multi |
| unI | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 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.Functor, Data.Comp.Multi |
| unTerm | Data.Comp.Term, Data.Comp |
| usEqs | Data.Comp.Unification |
| usSubst | Data.Comp.Unification |
| Var | |
| 1 (Data Constructor) | Data.Comp.Decompose |
| 2 (Type/Class) | Data.Comp.TermRewriting |
| variableList | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| variableListAlg | Data.Comp.Multi.Variables |
| 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 |
| variablesAlg | Data.Comp.Multi.Variables |
| varsToHHoles | Data.Comp.Multi.Variables |
| varsToHoles | Data.Comp.Variables, Data.Comp.Matching |
| withNextEq | Data.Comp.Unification |
| xmap | Data.Comp.ExpFunctor |