io-sim-1.4.1.0: A pure simulator for monadic concurrency with STM.
Quick Jump
Contents
Index
Index
awaitTimeout
Control.Monad.IOSim
cancelTimeout
Control.Monad.IOSim
Cons
Data.List.Trace
,
Control.Monad.IOSim
ControlAwait
Control.Monad.IOSim
ControlDefault
Control.Monad.IOSim
ControlFollow
Control.Monad.IOSim
controlSimTrace
Control.Monad.IOSim
controlSimTraceST
Control.Monad.IOSim
Deadlock
Control.Monad.IOSim
EventAwaitControl
Control.Monad.IOSim
EventDeschedule
Control.Monad.IOSim
EventEffect
Control.Monad.IOSim
EventFollowControl
Control.Monad.IOSim
EventLog
Control.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
EventMask
Control.Monad.IOSim
EventPerformAction
Control.Monad.IOSim
EventRaces
Control.Monad.IOSim
EventRegisterDelayCreated
Control.Monad.IOSim
EventRegisterDelayFired
Control.Monad.IOSim
EventReschedule
Control.Monad.IOSim
EventSay
Control.Monad.IOSim
EventSimStart
Control.Monad.IOSim
EventThreadDelay
Control.Monad.IOSim
EventThreadDelayFired
Control.Monad.IOSim
EventThreadFinished
Control.Monad.IOSim
EventThreadForked
Control.Monad.IOSim
EventThreadSleep
Control.Monad.IOSim
EventThreadStatus
Control.Monad.IOSim
EventThreadUnhandled
Control.Monad.IOSim
EventThreadWake
Control.Monad.IOSim
EventThrow
Control.Monad.IOSim
EventThrowTo
Control.Monad.IOSim
EventThrowToBlocked
Control.Monad.IOSim
EventThrowToUnmasked
Control.Monad.IOSim
EventThrowToWakeup
Control.Monad.IOSim
EventTimeoutCreated
Control.Monad.IOSim
EventTimeoutFired
Control.Monad.IOSim
EventTimerCancelled
Control.Monad.IOSim
EventTimerCreated
Control.Monad.IOSim
EventTimerFired
Control.Monad.IOSim
EventTxAborted
Control.Monad.IOSim
EventTxBlocked
Control.Monad.IOSim
EventTxCommitted
Control.Monad.IOSim
EventTxWakeup
Control.Monad.IOSim
EventUnblocked
Control.Monad.IOSim
explorationBranching
Control.Monad.IOSim
explorationDebugLevel
Control.Monad.IOSim
ExplorationOptions
1 (Type/Class)
Control.Monad.IOSim
2 (Data Constructor)
Control.Monad.IOSim
explorationReplay
Control.Monad.IOSim
explorationScheduleBound
Control.Monad.IOSim
ExplorationSpec
Control.Monad.IOSim
explorationStepTimelimit
Control.Monad.IOSim
exploreSimTrace
Control.Monad.IOSim
exploreSimTraceST
Control.Monad.IOSim
Failure
Control.Monad.IOSim
FailureDeadlock
Control.Monad.IOSim
FailureEvaluation
Control.Monad.IOSim
FailureException
Control.Monad.IOSim
FailureInternal
Control.Monad.IOSim
FailureSloppyShutdown
Control.Monad.IOSim
filter
Data.List.Trace
fromList
Data.List.Trace
head
Data.List.Trace
InternalError
Control.Monad.IOSim
IOSim
Control.Monad.IOSim
IOSimThreadId
Control.Monad.IOSim
Labelled
1 (Type/Class)
Control.Monad.IOSim
2 (Data Constructor)
Control.Monad.IOSim
length
Data.List.Trace
liftST
Control.Monad.IOSim
Loop
Control.Monad.IOSim
l_label
Control.Monad.IOSim
l_labelled
Control.Monad.IOSim
MainException
Control.Monad.IOSim
MainReturn
Control.Monad.IOSim
monadicIOSim
Control.Monad.IOSim
monadicIOSim_
Control.Monad.IOSim
newTimeout
Control.Monad.IOSim
Nil
Data.List.Trace
,
Control.Monad.IOSim
ppDebug
Control.Monad.IOSim
ppEvents
Control.Monad.IOSim
ppSimEvent
Control.Monad.IOSim
ppTrace
1 (Function)
Data.List.Trace
2 (Function)
Control.Monad.IOSim
ppTrace_
Control.Monad.IOSim
printTraceEventsSay
Control.Monad.IOSim
RacyThreadId
Control.Monad.IOSim
readTimeout
Control.Monad.IOSim
runIOSimGen
Control.Monad.IOSim
runSim
Control.Monad.IOSim
runSimOrThrow
Control.Monad.IOSim
runSimStrictShutdown
Control.Monad.IOSim
runSimTrace
Control.Monad.IOSim
runSimTraceST
Control.Monad.IOSim
ScheduleControl
Control.Monad.IOSim
ScheduleMod
1 (Type/Class)
Control.Monad.IOSim
2 (Data Constructor)
Control.Monad.IOSim
scheduleModControl
Control.Monad.IOSim
scheduleModInsertion
Control.Monad.IOSim
scheduleModTarget
Control.Monad.IOSim
selectTraceEvents
Control.Monad.IOSim
selectTraceEvents'
Control.Monad.IOSim
selectTraceEventsDynamic
Control.Monad.IOSim
selectTraceEventsDynamic'
Control.Monad.IOSim
selectTraceEventsDynamicWithTime
Control.Monad.IOSim
selectTraceEventsDynamicWithTime'
Control.Monad.IOSim
selectTraceEventsSay
Control.Monad.IOSim
selectTraceEventsSay'
Control.Monad.IOSim
selectTraceEventsSayWithTime
Control.Monad.IOSim
selectTraceEventsSayWithTime'
Control.Monad.IOSim
selectTraceRaces
Control.Monad.IOSim
seStep
Control.Monad.IOSim
setCurrentTime
Control.Monad.IOSim
seThreadId
Control.Monad.IOSim
seThreadLabel
Control.Monad.IOSim
seTime
Control.Monad.IOSim
seType
Control.Monad.IOSim
SimEvent
1 (Type/Class)
Control.Monad.IOSim
2 (Data Constructor)
Control.Monad.IOSim
SimEventType
Control.Monad.IOSim
SimPOREvent
Control.Monad.IOSim
SimPORTrace
Control.Monad.IOSim
SimRacesFound
Control.Monad.IOSim
SimResult
Control.Monad.IOSim
SimTrace
1 (Type/Class)
Control.Monad.IOSim
2 (Data Constructor)
Control.Monad.IOSim
stdExplorationOptions
Control.Monad.IOSim
STMSim
Control.Monad.IOSim
tail
Data.List.Trace
ThreadId
Control.Monad.IOSim
ThreadLabel
Control.Monad.IOSim
Timeout
Control.Monad.IOSim
toList
Data.List.Trace
Trace
Data.List.Trace
,
Control.Monad.IOSim
TraceDeadlock
Control.Monad.IOSim
traceEvents
Control.Monad.IOSim
TraceInternalError
Control.Monad.IOSim
TraceLoop
Control.Monad.IOSim
traceM
Control.Monad.IOSim
TraceMainException
Control.Monad.IOSim
TraceMainReturn
Control.Monad.IOSim
TraceRacesFound
Control.Monad.IOSim
traceResult
Control.Monad.IOSim
traceSelectTraceEvents
Control.Monad.IOSim
traceSelectTraceEventsDynamic
Control.Monad.IOSim
traceSelectTraceEventsSay
Control.Monad.IOSim
traceSTM
Control.Monad.IOSim
unshareClock
Control.Monad.IOSim
withBranching
Control.Monad.IOSim
withReplay
Control.Monad.IOSim
withScheduleBound
Control.Monad.IOSim
withStepTimelimit
Control.Monad.IOSim