Index - P
| P | Predicate |
| PA | Predicate |
| Pad | Predicate |
| PadL | Predicate |
| PadR | Predicate |
| Pairs | Predicate |
| Para | Predicate |
| ParaImpl | Predicate |
| ParaImplN | Predicate |
| ParaImplW | Predicate |
| ParaLax | Predicate |
| ParaLaxN | Predicate |
| ParaN | Predicate |
| ParseTimeP | Predicate |
| ParseTimeP' | Predicate |
| ParseTimes | Predicate |
| ParseTimes' | Predicate |
| Partition | Predicate |
| PartitionEithers | Predicate |
| PartitionThese | Predicate |
| partitionTTExtended | UtilP |
| partitionTTs | UtilP |
| pBool | UtilP |
| PColor | |
| 1 (Type/Class) | UtilP |
| 2 (Data Constructor) | UtilP |
| PE | |
| 1 (Type/Class) | UtilP |
| 2 (Data Constructor) | UtilP |
| pe | Predicate |
| pe0 | Predicate |
| pe1 | Predicate |
| pe2 | Predicate |
| pe3 | Predicate |
| peWith | Predicate |
| pex | Predicate |
| pl | Predicate |
| plc | Predicate |
| PMEmpty | Predicate |
| POpts | |
| 1 (Type/Class) | UtilP |
| 2 (Data Constructor) | UtilP |
| Positive | Predicate |
| PP | Predicate |
| Pred | Predicate |
| PredB | Predicate |
| PredB' | Predicate |
| prefixMsg | UtilP |
| PresentP | UtilP |
| PresentT | UtilP |
| prettyOrd | UtilP |
| prettyRational | UtilP |
| 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 |
| prtRefinedIO | Refined |
| prtRefinedT | Refined |
| prtRefinedTIO | Refined |
| prtTree | UtilP |
| prtTreePure | UtilP |
| prtTT | UtilP |
| prtTT' | UtilP |
| prtTTIO | UtilP |
| pStrings | UtilP |
| pu | Predicate |
| Pure | Predicate |
| Pure2 | Predicate |