dejafu-0.3.1.1: Overloadable primitives for testable, potentially non-deterministic, concurrency. (Index - P)

dejafu-0.3.1.1: Overloadable primitives for testable, potentially non-deterministic, concurrency.

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
W
Y
:
~
_
All

Index - P

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