io-sim-0.2.0.0: A pure simulator for monadic concurrency with STM

Index

Atomically Control.Monad.IOSim.Types
AtomicallyFrame Control.Monad.IOSim.Types
Blocked Control.Monad.IOSim.Types
CancelTimeout Control.Monad.IOSim.Types
Catch Control.Monad.IOSim.Types
childThreadId Control.Monad.IOSim.Types
ClockId
1 (Type/Class) Control.Monad.IOSim.Types
2 (Data Constructor) Control.Monad.IOSim.Types
Cons Data.List.Trace , Control.Monad.IOSim
ControlAwait Control.Monad.IOSim.Types , Control.Monad.IOSim
ControlDefault Control.Monad.IOSim.Types , Control.Monad.IOSim
ControlFollow Control.Monad.IOSim.Types , Control.Monad.IOSim
controlSimTrace Control.Monad.IOSim
Deadlock Control.Monad.IOSim.Types , Control.Monad.IOSim
Deschedule Control.Monad.IOSim.Types
Evaluate Control.Monad.IOSim.Types
EventAwaitControl Control.Monad.IOSim.Types , Control.Monad.IOSim
EventDeschedule Control.Monad.IOSim.Types , Control.Monad.IOSim
EventFollowControl Control.Monad.IOSim.Types , Control.Monad.IOSim
EventLog Control.Monad.IOSim.Types , Control.Monad.IOSim
EventlogEvent
1 (Type/Class) Control.Monad.IOSim.Types , Control.Monad.IOSim
2 (Data Constructor) Control.Monad.IOSim.Types , Control.Monad.IOSim
EventlogMarker
1 (Type/Class) Control.Monad.IOSim.Types , Control.Monad.IOSim
2 (Data Constructor) Control.Monad.IOSim.Types , Control.Monad.IOSim
EventMask Control.Monad.IOSim.Types , Control.Monad.IOSim
EventPerformAction Control.Monad.IOSim.Types , Control.Monad.IOSim
EventReschedule Control.Monad.IOSim.Types , Control.Monad.IOSim
EventSay Control.Monad.IOSim.Types , Control.Monad.IOSim
EventSimStart Control.Monad.IOSim.Types , Control.Monad.IOSim
EventThreadFinished Control.Monad.IOSim.Types , Control.Monad.IOSim
EventThreadForked Control.Monad.IOSim.Types , Control.Monad.IOSim
EventThreadSleep Control.Monad.IOSim.Types , Control.Monad.IOSim
EventThreadUnhandled Control.Monad.IOSim.Types , Control.Monad.IOSim
EventThreadWake Control.Monad.IOSim.Types , Control.Monad.IOSim
EventThrow Control.Monad.IOSim.Types , Control.Monad.IOSim
EventThrowTo Control.Monad.IOSim.Types , Control.Monad.IOSim
EventThrowToBlocked Control.Monad.IOSim.Types , Control.Monad.IOSim
EventThrowToUnmasked Control.Monad.IOSim.Types , Control.Monad.IOSim
EventThrowToWakeup Control.Monad.IOSim.Types , Control.Monad.IOSim
EventTimerCancelled Control.Monad.IOSim.Types , Control.Monad.IOSim
EventTimerCreated Control.Monad.IOSim.Types , Control.Monad.IOSim
EventTimerExpired Control.Monad.IOSim.Types , Control.Monad.IOSim
EventTimerUpdated Control.Monad.IOSim.Types , Control.Monad.IOSim
EventTxAborted Control.Monad.IOSim.Types , Control.Monad.IOSim
EventTxBlocked Control.Monad.IOSim.Types , Control.Monad.IOSim
EventTxCommitted Control.Monad.IOSim.Types , Control.Monad.IOSim
EventTxWakeup Control.Monad.IOSim.Types , Control.Monad.IOSim
EventUnblocked Control.Monad.IOSim.Types , Control.Monad.IOSim
execReadTVar Control.Monad.IOSim
explorationBranching Control.Monad.IOSim.Types , Control.Monad.IOSim
ExplorationOptions
1 (Type/Class) Control.Monad.IOSim.Types , Control.Monad.IOSim
2 (Data Constructor) Control.Monad.IOSim.Types , Control.Monad.IOSim
explorationReplay Control.Monad.IOSim.Types , Control.Monad.IOSim
explorationScheduleBound Control.Monad.IOSim.Types , Control.Monad.IOSim
ExplorationSpec Control.Monad.IOSim.Types , Control.Monad.IOSim
explorationStepTimelimit Control.Monad.IOSim.Types , Control.Monad.IOSim
ExploreRaces Control.Monad.IOSim.Types
exploreSimTrace Control.Monad.IOSim
Failure Control.Monad.IOSim
FailureDeadlock Control.Monad.IOSim
FailureException Control.Monad.IOSim
FailureSloppyShutdown Control.Monad.IOSim
filter Data.List.Trace
Fix Control.Monad.IOSim.Types
Fork Control.Monad.IOSim.Types
fromList Data.List.Trace
GetMaskState Control.Monad.IOSim.Types
GetMonoTime Control.Monad.IOSim.Types
GetThreadId Control.Monad.IOSim.Types
getVectorClock Control.Monad.IOSim.Types
GetWallTime Control.Monad.IOSim.Types
head Data.List.Trace
Interruptable Control.Monad.IOSim.Types
IOSim
1 (Type/Class) Control.Monad.IOSim.Types , Control.Monad.IOSim
2 (Data Constructor) Control.Monad.IOSim.Types
Labelled
1 (Type/Class) Control.Monad.IOSim.Types , Control.Monad.IOSim
2 (Data Constructor) Control.Monad.IOSim.Types , Control.Monad.IOSim
LabelThread Control.Monad.IOSim.Types
LabelTVar Control.Monad.IOSim.Types
length Data.List.Trace
LiftST Control.Monad.IOSim.Types
liftST Control.Monad.IOSim.Types , Control.Monad.IOSim
Loop Control.Monad.IOSim.Types , Control.Monad.IOSim
l_label Control.Monad.IOSim.Types , Control.Monad.IOSim
l_labelled Control.Monad.IOSim.Types , Control.Monad.IOSim
MainException Control.Monad.IOSim.Types , Control.Monad.IOSim
MainReturn Control.Monad.IOSim.Types , Control.Monad.IOSim
NegativeTimeout Control.Monad.IOSim.Types
NewTimeout Control.Monad.IOSim.Types
NewTVar Control.Monad.IOSim.Types
Nil Data.List.Trace , Control.Monad.IOSim
OrElse Control.Monad.IOSim.Types
OrElseLeftFrame Control.Monad.IOSim.Types
OrElseRightFrame Control.Monad.IOSim.Types
Output Control.Monad.IOSim.Types
OutputStm Control.Monad.IOSim.Types
ppDebug Control.Monad.IOSim.Types , Control.Monad.IOSim
ppEvents Control.Monad.IOSim
ppSimEvent Control.Monad.IOSim.Types , Control.Monad.IOSim
ppTrace
1 (Function) Data.List.Trace
2 (Function) Control.Monad.IOSim.Types , Control.Monad.IOSim
ppTrace_ Control.Monad.IOSim.Types , Control.Monad.IOSim
printTraceEventsSay Control.Monad.IOSim
RacyThreadId Control.Monad.IOSim.Types
ReadTVar Control.Monad.IOSim.Types
Retry Control.Monad.IOSim.Types
Return Control.Monad.IOSim.Types
ReturnStm Control.Monad.IOSim.Types
runIOSim Control.Monad.IOSim.Types
runSim Control.Monad.IOSim
runSimOrThrow Control.Monad.IOSim
runSimStrictShutdown Control.Monad.IOSim
runSimTrace Control.Monad.IOSim
runSimTraceST Control.Monad.IOSim
runSTM Control.Monad.IOSim.Types
Say Control.Monad.IOSim.Types
SayStm Control.Monad.IOSim.Types
ScheduleControl Control.Monad.IOSim.Types , Control.Monad.IOSim
ScheduleMod
1 (Type/Class) Control.Monad.IOSim.Types , Control.Monad.IOSim
2 (Data Constructor) Control.Monad.IOSim.Types , Control.Monad.IOSim
scheduleModControl Control.Monad.IOSim.Types , Control.Monad.IOSim
scheduleModInsertion Control.Monad.IOSim.Types , Control.Monad.IOSim
scheduleModTarget Control.Monad.IOSim.Types , Control.Monad.IOSim
selectTraceEvents Control.Monad.IOSim
selectTraceEvents' Control.Monad.IOSim
selectTraceEventsDynamic Control.Monad.IOSim
selectTraceEventsDynamic' Control.Monad.IOSim
selectTraceEventsSay Control.Monad.IOSim
selectTraceEventsSay' Control.Monad.IOSim
selectTraceRaces Control.Monad.IOSim
seStep Control.Monad.IOSim.Types , Control.Monad.IOSim
setCurrentTime Control.Monad.IOSim.Types , Control.Monad.IOSim
seThreadId Control.Monad.IOSim.Types , Control.Monad.IOSim
seThreadLabel Control.Monad.IOSim.Types , Control.Monad.IOSim
seTime Control.Monad.IOSim.Types , Control.Monad.IOSim
SetMaskState Control.Monad.IOSim.Types
setRacyThread Control.Monad.IOSim.Types
SetWallTime Control.Monad.IOSim.Types
seType Control.Monad.IOSim.Types , Control.Monad.IOSim
SimA Control.Monad.IOSim.Types
SimEvent
1 (Type/Class) Control.Monad.IOSim.Types , Control.Monad.IOSim
2 (Data Constructor) Control.Monad.IOSim.Types , Control.Monad.IOSim
SimEventType Control.Monad.IOSim.Types , Control.Monad.IOSim
SimM Control.Monad.IOSim.Types , Control.Monad.IOSim
SimPOREvent Control.Monad.IOSim.Types , Control.Monad.IOSim
SimPORTrace Control.Monad.IOSim.Types , Control.Monad.IOSim
SimRacesFound Control.Monad.IOSim.Types , Control.Monad.IOSim
SimResult Control.Monad.IOSim.Types , Control.Monad.IOSim
SimSTM Control.Monad.IOSim.Types , Control.Monad.IOSim
SimTrace
1 (Type/Class) Control.Monad.IOSim.Types , Control.Monad.IOSim
2 (Data Constructor) Control.Monad.IOSim.Types , Control.Monad.IOSim
Sleep Control.Monad.IOSim.Types
SomeTVar
1 (Type/Class) Control.Monad.IOSim.Types
2 (Data Constructor) Control.Monad.IOSim.Types
stdExplorationOptions Control.Monad.IOSim.Types , Control.Monad.IOSim
StepId Control.Monad.IOSim.Types
STM
1 (Type/Class) Control.Monad.IOSim.Types
2 (Data Constructor) Control.Monad.IOSim.Types
StmA Control.Monad.IOSim.Types
STMSim Control.Monad.IOSim.Types , Control.Monad.IOSim
StmStack Control.Monad.IOSim.Types
StmTxAborted Control.Monad.IOSim.Types
StmTxBlocked Control.Monad.IOSim.Types
StmTxCommitted Control.Monad.IOSim.Types
StmTxResult Control.Monad.IOSim.Types
tail Data.List.Trace
Terminated Control.Monad.IOSim.Types
ThreadId
1 (Type/Class) Control.Monad.IOSim.Types
2 (Data Constructor) Control.Monad.IOSim.Types
ThreadLabel Control.Monad.IOSim.Types , Control.Monad.IOSim
Throw Control.Monad.IOSim.Types
ThrowStm Control.Monad.IOSim.Types
ThrowTo Control.Monad.IOSim.Types
Timeout
1 (Type/Class) Control.Monad.IOSim.Types
2 (Data Constructor) Control.Monad.IOSim.Types
TimeoutException
1 (Type/Class) Control.Monad.IOSim.Types
2 (Data Constructor) Control.Monad.IOSim.Types
TimeoutId
1 (Type/Class) Control.Monad.IOSim.Types
2 (Data Constructor) Control.Monad.IOSim.Types
toList Data.List.Trace
Trace
1 (Type/Class) Data.List.Trace , Control.Monad.IOSim.Types , Control.Monad.IOSim
2 (Data Constructor) Control.Monad.IOSim.Types , Control.Monad.IOSim
TraceDeadlock Control.Monad.IOSim.Types , Control.Monad.IOSim
TraceEvent Control.Monad.IOSim.Types , Control.Monad.IOSim
traceEvents Control.Monad.IOSim
TraceLoop Control.Monad.IOSim.Types , Control.Monad.IOSim
traceM Control.Monad.IOSim.Types , Control.Monad.IOSim
TraceMainException Control.Monad.IOSim.Types , Control.Monad.IOSim
TraceMainReturn Control.Monad.IOSim.Types , Control.Monad.IOSim
TraceRacesFound Control.Monad.IOSim.Types , Control.Monad.IOSim
traceResult Control.Monad.IOSim
traceSelectTraceEvents Control.Monad.IOSim
traceSelectTraceEventsDynamic Control.Monad.IOSim
traceSelectTraceEventsSay Control.Monad.IOSim
traceSTM Control.Monad.IOSim.Types , Control.Monad.IOSim
TraceTVar Control.Monad.IOSim.Types
TVar
1 (Type/Class) Control.Monad.IOSim.Types
2 (Data Constructor) Control.Monad.IOSim.Types
tvarBlocked Control.Monad.IOSim.Types
tvarCurrent Control.Monad.IOSim.Types
TVarId
1 (Type/Class) Control.Monad.IOSim.Types
2 (Data Constructor) Control.Monad.IOSim.Types
tvarId Control.Monad.IOSim.Types
TVarLabel Control.Monad.IOSim.Types
tvarLabel Control.Monad.IOSim.Types
tvarTrace Control.Monad.IOSim.Types
tvarUndo Control.Monad.IOSim.Types
tvarVClock Control.Monad.IOSim.Types
unIOSim Control.Monad.IOSim.Types
UnshareClock Control.Monad.IOSim.Types
unshareClock Control.Monad.IOSim.Types , Control.Monad.IOSim
unSTM Control.Monad.IOSim.Types
unTimeoutId Control.Monad.IOSim.Types
UpdateTimeout Control.Monad.IOSim.Types
VectorClock
1 (Type/Class) Control.Monad.IOSim.Types
2 (Data Constructor) Control.Monad.IOSim.Types
withBranching Control.Monad.IOSim.Types , Control.Monad.IOSim
withReplay Control.Monad.IOSim.Types , Control.Monad.IOSim
withScheduleBound Control.Monad.IOSim.Types , Control.Monad.IOSim
withStepTimelimit Control.Monad.IOSim.Types , Control.Monad.IOSim
WriteTVar Control.Monad.IOSim.Types
Yield Control.Monad.IOSim.Types
YieldSim Control.Monad.IOSim.Types