| RAlg |   | 
| 1 (Type/Class) | Data.Comp.Param.Algebra, Data.Comp.Param | 
| 2 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi | 
| 3 (Type/Class) | Data.Comp.Algebra, Data.Comp | 
| RAlgM |   | 
| 1 (Type/Class) | Data.Comp.Param.Algebra, Data.Comp.Param | 
| 2 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi | 
| 3 (Type/Class) | Data.Comp.Algebra, Data.Comp | 
| RCoalg |   | 
| 1 (Type/Class) | Data.Comp.Param.Algebra, Data.Comp.Param | 
| 2 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi | 
| 3 (Type/Class) | Data.Comp.Algebra, Data.Comp | 
| RCoalgM |   | 
| 1 (Type/Class) | Data.Comp.Param.Algebra, Data.Comp.Param | 
| 2 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi | 
| 3 (Type/Class) | Data.Comp.Algebra, Data.Comp | 
| reduce | Data.Comp.TermRewriting | 
| RemA |   | 
| 1 (Type/Class) | Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param | 
| 2 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp | 
| 3 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi | 
| 4 (Type/Class) | Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam | 
| remA |   | 
| 1 (Function) | Data.Comp.Param.Ops, Data.Comp.Param.Annotation, Data.Comp.Param | 
| 2 (Function) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp | 
| 3 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi | 
| 4 (Function) | Data.Comp.MultiParam.Ops, Data.Comp.MultiParam.Annotation, Data.Comp.MultiParam | 
| rnf | Data.Comp.Derive | 
| rnfF | Data.Comp.Derive, Data.Comp.DeepSeq | 
| rnfF' | Data.Comp.DeepSeq | 
| RPS | Data.Comp.TermRewriting | 
| RState | Data.Comp.Automata | 
| Rule | Data.Comp.TermRewriting | 
| runDownHom | Data.Comp.Automata | 
| runDownTrans | Data.Comp.Automata | 
| runDownTrans' | Data.Comp.Automata | 
| runDState | Data.Comp.Automata | 
| runDUpState | Data.Comp.Automata | 
| runUnify | Data.Comp.Unification | 
| runUnifyM | Data.Comp.Unification | 
| runUpHom | Data.Comp.Automata | 
| runUpState | Data.Comp.Automata | 
| runUpTrans | Data.Comp.Automata | 
| runUpTrans' | Data.Comp.Automata |