| Pair | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| PairE | Language.Rzk.Free.Syntax |
| PairF | Language.Rzk.Free.Syntax |
| PairT | Language.Rzk.Free.Syntax |
| pairT | Rzk.TypeCheck |
| PairTE | Language.Rzk.Free.Syntax |
| panicImpossible | 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 |
| ParamPatternShapeDeprecated | 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 |
| ParamTermTypeDeprecated | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| paramToParamDecl | Rzk.TypeCheck |
| ParamType | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| ParamVarShapeDeprecated | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| paramVarShapeDeprecated | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| parenClose | Language.Rzk.Syntax.Layout |
| parenOpen | Language.Rzk.Syntax.Layout |
| parenth | Language.Rzk.Syntax.Print |
| parseModule | Language.Rzk.Syntax |
| parseModuleFile | Language.Rzk.Syntax |
| parseModuleRzk | Language.Rzk.Syntax |
| parseModuleSafe | Language.Rzk.Syntax |
| parseRzkFilesOrStdin | Rzk.Main |
| parseStdin | Rzk.Main |
| parseTerm | Language.Rzk.Syntax |
| partialFreeVarsT | Language.Rzk.Free.Syntax |
| partitionAccessible | 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.Free.Syntax |
| 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 |
| pDeclUsedVars | Language.Rzk.Syntax.Par |
| performing | Rzk.TypeCheck |
| PFst | Language.Rzk.Free.Syntax |
| pHoleIdent | Language.Rzk.Syntax.Par |
| plainTope | Rzk.TypeCheck |
| PlainTypeError | Rzk.TypeCheck |
| pLanguage | Language.Rzk.Syntax.Par |
| pLanguageDecl | Language.Rzk.Syntax.Par |
| pListCommand | 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 |
| 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.TypeCheck |
| Point3D | Rzk.TypeCheck |
| point3Dto2D | Rzk.TypeCheck |
| PointId | Rzk.TypeCheck |
| Position | Language.Rzk.Syntax.Layout |
| posLineCol | Language.Rzk.Syntax.Lex |
| Posn | Language.Rzk.Syntax.Lex |
| ppAction | Rzk.TypeCheck |
| pParam | Language.Rzk.Syntax.Par |
| pParamDecl | Language.Rzk.Syntax.Par |
| pPattern | Language.Rzk.Syntax.Par |
| pPattern1 | Language.Rzk.Syntax.Par |
| ppContext' | Rzk.TypeCheck |
| ppFoldT | Rzk.TypeCheck |
| ppFoldU | Rzk.TypeCheck |
| ppHoleInfo | Rzk.Diagnostic |
| ppLocationInfo | Rzk.Diagnostic |
| ppModality | Rzk.TypeCheck |
| ppRzkPosition | Language.Rzk.Free.Syntax |
| ppSomeAction | Rzk.TypeCheck |
| ppTermInContext | Rzk.TypeCheck |
| ppTypeError' | Rzk.TypeCheck |
| ppTypeErrorInContext | Rzk.TypeCheck |
| ppTypeErrorInScopedContext' | Rzk.TypeCheck |
| ppTypeErrorInScopedContextWith' | Rzk.TypeCheck |
| ppVarIdentWithLocation | Language.Rzk.Free.Syntax |
| 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.Free.Syntax |
| projChain | Language.Rzk.Free.Syntax |
| projChainT | Language.Rzk.Free.Syntax |
| project2D | Rzk.TypeCheck |
| ProjectConfig | |
| 1 (Type/Class) | Rzk.Project.Config |
| 2 (Data Constructor) | Rzk.Project.Config |
| provideCompletions | Language.Rzk.VSCode.Handlers |
| provideSemanticTokens | 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 |
| pSectionName | Language.Rzk.Syntax.Par |
| pSigmaParam | Language.Rzk.Syntax.Par |
| PSnd | Language.Rzk.Free.Syntax |
| 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 |
| Pure | Free.Scoped |
| pVarIdent | Language.Rzk.Syntax.Par |