Index - R
| r3In | Refined3 |
| r3Out | Refined3 |
| rapply | Refined |
| rapply0 | Refined |
| rapply1 | Refined |
| rapply3 | Refined3 |
| rapply3P | Refined3 |
| Re | Predicate |
| Re' | Predicate |
| ReadBase | Predicate |
| ReadBase' | Predicate |
| ReadBaseInt | Predicate |
| ReadDir | Predicate |
| ReadEnv | Predicate |
| ReadEnvAll | Predicate |
| ReadFile | Predicate |
| ReadP | Predicate |
| ReadP' | Predicate |
| ReadP'' | Predicate |
| ReadShow | Refined3Helper |
| ReadShow' | Refined3Helper |
| ReadShowR | Refined3Helper |
| ReadShowR' | Refined3Helper |
| Refined | Refined |
| Refined3 | Refined3 |
| Refined3C | Refined3 |
| refined3TH | UtilP_TH |
| refined3TH' | UtilP_TH |
| RefinedC | Refined |
| RefinedT | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| refinedTH | UtilP_TH |
| refinedTH' | UtilP_TH |
| Rem | Predicate |
| Remove | Predicate |
| removeAnsiForDocTest | UtilP, Predicate |
| Repeat | Predicate |
| RepeatT | UtilP, Predicate |
| ReplaceAll | Predicate |
| ReplaceAll' | Predicate |
| ReplaceAllString | Predicate |
| ReplaceAllString' | Predicate |
| ReplaceImpl | Predicate |
| ReplaceOne | Predicate |
| ReplaceOne' | Predicate |
| ReplaceOneString | Predicate |
| ReplaceOneString' | Predicate |
| Rescan | Predicate |
| Rescan' | Predicate |
| RescanRanges | Predicate |
| RescanRanges' | Predicate |
| Resplit | Predicate |
| Resplit' | Predicate |
| Results | Refined3 |
| Reverse | Predicate |
| ReverseL | Predicate |
| ReverseTupleC | UtilP, Predicate |
| reverseTupleC | UtilP, Predicate |
| ReverseTupleN | Predicate |
| ReverseTupleP | UtilP, Predicate |
| RF | Refined3 |
| Right | Predicate |
| Right' | Predicate |
| RightDef | Predicate |
| RightFail | Predicate |
| RightP | Predicate |
| RightToMaybe | Predicate |
| ROpt | UtilP, Predicate |
| RR | |
| 1 (Type/Class) | UtilP, Predicate |
| 2 (Data Constructor) | UtilP, Predicate |
| RR1 | UtilP, Predicate |
| RR2 | UtilP, Predicate |
| RR3 | UtilP, Predicate |
| RResults | Refined3 |
| RTF | Refined3 |
| RTFalse | Refined3 |
| RTTrueF | Refined3 |
| RTTrueT | Refined3 |
| runIO | UtilP, Predicate |
| runPQ | PredicateCore, Predicate |