Index - C
| cachedModuleChecked | Language.Rzk.VSCode.Env |
| cachedModuleDecls | Language.Rzk.VSCode.Env |
| cachedModuleErrors | Language.Rzk.VSCode.Env |
| CachedSaturation | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| cacheReferenceIndex | Language.Rzk.VSCode.Env |
| cacheTypecheckedModules | Language.Rzk.VSCode.Env |
| Camera | |
| 1 (Type/Class) | Rzk.Render.Geometry |
| 2 (Data Constructor) | Rzk.Render.Geometry |
| cameraAngleX | Rzk.Render.Geometry |
| cameraAngleY | Rzk.Render.Geometry |
| cameraAspectRatio | Rzk.Render.Geometry |
| cameraFoV | Rzk.Render.Geometry |
| cameraPos | Rzk.Render.Geometry |
| checkCoherence | Rzk.TypeCheck.Unify |
| checkCommands | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| checkDefined | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| checkDefinedVar | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| Checked | |
| 1 (Type/Class) | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| checkedErrors | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| checkedModules | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| checkedWarnings | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| checkEntails | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| checkHoleAgainstShape | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| CheckLog | |
| 1 (Type/Class) | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| checkLog | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| checkMatch | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| checkMatchArms | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| checkModule | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| checkModules | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| checkModuleWithLocation | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| checkNameShadowing | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| checkRecOrAgainst | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| checkTope | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| checkTopeAgainstContext | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| checkTopeEntails | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| checkTopLevelDuplicate | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| checkUnder | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| checkUnderWith | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| CheckWarning | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| checkWarningTag | Rzk.Diagnostic |
| classifySymbol | Language.Rzk.VSCode.Tokenize |
| classifyToken | Language.Rzk.VSCode.Tokenize |
| closedScope | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| coe | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| colFromUtf16 | Language.Rzk.VSCode.PositionEncoding |
| collectAppSpine | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| collectSectionDecls | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| collectVarIdents | Language.Rzk.Foil.Convert |
| colToUtf16 | Language.Rzk.VSCode.PositionEncoding |
| Column | Language.Rzk.Syntax.Layout |
| column | Language.Rzk.Syntax.Layout |
| Command | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Command' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandAssume | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandCheck | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandCompute | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandComputeNF | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandComputeWHNF | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandData | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandDataNoParams | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandDef | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandDefine | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandDefineNoParams | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandDefNoParams | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandPostulate | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandPostulateNoParams | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandSection | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandSectionEnd | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandSetOption | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| CommandUnsetOption | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandVariable | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| commandVariables | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Comp | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| comp | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| componentWiseEQT | Rzk.TypeCheck.Render |
| computeRules | Rzk.TypeCheck.Decl.Data |
| concatD | Language.Rzk.Syntax.Print |
| concatS | Language.Rzk.Syntax.Print |
| confirm | Language.Rzk.Syntax.Layout |
| ConSort | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| Constructor | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Type/Class) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Constructor' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| constructorNoParams | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ConstructorType | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ConstructorType' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| constScope | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| containsHole | Language.Rzk.Foil.Syntax |
| containsUniverse | Language.Rzk.Foil.Syntax |
| Context | |
| 1 (Type/Class) | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| 2 (Data Constructor) | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| contextEntails | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| contextEntailsBottom | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| contextEntailsUnion | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| Contravariant | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| Conversion | Rzk.TypeCheck.NbE |
| Convertible | Rzk.TypeCheck.NbE |
| countCommands | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| Covariance | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| Covariant | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| coverageHolds | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| ctxActionStack | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxActionStackDepth | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxBound | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxCovariance | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxCurrentCommand | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxDeferHoleMismatches | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxDiscreteTopes | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxHintLemmas | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxHolesAreErrors | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxLocation | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxMetaPrefixSensitivity | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxNamed | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxRenderBackend | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxRenderHideTerm | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxScope | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxSections | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxShadow | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxTopes | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxTopesEntailBottom | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxTopesNF | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxTopesNFUnion | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxTopesSaturated | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxVars | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxVerbosity | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| ctxWarnOverhang | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| Cube2 | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| Cube2F | Language.Rzk.Foil.Syntax |
| cube2powerT | Rzk.TypeCheck.Render |
| Cube2T | Language.Rzk.Foil.Syntax |
| cube2T | Language.Rzk.Foil.Syntax |
| Cube2_0 | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| Cube2_0F | Language.Rzk.Foil.Syntax |
| Cube2_0T | Language.Rzk.Foil.Syntax |
| cube2_0T | Language.Rzk.Foil.Syntax |
| Cube2_1 | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| Cube2_1F | Language.Rzk.Foil.Syntax |
| Cube2_1T | Language.Rzk.Foil.Syntax |
| cube2_1T | Language.Rzk.Foil.Syntax |
| CubeCoords2D | |
| 1 (Type/Class) | Rzk.Render.Geometry |
| 2 (Data Constructor) | Rzk.Render.Geometry |
| CubeFlip | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| CubeFlipF | Language.Rzk.Foil.Syntax |
| CubeFlipT | Language.Rzk.Foil.Syntax |
| cubeFlipT | Language.Rzk.Foil.Syntax |
| CubeI | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| CubeIF | Language.Rzk.Foil.Syntax |
| CubeInf | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| CubeInfF | Language.Rzk.Foil.Syntax |
| CubeInfT | Language.Rzk.Foil.Syntax |
| cubeInfT | Language.Rzk.Foil.Syntax |
| CubeIT | Language.Rzk.Foil.Syntax |
| cubeIT | Language.Rzk.Foil.Syntax |
| CubeI_0 | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| CubeI_0F | Language.Rzk.Foil.Syntax |
| CubeI_0T | Language.Rzk.Foil.Syntax |
| cubeI_0T | Language.Rzk.Foil.Syntax |
| CubeI_1 | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| CubeI_1F | Language.Rzk.Foil.Syntax |
| CubeI_1T | Language.Rzk.Foil.Syntax |
| cubeI_1T | Language.Rzk.Foil.Syntax |
| CubeProduct | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| CubeProductF | Language.Rzk.Foil.Syntax |
| CubeProductT | Language.Rzk.Foil.Syntax |
| cubeProductT | Language.Rzk.Foil.Syntax |
| CubeSup | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| CubeSupF | Language.Rzk.Foil.Syntax |
| CubeSupT | Language.Rzk.Foil.Syntax |
| cubeSupT | Language.Rzk.Foil.Syntax |
| cubeT | Language.Rzk.Foil.Syntax |
| CubeUnflip | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| CubeUnflipF | Language.Rzk.Foil.Syntax |
| CubeUnflipT | Language.Rzk.Foil.Syntax |
| cubeUnflipT | Language.Rzk.Foil.Syntax |
| CubeUnit | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| CubeUnitF | Language.Rzk.Foil.Syntax |
| CubeUnitStar | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| CubeUnitStarF | Language.Rzk.Foil.Syntax |
| CubeUnitStarT | Language.Rzk.Foil.Syntax |
| cubeUnitStarT | Language.Rzk.Foil.Syntax |
| CubeUnitT | Language.Rzk.Foil.Syntax |
| cubeUnitT | Language.Rzk.Foil.Syntax |