Index - R
| recursexpr | Conjure.Expr, Conjure.Defn |
| Refl | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| rehole | Conjure.Expr, Conjure.Defn |
| Reification | Conjure.Conjurable |
| Reification1 | Conjure.Conjurable |
| reifyEq | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| reifyEqOrd | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| reifyEquality | Conjure.Conjurable, Conjure |
| reifyExpress | Conjure.Conjurable, Conjure |
| reifyName | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| reifyOrd | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| reifyTiers | Conjure.Conjurable, Conjure |
| rem' | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| remE | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| renameVarsBy | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| repeat | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| replicate | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| requireDescent | Conjure.Engine, Conjure |
| reval | Conjure.Expr, Conjure.Defn |
| revaluate | Conjure.Expr, Conjure.Defn |
| reverse | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| rewriting | Conjure.Engine, Conjure |
| rnfTyCon | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| rnfTypeRep | Conjure.Utils, Conjure.Expr, Conjure.Defn |
| rr | Conjure.Expr, Conjure.Defn, Conjure.Engine |
| rules | Conjure.Reason, Conjure.Engine |
| rvars | Conjure.Expr, Conjure.Defn |