| RecBottom | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| RecBottomE | Language.Rzk.Free.Syntax |
| RecBottomF | Language.Rzk.Free.Syntax |
| RecBottomT | Language.Rzk.Free.Syntax |
| recBottomT | Rzk.TypeCheck |
| RecBottomTE | Language.Rzk.Free.Syntax |
| RecOr | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| recOr | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| RecOrE | Language.Rzk.Free.Syntax |
| RecOrF | Language.Rzk.Free.Syntax |
| RecOrT | Language.Rzk.Free.Syntax |
| recOrT | Rzk.TypeCheck |
| RecOrTE | Language.Rzk.Free.Syntax |
| Refl | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| ReflE | Language.Rzk.Free.Syntax |
| ReflF | Language.Rzk.Free.Syntax |
| ReflT | Language.Rzk.Free.Syntax |
| reflT | Rzk.TypeCheck |
| ReflTE | Language.Rzk.Free.Syntax |
| ReflTerm | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ReflTermType | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| refreshVar | Language.Rzk.Free.Syntax |
| render | Language.Rzk.Syntax.Print |
| RenderBackend | Rzk.TypeCheck |
| renderBackend | Rzk.TypeCheck |
| renderCube | Rzk.TypeCheck |
| renderForSubShapeSVG | Rzk.TypeCheck |
| renderForSVG | Rzk.TypeCheck |
| RenderLaTeX | Rzk.TypeCheck |
| RenderObjectData | |
| 1 (Type/Class) | Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck |
| renderObjectDataColor | Rzk.TypeCheck |
| renderObjectDataFullLabel | Rzk.TypeCheck |
| renderObjectDataLabel | Rzk.TypeCheck |
| renderObjectsFor | Rzk.TypeCheck |
| renderObjectsInSubShapeFor | Rzk.TypeCheck |
| RenderSVG | Rzk.TypeCheck |
| renderTermSVG | Rzk.TypeCheck |
| renderTermSVG' | Rzk.TypeCheck |
| renderTermSVGFor | Rzk.TypeCheck |
| replicateS | Language.Rzk.Syntax.Print |
| resolveLayout | Language.Rzk.Syntax.Layout |
| Restriction | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Type/Class) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Restriction' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| resWords | Language.Rzk.Syntax.Lex |
| rotateX | Rzk.TypeCheck |
| rotateY | Rzk.TypeCheck |
| rotateZ | Rzk.TypeCheck |
| Rzk1 | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |