Index - P
| parseFeatureSet | Wingman.FeatureSet |
| PatCompat | Wingman.GHC |
| PatCompattable | Wingman.GHC |
| patSynExTys | Wingman.CodeGen |
| patternHypothesis | Wingman.Judgements |
| PatternMatchPrv | Wingman.Types |
| PatVal | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| peek | Wingman.Machinery |
| Penalize | |
| 1 (Type/Class) | Wingman.Machinery |
| 2 (Data Constructor) | Wingman.Machinery |
| prettyFeatureSet | Wingman.FeatureSet |
| properties | Wingman.LanguageServer |
| provAncestryOf | Wingman.Judgements |
| Provenance | Wingman.Types |
| pv_ancestry | Wingman.Types |
| pv_datacon | Wingman.Types |
| pv_position | Wingman.Types |
| pv_scrutinee | Wingman.Types |