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 |