| 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 |