Index - P
| PartiallySynchronisedCommit | Test.DejaFu.Common |
| PartiallySynchronisedModify | Test.DejaFu.Common |
| PartiallySynchronisedWrite | Test.DejaFu.Common |
| PartialStoreOrder | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
| pBacktrack | Test.DejaFu.SCT |
| pBound | Test.DejaFu.SCT |
| PopCatching | Test.DejaFu.Common, Test.DejaFu.Conc |
| Predicate | Test.DejaFu |
| preEmpCount | Test.DejaFu.Common |
| PreemptionBound | |
| 1 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
| propagate | Test.DejaFu.Conc.Internal.Threading |
| putIntoMVar | Test.DejaFu.Conc.Internal.Memory |
| PutVar | Test.DejaFu.Common, Test.DejaFu.Conc |