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

Index

awaitTimeoutControl.Monad.IOSim
cancelTimeoutControl.Monad.IOSim
ConsData.List.Trace, Control.Monad.IOSim
ControlAwaitControl.Monad.IOSim
ControlDefaultControl.Monad.IOSim
ControlFollowControl.Monad.IOSim
controlSimTraceControl.Monad.IOSim
DeadlockControl.Monad.IOSim
dropData.List.Trace
dropWhileData.List.Trace
EventAwaitControlControl.Monad.IOSim
EventDescheduleControl.Monad.IOSim
EventEffectControl.Monad.IOSim
EventFollowControlControl.Monad.IOSim
EventLogControl.Monad.IOSim
EventlogEvent 
1 (Type/Class)Control.Monad.IOSim
2 (Data Constructor)Control.Monad.IOSim
EventlogMarker 
1 (Type/Class)Control.Monad.IOSim
2 (Data Constructor)Control.Monad.IOSim
EventMaskControl.Monad.IOSim
EventPerformActionControl.Monad.IOSim
EventRacesControl.Monad.IOSim
EventRegisterDelayCreatedControl.Monad.IOSim
EventRegisterDelayFiredControl.Monad.IOSim
EventRescheduleControl.Monad.IOSim
EventSayControl.Monad.IOSim
EventSimStartControl.Monad.IOSim
EventThreadDelayControl.Monad.IOSim
EventThreadDelayFiredControl.Monad.IOSim
EventThreadFinishedControl.Monad.IOSim
EventThreadForkedControl.Monad.IOSim
EventThreadSleepControl.Monad.IOSim
EventThreadStatusControl.Monad.IOSim
EventThreadUnhandledControl.Monad.IOSim
EventThreadWakeControl.Monad.IOSim
EventThrowControl.Monad.IOSim
EventThrowToControl.Monad.IOSim
EventThrowToBlockedControl.Monad.IOSim
EventThrowToUnmaskedControl.Monad.IOSim
EventThrowToWakeupControl.Monad.IOSim
EventTimeoutCreatedControl.Monad.IOSim
EventTimeoutFiredControl.Monad.IOSim
EventTimerCancelledControl.Monad.IOSim
EventTimerCreatedControl.Monad.IOSim
EventTimerFiredControl.Monad.IOSim
EventTxAbortedControl.Monad.IOSim
EventTxBlockedControl.Monad.IOSim
EventTxCommittedControl.Monad.IOSim
EventTxWakeupControl.Monad.IOSim
EventUnblockedControl.Monad.IOSim
explorationBranchingControl.Monad.IOSim
explorationDebugLevelControl.Monad.IOSim
ExplorationOptions 
1 (Type/Class)Control.Monad.IOSim
2 (Data Constructor)Control.Monad.IOSim
explorationReplayControl.Monad.IOSim
explorationScheduleBoundControl.Monad.IOSim
ExplorationSpecControl.Monad.IOSim
explorationStepTimelimitControl.Monad.IOSim
exploreSimTraceControl.Monad.IOSim
FailureControl.Monad.IOSim
FailureDeadlockControl.Monad.IOSim
FailureEvaluationControl.Monad.IOSim
FailureExceptionControl.Monad.IOSim
FailureInternalControl.Monad.IOSim
FailureSloppyShutdownControl.Monad.IOSim
filterData.List.Trace
fromListData.List.Trace
headData.List.Trace
InternalErrorControl.Monad.IOSim
IOSimControl.Monad.IOSim
IOSimThreadIdControl.Monad.IOSim
Labelled 
1 (Type/Class)Control.Monad.IOSim
2 (Data Constructor)Control.Monad.IOSim
lengthData.List.Trace
liftSTControl.Monad.IOSim
LoopControl.Monad.IOSim
l_labelControl.Monad.IOSim
l_labelledControl.Monad.IOSim
MainExceptionControl.Monad.IOSim
MainReturnControl.Monad.IOSim
monadicIOSimControl.Monad.IOSim
monadicIOSim_Control.Monad.IOSim
newTimeoutControl.Monad.IOSim
NilData.List.Trace, Control.Monad.IOSim
ppDebugControl.Monad.IOSim
ppEventsControl.Monad.IOSim
ppSimEventControl.Monad.IOSim
ppTrace 
1 (Function)Data.List.Trace
2 (Function)Control.Monad.IOSim
ppTrace_Control.Monad.IOSim
printTraceEventsSayControl.Monad.IOSim
RacyThreadIdControl.Monad.IOSim
readTimeoutControl.Monad.IOSim
runIOSimGenControl.Monad.IOSim
runSimControl.Monad.IOSim
runSimOrThrowControl.Monad.IOSim
runSimStrictShutdownControl.Monad.IOSim
runSimTraceControl.Monad.IOSim
runSimTraceSTControl.Monad.IOSim
ScheduleControlControl.Monad.IOSim
ScheduleMod 
1 (Type/Class)Control.Monad.IOSim
2 (Data Constructor)Control.Monad.IOSim
scheduleModControlControl.Monad.IOSim
scheduleModInsertionControl.Monad.IOSim
scheduleModTargetControl.Monad.IOSim
selectTraceEventsControl.Monad.IOSim
selectTraceEvents'Control.Monad.IOSim
selectTraceEventsDynamicControl.Monad.IOSim
selectTraceEventsDynamic'Control.Monad.IOSim
selectTraceEventsDynamicWithTimeControl.Monad.IOSim
selectTraceEventsDynamicWithTime'Control.Monad.IOSim
selectTraceEventsSayControl.Monad.IOSim
selectTraceEventsSay'Control.Monad.IOSim
selectTraceEventsSayWithTimeControl.Monad.IOSim
selectTraceEventsSayWithTime'Control.Monad.IOSim
selectTraceRacesControl.Monad.IOSim
seStepControl.Monad.IOSim
setCurrentTimeControl.Monad.IOSim
seThreadIdControl.Monad.IOSim
seThreadLabelControl.Monad.IOSim
seTimeControl.Monad.IOSim
seTypeControl.Monad.IOSim
SimEvent 
1 (Type/Class)Control.Monad.IOSim
2 (Data Constructor)Control.Monad.IOSim
SimEventTypeControl.Monad.IOSim
SimPOREventControl.Monad.IOSim
SimPORTraceControl.Monad.IOSim
SimRacesFoundControl.Monad.IOSim
SimResultControl.Monad.IOSim
SimTrace 
1 (Type/Class)Control.Monad.IOSim
2 (Data Constructor)Control.Monad.IOSim
stdExplorationOptionsControl.Monad.IOSim
STMSimControl.Monad.IOSim
tailData.List.Trace
takeData.List.Trace
takeWhileData.List.Trace
ThreadIdControl.Monad.IOSim
ThreadLabelControl.Monad.IOSim
TimeoutControl.Monad.IOSim
toListData.List.Trace
TraceData.List.Trace, Control.Monad.IOSim
TraceDeadlockControl.Monad.IOSim
traceEventsControl.Monad.IOSim
TraceInternalErrorControl.Monad.IOSim
TraceLoopControl.Monad.IOSim
traceMControl.Monad.IOSim
TraceMainExceptionControl.Monad.IOSim
TraceMainReturnControl.Monad.IOSim
TraceRacesFoundControl.Monad.IOSim
traceResultControl.Monad.IOSim
traceSelectTraceEventsControl.Monad.IOSim
traceSelectTraceEventsDynamicControl.Monad.IOSim
traceSelectTraceEventsSayControl.Monad.IOSim
traceSTMControl.Monad.IOSim
unshareClockControl.Monad.IOSim
withBranchingControl.Monad.IOSim
withReplayControl.Monad.IOSim
withScheduleBoundControl.Monad.IOSim
withStepTimelimitControl.Monad.IOSim