| 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 |
| RemA | |
| 1 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| remA | |
| 1 (Function) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
| 2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
| Render | Data.Comp.Render |
| Res | Data.Comp.Ops |
| ResLeft | Data.Comp.Ops |
| ResRight | Data.Comp.Ops |
| ResSum | Data.Comp.Ops |
| rnf | Data.Comp.Derive |
| rnfF | Data.Comp.Derive, Data.Comp.DeepSeq |
| RPS | Data.Comp.TermRewriting |
| Rule | Data.Comp.TermRewriting |
| runDownHom | Data.Comp.Automata |
| runDownTrans | Data.Comp.Automata |
| runDState | Data.Comp.Automata |
| runDUpState | Data.Comp.Automata |
| runE | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
| runMacroTrans | Data.Comp.MacroAutomata |
| runMacroTransLA | Data.Comp.MacroAutomata |
| runQHom | Data.Comp.Automata |
| runUnify | Data.Comp.Unification |
| runUnifyM | Data.Comp.Unification |
| runUpHom | Data.Comp.Automata |
| runUpHomSt | Data.Comp.Automata |
| runUpState | Data.Comp.Automata |
| runUpTrans | Data.Comp.Automata |