| 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, Test.HUnit.DejaFu, Test.Tasty.DejaFu |
| pdiscard | Test.DejaFu, Test.HUnit.DejaFu, Test.Tasty.DejaFu |
| 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 | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| peekTicket' | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| peekTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| permuteBy | Test.DejaFu.SCT.Internal |
| peval | Test.DejaFu, Test.HUnit.DejaFu, Test.Tasty.DejaFu |
| poll | Control.Concurrent.Classy.Async |
| pollSTM | Control.Concurrent.Classy.Async |
| PopCatching | Test.DejaFu.Types, Test.DejaFu.Conc |
| Predicate | Test.DejaFu, Test.HUnit.DejaFu, Test.Tasty.DejaFu |
| PreemptionBound | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu, Test.HUnit.DejaFu, Test.Tasty.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu, Test.HUnit.DejaFu, Test.Tasty.DejaFu |
| Program | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu, Test.HUnit.DejaFu, Test.Tasty.DejaFu |
| propagate | Test.DejaFu.Conc.Internal.Threading |
| ProPredicate | |
| 1 (Type/Class) | Test.DejaFu, Test.HUnit.DejaFu, Test.Tasty.DejaFu |
| 2 (Data Constructor) | Test.DejaFu, Test.HUnit.DejaFu, Test.Tasty.DejaFu |
| pullBack | Test.DejaFu.SCT.Internal |
| pushForward | Test.DejaFu.SCT.Internal |
| putIntoMVar | Test.DejaFu.Conc.Internal.Memory |
| PutMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| 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 |