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

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 - S

SCatch	Test.DejaFu.STM.Internal
Scheduler	Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic
sctBound	Test.DejaFu.SCT
sctBounded	Test.DejaFu.SCT
sctBoundedIO	Test.DejaFu.SCT
sctBoundIO	Test.DejaFu.SCT
sctFairBound	Test.DejaFu.SCT
sctFairBoundIO	Test.DejaFu.SCT
sctLengthBound	Test.DejaFu.SCT
sctLengthBoundIO	Test.DejaFu.SCT
sctPreBound	Test.DejaFu.SCT
sctPreBoundIO	Test.DejaFu.SCT
seeMVar	Test.DejaFu.Deterministic.Internal.Memory
SequentialConsistency	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu
SetMasking	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic
SetNumCapabilities	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic
setNumCapabilities	Control.Monad.Conc.Class, Control.Concurrent.Classy
showFail	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic
showTrace	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic
signalQSem	Control.Concurrent.Classy.QSem, Control.Concurrent.Classy
signalQSemN	Control.Concurrent.Classy.QSemN, Control.Concurrent.Classy
simplify	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal
simplify'	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal
SLift	Test.DejaFu.STM.Internal
SNew	Test.DejaFu.STM.Internal
somewhereTrue	Test.DejaFu
SOrElse	Test.DejaFu.STM.Internal
spawn	Control.Monad.Conc.Class, Control.Concurrent.Classy
SRead	Test.DejaFu.STM.Internal
SRetry	Test.DejaFu.STM.Internal
SStop	Test.DejaFu.STM.Internal
Start	Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic
stepTrans	Test.DejaFu.STM.Internal
SThrow	Test.DejaFu.STM.Internal
STM
1 (Data Constructor)	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic
2 (Type/Class)	Control.Monad.Conc.Class, Control.Concurrent.Classy
STMAction	Test.DejaFu.STM.Internal
STMDeadlock	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu
STMIO	Test.DejaFu.STM
STMLike	Test.DejaFu.STM
STMST	Test.DejaFu.STM
Stop	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic
Success	Test.DejaFu.STM.Internal, Test.DejaFu.STM
swapMVar	Control.Concurrent.Classy.MVar, Control.Concurrent.Classy
swapTMVar	Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy
swapTVar	Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy
SwitchTo	Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic
SWrite	Test.DejaFu.STM.Internal
SynchronisedModify	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal
SynchronisedOther	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal
SynchronisedRead	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal
SynchronisedWrite	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal
synchronises	Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal