Index - R
| R | Eval |
| RApp | Concrete |
| RConst | Warshall |
| reassembleConstructor | Abstract |
| reassembleConstructorType | Abstract |
| Rec | Polarity |
| recConK | Abstract |
| recConName | Abstract |
| recDotted | Abstract |
| recDottedRef | Abstract |
| RecInfo | Abstract |
| recNamedFields | Abstract |
| recOccs | TCM |
| Record | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| RecordDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| recoverFail | TraceError |
| recoverFailDoc | TraceError |
| reduce | Eval |
| reify | Eval |
| reify' | Eval |
| relPol | Polarity |
| relPolM | Polarity |
| Ren | TCM |
| renaming | TCM |
| resetConstraints | TCM |
| resurrect | TCM |
| Retrieve | Util |
| retrieve | Util |
| Reval | Eval |
| reval | Eval |
| reval' | Eval |
| Rewrite | |
| 1 (Type/Class) | TCM |
| 2 (Data Constructor) | TCM |
| Rewrites | TCM |
| rewrites | TCM |
| rhs | TCM |
| rhsDefs | Abstract |
| rightBound | Abstract |
| Rigid | |
| 1 (Data Constructor) | Warshall |
| 2 (Type/Class) | Warshall |
| RigidId | Warshall |
| row | SparseMatrix |
| rowdescr | Warshall |
| rows | SparseMatrix |
| RTri | Lexer |
| runExtract | Extract |
| runTranslate | ToHaskell |
| runTypeCheck | TypeChecker |
| RVar | Warshall |