Index - P
| parseExpr | Inferno.Parse |
| parseType | Inferno.Parse |
| Pattern | Inferno.Infer.Exhaustiveness |
| PatternsMustBeEqType | Inferno.Infer |
| PatternUnificationFail | Inferno.Infer |
| pinExpr | Inferno.Infer.Pinned |
| PinnedModule | Inferno.Module |
| pinnedModuleHashToTy | Inferno.Module |
| pinnedModuleNameToHash | Inferno.Module |
| pinnedModuleTerms | Inferno.Module |
| pinnedTypes | Inferno.Infer.Env |
| preludeNameToTypeMap | Inferno.Module.Prelude |
| prettyError | Inferno.Parse.Error, Inferno.Parse |
| pureEval | Inferno.Eval |