| Range | |
| 1 (Type/Class) | Language.Rzk.VSCode.ReferenceIndex |
| 2 (Data Constructor) | Language.Rzk.VSCode.ReferenceIndex |
| rangeEnd | Language.Rzk.VSCode.ReferenceIndex |
| rangeStart | Language.Rzk.VSCode.ReferenceIndex |
| rangeToUtf16 | Language.Rzk.VSCode.PositionEncoding |
| RecBottom | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| recBottomCandidates | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| RecBottomF | Language.Rzk.Foil.Syntax |
| RecBottomT | Language.Rzk.Foil.Syntax |
| recBottomT | Language.Rzk.Foil.Syntax |
| recheckFrom | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| RecOr | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| recOrCandidates | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| recordCheckWarning | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| recordHole | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| recordHoleInfo | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| recordHoleShape | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| recordInSection | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| recordMetaPrefixUses | Rzk.TypeCheck.MetaPrefix |
| RecOrF | Language.Rzk.Foil.Syntax |
| RecOrT | Language.Rzk.Foil.Syntax |
| recOrT | Language.Rzk.Foil.Syntax |
| recPositionsOf | Rzk.TypeCheck.Decl.Data |
| recTypeTerm | Rzk.TypeCheck.Decl.Data |
| ReferenceIndex | |
| 1 (Type/Class) | Language.Rzk.VSCode.ReferenceIndex |
| 2 (Data Constructor) | Language.Rzk.VSCode.ReferenceIndex |
| ReferenceIndexCache | |
| 1 (Type/Class) | Language.Rzk.VSCode.Env |
| 2 (Data Constructor) | Language.Rzk.VSCode.Env |
| Refl | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| ReflF | Language.Rzk.Foil.Syntax |
| ReflT | Language.Rzk.Foil.Syntax |
| reflT | Language.Rzk.Foil.Syntax |
| ReflTerm | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ReflTermType | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| refreshVar | Language.Rzk.Foil.Names |
| refreshVarIn | Language.Rzk.Foil.Names |
| render | Language.Rzk.Syntax.Print |
| renderApplied | Rzk.TypeCheck.Render |
| RenderBackend | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| renderCube | Rzk.Render.Geometry |
| Rendered | |
| 1 (Type/Class) | Rzk.TypeCheck.Display, Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck.Display, Rzk.TypeCheck |
| renderForSubShapeSVG | Rzk.TypeCheck.Render |
| renderForSVG | Rzk.TypeCheck.Render |
| renderGoalCellSVG | Rzk.TypeCheck.Render |
| renderHere | Rzk.TypeCheck.BinderTypes, Rzk.TypeCheck |
| RenderLaTeX | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| RenderObjectData | |
| 1 (Type/Class) | Rzk.Render.Geometry |
| 2 (Data Constructor) | Rzk.Render.Geometry |
| renderObjectDataColor | Rzk.Render.Geometry |
| renderObjectDataFullLabel | Rzk.Render.Geometry |
| renderObjectDataLabel | Rzk.Render.Geometry |
| renderObjectsFor | Rzk.TypeCheck.Render |
| renderObjectsInSubShapeFor | Rzk.TypeCheck.Render |
| RenderSVG | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| renderTerm | Rzk.TypeCheck.Display, Rzk.TypeCheck |
| renderTermSVG | Rzk.TypeCheck.Render |
| renderTermSVG' | Rzk.TypeCheck.Render |
| renderTermSVGFor | Rzk.TypeCheck.Render |
| replicateS | Language.Rzk.Syntax.Print |
| resetCacheForAllFiles | Language.Rzk.VSCode.Env |
| resetCacheForFiles | Language.Rzk.VSCode.Env |
| resolveLayout | |
| 1 (Function) | Language.Rzk.Syntax.Layout |
| 2 (Function) | Language.Rzk.Syntax |
| 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.Render.Geometry |
| rotateY | Rzk.Render.Geometry |
| rotateZ | Rzk.Render.Geometry |
| runLsp | Language.Rzk.VSCode.Lsp |
| runTypeCheck | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| runTypeCheckIn | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| runTypeCheckWith | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| Rzk1 | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| RzkCachedModule | |
| 1 (Type/Class) | Language.Rzk.VSCode.Env |
| 2 (Data Constructor) | Language.Rzk.VSCode.Env |
| RzkEnv | |
| 1 (Type/Class) | Language.Rzk.VSCode.Env |
| 2 (Data Constructor) | Language.Rzk.VSCode.Env |
| rzkEnvReferenceIndexCache | Language.Rzk.VSCode.Env |
| rzkEnvTypecheckCache | Language.Rzk.VSCode.Env |
| rzkEnvTypecheckWorker | Language.Rzk.VSCode.Env |
| rzkFilePath | Language.Rzk.Foil.Names |
| rzkLineCol | Language.Rzk.Foil.Names |
| RzkPosition | |
| 1 (Type/Class) | Language.Rzk.Foil.Names |
| 2 (Data Constructor) | Language.Rzk.Foil.Names |
| RzkTypecheckCache | Language.Rzk.VSCode.Env |