Index - R
| rational | Test.Speculate |
| readLitChar | Test.Speculate.Utils |
| reallyShowConditions | Test.Speculate.Args |
| reduceRootWith | Test.Speculate.CondReason |
| reductions1 | Test.Speculate.Reason |
| reductions1With | Test.Speculate.CondReason |
| Refl | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| reflexive | Test.Speculate |
| reifyEq | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| reifyEqOrd | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| reifyInstances | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| reifyInstances1 | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| reifyListable | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| reifyName | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| reifyOrd | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| Remap | Test.Speculate.Args |
| remap | Test.Speculate.Args |
| remap2 | Test.Speculate.Args |
| remapUpdate | Test.Speculate.Args |
| renameVarsBy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| report | Test.Speculate.Report, Test.Speculate |
| reportCountsBy | Test.Speculate.Utils |
| representativesFromAtoms | Test.Speculate.Engine |
| representativesFromAtomsKeeping | Test.Speculate.Engine |
| reset | Test.Speculate |
| results | Test.Speculate |
| resultTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| rnfTyCon | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| rnfTypeRep | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| rules | Test.Speculate.Reason |