Index - P
| PartiallySynchronisedCommit | Test.DejaFu.Internal |
| PartiallySynchronisedModify | Test.DejaFu.Internal |
| PartiallySynchronisedWrite | Test.DejaFu.Internal |
| PartialStoreOrder | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu |
| pdiscard | Test.DejaFu |
| permuteBy | Test.DejaFu.SCT.Internal |
| peval | Test.DejaFu |
| PopCatching | Test.DejaFu.Types, Test.DejaFu.Conc |
| Predicate | Test.DejaFu |
| PreemptionBound | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| Program | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu |
| propagate | Test.DejaFu.Conc.Internal.Threading |
| ProPredicate | |
| 1 (Type/Class) | Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu |
| pullBack | Test.DejaFu.SCT.Internal |
| pushForward | Test.DejaFu.SCT.Internal |
| putIntoMVar | Test.DejaFu.Conc.Internal.Memory |
| PutMVar | Test.DejaFu.Types, Test.DejaFu.Conc |