Safe Haskell	None
Language	Haskell2010

Scheduler

Documentation

Constructors

Instances

Generic SchedulerSupervisor Source #
Associated Types type Rep SchedulerSupervisor :: * -> * # Methods from :: SchedulerSupervisor -> Rep SchedulerSupervisor x # to :: Rep SchedulerSupervisor x -> SchedulerSupervisor #
Binary SchedulerSupervisor Source #
Methods put :: SchedulerSupervisor -> Put # get :: Get SchedulerSupervisor # putList :: [SchedulerSupervisor] -> Put #
type Rep SchedulerSupervisor Source #
type Rep SchedulerSupervisor = D1 * (MetaData "SchedulerSupervisor" "Scheduler" "quickcheck-state-machine-distributed-0.0.1-9t7n298Zc725FUIrkZnY2T" True) (C1 * (MetaCons "SchedulerSupervisor" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ProcessId)))

Constructors

Instances

Generic SchedulerCount Source #
Associated Types type Rep SchedulerCount :: * -> * # Methods from :: SchedulerCount -> Rep SchedulerCount x # to :: Rep SchedulerCount x -> SchedulerCount #
Binary SchedulerCount Source #
Methods put :: SchedulerCount -> Put # get :: Get SchedulerCount # putList :: [SchedulerCount] -> Put #
type Rep SchedulerCount Source #
type Rep SchedulerCount = D1 * (MetaData "SchedulerCount" "Scheduler" "quickcheck-state-machine-distributed-0.0.1-9t7n298Zc725FUIrkZnY2T" True) (C1 * (MetaCons "SchedulerCount" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)))

Constructors

Instances

Generic SchedulerSequential Source #
Associated Types type Rep SchedulerSequential :: * -> * # Methods from :: SchedulerSequential -> Rep SchedulerSequential x # to :: Rep SchedulerSequential x -> SchedulerSequential #
Binary SchedulerSequential Source #
Methods put :: SchedulerSequential -> Put # get :: Get SchedulerSequential # putList :: [SchedulerSequential] -> Put #
type Rep SchedulerSequential Source #
type Rep SchedulerSequential = D1 * (MetaData "SchedulerSequential" "Scheduler" "quickcheck-state-machine-distributed-0.0.1-9t7n298Zc725FUIrkZnY2T" True) (C1 * (MetaCons "SchedulerSequential" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [(ProcessId, ProcessId)])))

Constructors

Instances

Generic (SchedulerHistory pid inv resp) Source #
Associated Types type Rep (SchedulerHistory pid inv resp) :: * -> * # Methods from :: SchedulerHistory pid inv resp -> Rep (SchedulerHistory pid inv resp) x # to :: Rep (SchedulerHistory pid inv resp) x -> SchedulerHistory pid inv resp #
(Binary pid, Binary inv, Binary resp) => Binary (SchedulerHistory pid inv resp) Source #
Methods put :: SchedulerHistory pid inv resp -> Put # get :: Get (SchedulerHistory pid inv resp) # putList :: [SchedulerHistory pid inv resp] -> Put #
type Rep (SchedulerHistory pid inv resp) Source #
type Rep (SchedulerHistory pid inv resp) = D1 * (MetaData "SchedulerHistory" "Scheduler" "quickcheck-state-machine-distributed-0.0.1-9t7n298Zc725FUIrkZnY2T" True) (C1 * (MetaCons "SchedulerHistory" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (History pid inv resp))))

data SchedulerEnv input output model Source #

Constructors

SchedulerEnv
Fields transitions :: model -> Either input output -> model invariants :: model -> Bool

schedulerP :: forall input output model. (Binary input, Typeable input) => (Binary output, Typeable output) => SchedulerEnv input output model -> SchedulerState input output model -> Process () Source #

makeSchedulerState :: Int -> model -> SchedulerState input output model Source #