Index
| :&: | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| 3 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| 4 (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 |
| 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.Functor, Data.Comp.Multi |
| :.: | Data.Comp.Multi.Functor, Data.Comp.Multi |
| :<: | |
| 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.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 | |
| 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 |
| 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 |
| 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 |
| appRule | Data.Comp.TermRewriting |
| 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' | 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.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| appTermHomM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (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 |
| 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 |
| 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.Functor, 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 |
| compareF | Data.Comp.Derive, Data.Comp.Ordering, Data.Comp |
| compCoalg | Data.Comp.Algebra, Data.Comp |
| compCVCoalg | Data.Comp.Algebra, Data.Comp |
| compSigFun | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| compSigFunM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 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.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| compTermHomM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| Const | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Term, Data.Comp |
| constP | |
| 1 (Function) | Data.Comp.Multi.Product, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Product, Data.Comp |
| constTerm | |
| 1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Term, Data.Comp |
| containsVar | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| Context | |
| 1 (Type/Class) | Data.Comp.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 |
| 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.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| deepInject2 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| deepInject3 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| deepProject | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| deepProject' | Data.Comp.Sum, Data.Comp |
| deepProject2 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| deepProject2' | Data.Comp.Sum, Data.Comp |
| deepProject3 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | 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 | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| 2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| 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 |
| FailedOccursCheck | Data.Comp.Unification |
| failedOccursCheck | Data.Comp.Unification |
| ffst | Data.Comp.Ops |
| Foldable | Data.Comp.Derive |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| HFunctor | Data.Comp.Multi.Functor, Data.Comp.Multi, Data.Comp.Derive |
| histo | Data.Comp.Algebra, Data.Comp |
| histoM | Data.Comp.Algebra, Data.Comp |
| hmapM | Data.Comp.Multi.Traversable |
| 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 |
| HShowF | Data.Comp.Derive, Data.Comp.Multi.Show |
| hshowF | Data.Comp.Derive, Data.Comp.Multi.Show |
| hshowF' | Data.Comp.Derive, Data.Comp.Multi.Show |
| htoList | Data.Comp.Multi.Foldable |
| HTraversable | Data.Comp.Multi.Traversable, Data.Comp.Derive |
| htraverse | Data.Comp.Multi.Traversable |
| I | |
| 1 (Type/Class) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| 2 (Data Constructor) | Data.Comp.Multi.Functor, Data.Comp.Multi |
| inj | |
| 1 (Function) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| inj2 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| inj3 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| inject | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| inject2 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| inject3 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| injectConst | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| injectConst2 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| injectConst3 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| injectCxt | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| injectP | |
| 1 (Function) | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| Inl | |
| 1 (Data Constructor) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| Inr | |
| 1 (Data Constructor) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| instanceArbitrary | Data.Comp.Derive |
| instanceArbitraryF | Data.Comp.Derive |
| instanceEqF | Data.Comp.Derive |
| instanceFoldable | Data.Comp.Derive |
| instanceFunctor | Data.Comp.Derive |
| instanceHEqF | 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 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| liftMAlg | 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 | |
| 1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (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 |
| 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 | |
| 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 |
| productTermHom | |
| 1 (Function) | Data.Comp.Multi.Product, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Product, Data.Comp |
| proj | |
| 1 (Function) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
| proj2 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| proj3 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| project | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| project' | |
| 1 (Function) | Data.Comp.Multi.Product, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Product, Data.Comp |
| project2 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| project3 | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| projectConst | |
| 1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Sum, Data.Comp |
| projectP | |
| 1 (Function) | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| PTerm | Data.Comp.Term, Data.Comp |
| putBinding | Data.Comp.Unification |
| putEqs | Data.Comp.Unification |
| query | 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 |
| RemoveP | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| 2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| removeP | |
| 1 (Function) | Data.Comp.Ops, Data.Comp.Product, Data.Comp |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Product, Data.Comp.Multi |
| 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 | |
| 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 |
| SigFunM' | Data.Comp.Algebra, Data.Comp |
| simpCxt | |
| 1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Term, Data.Comp |
| size | Data.Comp.Generic, Data.Comp |
| smartConstructors | Data.Comp.Derive |
| smartHConstructors | Data.Comp.Derive |
| snd | Data.Comp.Multi.Ops |
| 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 |
| 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 | Data.Comp.Generic, Data.Comp |
| subterms' | Data.Comp.Generic, Data.Comp |
| 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 |
| TermHom | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| termHom | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| termHom' | Data.Comp.Algebra, Data.Comp |
| TermHomM | |
| 1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
| termHomM | |
| 1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Algebra, Data.Comp |
| TermHomM' | Data.Comp.Algebra, Data.Comp |
| termHomM' | Data.Comp.Algebra, Data.Comp |
| toCxt | |
| 1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Term, Data.Comp |
| 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 |
| 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 | |
| 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 (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 |
| 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 |
| withNextEq | Data.Comp.Unification |