| PartiallySynchronisedCommit | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| PartiallySynchronisedModify | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| PartiallySynchronisedWrite | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| PartialStoreOrder | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| pBacktrack | Test.DejaFu.SCT |
| pBound | Test.DejaFu.SCT |
| peekTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| peekTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| PeekTicket | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| peekTicket | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| peekTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| PopCatching | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| Predicate | Test.DejaFu |
| preEmpCount | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| PreemptionBound | |
| 1 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
| propagate | Test.DejaFu.Deterministic.Internal.Threading |
| putIntoMVar | Test.DejaFu.Deterministic.Internal.Memory |
| putMVar | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| putTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| PutVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |