quickcheck-state-machine-distributed-0.0.1: Test monadic programs using state machine based models

Index

!StateMachine
?StateMachine
generateParallelRequestsQuickCheckHelpers
generateRequestsQuickCheckHelpers
getSchedulerPidStateMachine
haltStateMachine
HistoryLinearisability
invariantsScheduler
linearisableLinearisability
makeSchedulerStateScheduler
monadicProcessQuickCheckHelpers
MonadStateMachineStateMachine
runLocalProcessUtils
SchedulerCount 
1 (Type/Class)Scheduler
2 (Data Constructor)Scheduler
SchedulerEnv 
1 (Type/Class)Scheduler
2 (Data Constructor)Scheduler
SchedulerHistory 
1 (Type/Class)Scheduler
2 (Data Constructor)Scheduler
SchedulerMessageStateMachine
schedulerPScheduler
SchedulerPid 
1 (Type/Class)StateMachine
2 (Data Constructor)StateMachine
SchedulerRequestStateMachine
SchedulerResponseStateMachine
SchedulerSequential 
1 (Type/Class)Scheduler
2 (Data Constructor)Scheduler
SchedulerSupervisor 
1 (Type/Class)Scheduler
2 (Data Constructor)Scheduler
SchedulerTickStateMachine
shrinkParallelRequestsQuickCheckHelpers
shrinkRequestsQuickCheckHelpers
StateMachineStateMachine
stateMachineProcessStateMachine
stateMachineProcess_StateMachine
tellStateMachine
traceLinearisability
transitionsScheduler
wellformedLinearisability
withLocalNodeUtils