| Pair | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Foil.Syntax |
| pairEtaCollapse | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| PairF | Language.Rzk.Foil.Syntax |
| PairT | Language.Rzk.Foil.Syntax |
| pairT | Language.Rzk.Foil.Syntax |
| panicImpossible | Rzk.TypeCheck.Display, Rzk.TypeCheck |
| Param | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Param' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ParamDecl | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ParamDecl' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ParamPattern | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ParamPatternModalShape | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ParamPatternModalType | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ParamPatternShape | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ParamPatternType | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ParamTermModalShape | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ParamTermModalType | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ParamTermShape | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ParamTermType | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| paramToParamDecl | Rzk.TypeCheck.Decl, Rzk.TypeCheck |
| ParamType | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| parenClose | Language.Rzk.Syntax.Layout |
| parenOpen | Language.Rzk.Syntax.Layout |
| parenth | Language.Rzk.Syntax.Print |
| ParsedFromBuffer | Language.Rzk.VSCode.Env |
| ParsedFromDisk | Language.Rzk.VSCode.Env |
| ParsedModule | |
| 1 (Type/Class) | Language.Rzk.VSCode.Env |
| 2 (Data Constructor) | Language.Rzk.VSCode.Env |
| parsedModule | Language.Rzk.VSCode.Env |
| parsedSource | Language.Rzk.VSCode.Env |
| ParseInvalidated | Language.Rzk.VSCode.Env |
| parseModule | Language.Rzk.Syntax |
| parseModuleFile | Language.Rzk.Syntax |
| parseModuleRzk | Language.Rzk.Syntax |
| parseModuleSafe | Language.Rzk.Syntax |
| parseRzkFilesOrStdin | Rzk.Main |
| parsesBackTo | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| ParseSource | Language.Rzk.VSCode.Env |
| parseStdin | Rzk.Main |
| parseTerm | Language.Rzk.Syntax |
| partitionAccessible | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| PathCon | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| Pattern | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| Pattern' | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| PatternPair | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| patternToTerm | Language.Rzk.Foil.Names |
| PatternTuple | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| PatternUnit | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| PatternVar | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| pBind | Language.Rzk.Syntax.Par |
| pCommand | Language.Rzk.Syntax.Par |
| pConstructor | Language.Rzk.Syntax.Par |
| pConstructorType | Language.Rzk.Syntax.Par |
| pDataBody | Language.Rzk.Syntax.Par |
| pDataElim | Language.Rzk.Syntax.Par |
| pDataSort | Language.Rzk.Syntax.Par |
| pDeclUsedVars | Language.Rzk.Syntax.Par |
| peelLambdas | Rzk.TypeCheck.Eval, Rzk.TypeCheck |
| performing | Rzk.TypeCheck.Monad, Rzk.TypeCheck |
| PFst | Language.Rzk.Foil.Names |
| pHoleIdent | Language.Rzk.Syntax.Par |
| plainTope | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| pLanguage | Language.Rzk.Syntax.Par |
| pLanguageDecl | Language.Rzk.Syntax.Par |
| pListCommand | Language.Rzk.Syntax.Par |
| pListConstructor | Language.Rzk.Syntax.Par |
| pListDataElim | Language.Rzk.Syntax.Par |
| pListMatchBranch | Language.Rzk.Syntax.Par |
| pListParam | Language.Rzk.Syntax.Par |
| pListPattern | Language.Rzk.Syntax.Par |
| pListPattern1 | Language.Rzk.Syntax.Par |
| pListRestriction | Language.Rzk.Syntax.Par |
| pListSigmaParam | Language.Rzk.Syntax.Par |
| pListTerm | Language.Rzk.Syntax.Par |
| pListVarIdent | Language.Rzk.Syntax.Par |
| pMatchBranch | Language.Rzk.Syntax.Par |
| pModalColon | Language.Rzk.Syntax.Par |
| pModality | Language.Rzk.Syntax.Par |
| pModComp | Language.Rzk.Syntax.Par |
| pModule | Language.Rzk.Syntax.Par |
| Pn | Language.Rzk.Syntax.Lex |
| Point2D | Rzk.Render.Geometry |
| Point3D | Rzk.Render.Geometry |
| point3Dto2D | Rzk.Render.Geometry |
| PointCon | Rzk.TypeCheck.Context, Rzk.TypeCheck |
| PointId | Rzk.Render.Geometry |
| Position | |
| 1 (Type/Class) | Language.Rzk.Syntax.Layout |
| 2 (Type/Class) | Language.Rzk.VSCode.ReferenceIndex |
| 3 (Data Constructor) | Language.Rzk.VSCode.ReferenceIndex |
| positionCharacter | Language.Rzk.VSCode.ReferenceIndex |
| positionFromUtf16 | Language.Rzk.VSCode.PositionEncoding |
| positionLine | Language.Rzk.VSCode.ReferenceIndex |
| positionOfTerm | Language.Rzk.Foil.Syntax |
| positionTable | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| posLineCol | Language.Rzk.Syntax.Lex |
| Posn | Language.Rzk.Syntax.Lex |
| ppAction | Rzk.TypeCheck.Error, Rzk.TypeCheck |
| pParam | Language.Rzk.Syntax.Par |
| pParamDecl | Language.Rzk.Syntax.Par |
| pPattern | Language.Rzk.Syntax.Par |
| pPattern1 | Language.Rzk.Syntax.Par |
| ppCheckWarning | Rzk.Diagnostic |
| ppContext | Rzk.TypeCheck.Error, Rzk.TypeCheck |
| ppHoleInfo | Rzk.Diagnostic |
| ppInContext | Rzk.TypeCheck.Render |
| ppLocationInfo | Rzk.Diagnostic |
| ppModality | Rzk.TypeCheck.Error, Rzk.TypeCheck |
| ppName | Rzk.TypeCheck.Display, Rzk.TypeCheck |
| ppRzkPosition | Language.Rzk.Foil.Names |
| ppTerm | Rzk.TypeCheck.Display, Rzk.TypeCheck |
| ppTermT | Rzk.TypeCheck.Display, Rzk.TypeCheck |
| ppTypeError | Rzk.TypeCheck.Error, Rzk.TypeCheck |
| ppTypeErrorInScopedContext | Rzk.TypeCheck.Error, Rzk.TypeCheck |
| ppVarIdentWithLocation | Language.Rzk.Foil.Names |
| ppVersionInfo | Rzk.Version |
| prefixedIdent | Rzk.TypeCheck.Decl.Data |
| pRestriction | Language.Rzk.Syntax.Par |
| Print | Language.Rzk.Syntax.Print, Language.Rzk.Syntax |
| printPosn | Language.Rzk.Syntax.Lex |
| printString | Language.Rzk.Syntax.Print |
| printTree | |
| 1 (Function) | Language.Rzk.Syntax.Print |
| 2 (Function) | Language.Rzk.Syntax |
| Proj | Language.Rzk.Foil.Names |
| project2D | Rzk.Render.Geometry |
| ProjectConfig | |
| 1 (Type/Class) | Rzk.Project.Config |
| 2 (Data Constructor) | Rzk.Project.Config |
| provideCompletions | Language.Rzk.VSCode.Handlers |
| provideHover | Language.Rzk.VSCode.Handlers |
| provideSemanticTokens | Language.Rzk.VSCode.Handlers |
| provideSymbols | Language.Rzk.VSCode.Handlers |
| provideWorkspaceSymbols | Language.Rzk.VSCode.Handlers |
| prPrec | Language.Rzk.Syntax.Print |
| prt | Language.Rzk.Syntax.Print, Language.Rzk.Syntax |
| prToken | Language.Rzk.Syntax.Lex |
| pruneVacuousFaces | Rzk.TypeCheck.Judgements, Rzk.TypeCheck |
| pSectionName | Language.Rzk.Syntax.Par |
| pSigmaParam | Language.Rzk.Syntax.Par |
| PSnd | Language.Rzk.Foil.Names |
| PT | Language.Rzk.Syntax.Lex |
| pTerm | Language.Rzk.Syntax.Par |
| pTerm1 | Language.Rzk.Syntax.Par |
| pTerm2 | Language.Rzk.Syntax.Par |
| pTerm3 | Language.Rzk.Syntax.Par |
| pTerm4 | Language.Rzk.Syntax.Par |
| pTerm5 | Language.Rzk.Syntax.Par |
| pTerm6 | Language.Rzk.Syntax.Par |
| pTerm7 | Language.Rzk.Syntax.Par |
| pVarIdent | Language.Rzk.Syntax.Par |