Index - P
| Pair | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| PairP | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| Param | Polarity |
| paramDec | Abstract |
| ParamPats | Abstract |
| parens | |
| 1 (Function) | Util |
| 2 (Function) | PrettyTCM |
| parensIf | Util |
| parent | TreeShapedOrder |
| parents | TreeShapedOrder |
| parse | Parser |
| parseOptions | Options |
| ParSubst | Abstract |
| parSubst | Abstract |
| Pat | |
| 1 (Type/Class) | Abstract |
| 2 (Type/Class) | HsSyntax |
| patApp | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| pathesToForest | TreeShapedOrder |
| PatSig | TCM |
| patSubst | Abstract |
| Pattern | |
| 1 (Data Constructor) | Lexer |
| 2 (Type/Class) | Abstract |
| 3 (Type/Class) | Concrete |
| PatternDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| PatternInfo | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| PatternsType | Abstract |
| patternToExpr | Abstract |
| patternVars | Abstract |
| patVars | TCM |
| Pi | Abstract |
| pi | Abstract |
| piApp | Eval |
| piApps | Eval |
| piSig | Abstract |
| PiSigma | Abstract |
| Plus | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| PlusPlus | Lexer |
| plusSize | Value |
| plusSizes | Value |
| Pol | Polarity |
| polAnd | Polarity |
| Polarity | Polarity |
| polarity | Abstract |
| polComp | Polarity |
| polNeg | Polarity |
| polProd | Polarity |
| polProduct | Polarity |
| polSum | Polarity |
| POne | Polarity |
| Pos | Polarity |
| PosConstrnt | TCM |
| positivity | TCM |
| PositivityGraph | TCM |
| positivityGraph | TCM |
| Post | Abstract |
| ppHsMode | MainLib |
| PPoly | |
| 1 (Type/Class) | Polarity |
| 2 (Data Constructor) | Polarity |
| ppoly | Polarity |
| PProd | |
| 1 (Type/Class) | Polarity |
| 2 (Data Constructor) | Polarity |
| pprod | Polarity |
| PrClose | Lexer |
| Pre | Abstract |
| precAppL | Abstract |
| precAppR | Abstract |
| precArrL | Abstract |
| preciseKind | Abstract |
| predClass | Abstract |
| predecessor | Abstract |
| predKind | Abstract |
| predSize | Value |
| predSort | Abstract |
| PrePost | Abstract |
| Pretty | Util |
| pretty | |
| 1 (Function) | Util |
| 2 (Function) | PrettyTCM |
| prettyCase | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| prettyCast | Abstract |
| prettyClause | Abstract |
| prettyDecId | Concrete |
| prettyDecl | Concrete |
| prettyErased | Abstract |
| prettyExpr | Concrete |
| prettyExprs | Concrete |
| prettyFun | Abstract |
| prettyKind | Abstract |
| prettyLBind | Concrete |
| prettyLetAssign | Concrete |
| prettyLetBody | Concrete |
| prettyLetDef | Concrete |
| prettyList | PrettyTCM |
| prettyMaybeType | Concrete |
| prettyPattern | Concrete |
| prettyPrec | Util |
| prettyRecFields | Abstract |
| prettyRecordLine | Concrete |
| prettyTBind | Concrete |
| PrettyTCM | PrettyTCM |
| prettyTCM | PrettyTCM |
| prettyTel | Concrete |
| prettyTok | Lexer |
| printHsDecls | MainLib |
| Prod | Extract |
| prod | Value |
| ProdView | Extract |
| prodView | Extract |
| Progress | Termination |
| progress | Termination |
| progressCC | Termination |
| ProgressH | Termination |
| Proj | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| proj | Abstract |
| projectType | Eval |
| ProjP | Abstract |
| promote | Polarity |
| PrOpen | Lexer |
| ptsRule | TypeChecker |
| PTwo | Polarity |
| punctuate | PrettyTCM |
| Push | Util |
| push | Util |
| PVar | Polarity |
| PVarId | Polarity |
| pwords | |
| 1 (Function) | Util |
| 2 (Function) | PrettyTCM |