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 |