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 |