Index - P
| PAIR | CST |
| parking | Morph |
| parseAlpha | Parser |
| parseAttribute | Parser |
| parseAttributeThrows | Parser |
| parseBinding | Parser |
| parseBytes | Parser |
| parseCondition | |
| 1 (Function) | Yaml |
| 2 (Function) | Condition |
| parseConditionThrows | Condition |
| parseExpression | Parser |
| parseExpression' | Parser |
| parseExpressionThrows | Parser |
| parseExpressionThrows' | Parser |
| parseIndex | Parser |
| parseInput | CLI.Helpers |
| parseInputWithAtoms | CLI.Helpers |
| parseIOFormat | CLI.Parsers |
| parseJSON' | Yaml |
| parseLabel | Yaml |
| parseNumber | Parser |
| parseNumberThrows | Parser |
| ParserException | Parser |
| parserInfo | CLI.Parsers |
| parseXMIR | XMIR |
| parseXMIRThrows | XMIR |
| PartOf | Yaml |
| PathIsDirectory | Files |
| pathOf | Builder |
| PA_ALPHA | CST |
| PA_DELTA | CST |
| PA_DELTA' | CST |
| PA_FOLDED | CST |
| PA_FORMATION | CST |
| PA_LAMBDA | CST |
| PA_LAMBDA' | CST |
| PA_META_DELTA | CST |
| PA_META_DELTA' | CST |
| PA_META_LAMBDA | CST |
| PA_META_LAMBDA' | CST |
| PA_TAU | CST |
| PA_VOID | CST |
| perSecond | Deps |
| PHI | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| 3 (Data Constructor) | CLI.Types |
| PhiParser | |
| 1 (Type/Class) | Parser |
| 2 (Data Constructor) | Parser |
| phiParser | Parser |
| Pin | CLI.Types |
| PinFile | CLI.Types |
| pinned | Matcher |
| PinVersion | CLI.Types |
| Plausible | Deps |
| POLYFORM | Parser |
| Premise | |
| 1 (Type/Class) | Yaml |
| 2 (Data Constructor) | Yaml |
| premiseOperation | Yaml |
| premiseResult | Yaml |
| Premises | Inference |
| presentIn | Rule |
| printAlpha | Printer |
| printAnswer | CLI.Helpers |
| printAttribute | Printer |
| printBinding | Printer |
| printBytes | Printer |
| PrintConfig | Printer |
| PrintContext | CLI.Types |
| PrintCtx | CLI.Types |
| printCtxToLatexCtx | CLI.Helpers |
| printExpression | |
| 1 (Function) | Printer |
| 2 (Function) | CLI.Helpers |
| printExpression' | Printer |
| printExpressionHidingRho' | Printer |
| printExpressionWith | Printer |
| printExtraArg | Printer |
| printFocused | CLI.Helpers |
| printFunction | Printer |
| printInFormat | CLI.Helpers |
| printOut | CLI.Helpers |
| printPhi | CLI.Helpers |
| printRewrittens | CLI.Helpers |
| printSubsts | Printer |
| printSubsts' | Printer |
| printXMIR | XMIR |
| Progress | |
| 1 (Type/Class) | Deps |
| 2 (Data Constructor) | Deps |
| progressed | Deps |
| Protocol | |
| 1 (Type/Class) | Deps |
| 2 (Data Constructor) | Deps |
| Proven | Deps |