Index - P
| P | PredicateCore, Predicate |
| PA | Predicate |
| Pad | Predicate |
| PadL | Predicate |
| PadR | Predicate |
| Pairs | Predicate |
| Para | Predicate |
| ParaImpl | Predicate |
| ParaImplW | Predicate |
| ParaLax | Predicate |
| ParaN | Predicate |
| ParaNImpl | Predicate |
| ParaNLax | Predicate |
| ParseTimeP | Predicate |
| ParseTimeP' | Predicate |
| ParseTimes | Predicate |
| ParseTimes' | Predicate |
| Partition | Predicate |
| PartitionEithers | Predicate |
| PartitionThese | Predicate |
| partitionTTExtended | UtilP, Predicate |
| partitionTTs | UtilP, Predicate |
| pBool | UtilP, Predicate |
| PColor | |
| 1 (Type/Class) | UtilP, Predicate |
| 2 (Data Constructor) | UtilP, Predicate |
| PE | |
| 1 (Type/Class) | UtilP, Predicate |
| 2 (Data Constructor) | UtilP, Predicate |
| pe | PredicateCore, Predicate |
| pe2 | PredicateCore, Predicate |
| pe2n | PredicateCore, Predicate |
| pe3 | PredicateCore, Predicate |
| peWith | PredicateCore, Predicate |
| pl | PredicateCore, Predicate |
| plc | PredicateCore, Predicate |
| PMEmpty | Predicate |
| POpts | |
| 1 (Type/Class) | UtilP, Predicate |
| 2 (Data Constructor) | UtilP, Predicate |
| Positive | Predicate |
| PP | PredicateCore, Predicate |
| Pred | Predicate |
| PredB | Predicate |
| PredB' | Predicate |
| prefixMsg | UtilP, Predicate |
| PresentP | UtilP, Predicate |
| PresentT | UtilP, Predicate |
| prettyOrd | UtilP, Predicate |
| prettyRational | UtilP, Predicate |
| Prime | Predicate |
| PrintC | Predicate |
| Printf | Predicate |
| Printf2 | Predicate |
| Printf3 | Predicate |
| Printf3' | Predicate |
| Printfn | Predicate |
| Printfnt | Predicate |
| PrintfntLax | Predicate |
| ProxyT | Predicate |
| ProxyT' | Predicate |
| prt3 | Refined3 |
| prt3Impl | Refined3 |
| prt3IO | Refined3 |
| prtC | Predicate |
| prtEval3 | Refined3 |
| prtEval3P | Refined3 |
| prtEval3PIO | Refined3 |
| prtImpl | UtilP, Predicate |
| prtRefinedIO | Refined |
| prtRefinedT | Refined |
| prtRefinedTIO | Refined |
| prtTree | UtilP, Predicate |
| prtTreePure | UtilP, Predicate |
| prtTT | UtilP, Predicate |
| prtTT' | UtilP, Predicate |
| prtTTIO | UtilP, Predicate |
| pStrings | UtilP, Predicate |
| pu | PredicateCore, Predicate |
| pun | PredicateCore, Predicate |
| Pure | Predicate |
| Pure2 | Predicate |