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 |