Scheduler

Documentation

newtype SchedulerSupervisor

Constructors

SchedulerSupervisor ProcessId

Instances

Generic SchedulerSupervisor

Associated Types

type Rep SchedulerSupervisor :: * -> *

Methods

from :: SchedulerSupervisor -> Rep SchedulerSupervisor x

to :: Rep SchedulerSupervisor x -> SchedulerSupervisor

Binary SchedulerSupervisor

Methods

put :: SchedulerSupervisor -> Put

get :: Get SchedulerSupervisor

putList :: [SchedulerSupervisor] -> Put

type Rep SchedulerSupervisor

type Rep SchedulerSupervisor = D1 * (MetaData "SchedulerSupervisor" "Scheduler" "quickcheck-state-machine-distributed-0.0.0-6f6LWCPA51Q3p6G3y5ecL6" True) (C1 * (MetaCons "SchedulerSupervisor" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ProcessId)))

newtype SchedulerCount

Constructors

SchedulerCount Int

Instances

Generic SchedulerCount

Associated Types

type Rep SchedulerCount :: * -> *

Methods

from :: SchedulerCount -> Rep SchedulerCount x

to :: Rep SchedulerCount x -> SchedulerCount

Binary SchedulerCount

Methods

put :: SchedulerCount -> Put

get :: Get SchedulerCount

putList :: [SchedulerCount] -> Put

type Rep SchedulerCount

type Rep SchedulerCount = D1 * (MetaData "SchedulerCount" "Scheduler" "quickcheck-state-machine-distributed-0.0.0-6f6LWCPA51Q3p6G3y5ecL6" True) (C1 * (MetaCons "SchedulerCount" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)))

newtype SchedulerSequential

Constructors

SchedulerSequential [(ProcessId, ProcessId)]

Instances

Generic SchedulerSequential

Associated Types

type Rep SchedulerSequential :: * -> *

Methods

from :: SchedulerSequential -> Rep SchedulerSequential x

to :: Rep SchedulerSequential x -> SchedulerSequential

Binary SchedulerSequential

Methods

put :: SchedulerSequential -> Put

get :: Get SchedulerSequential

putList :: [SchedulerSequential] -> Put

type Rep SchedulerSequential

type Rep SchedulerSequential = D1 * (MetaData "SchedulerSequential" "Scheduler" "quickcheck-state-machine-distributed-0.0.0-6f6LWCPA51Q3p6G3y5ecL6" True) (C1 * (MetaCons "SchedulerSequential" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [(ProcessId, ProcessId)])))

newtype SchedulerHistory pid inv resp

Constructors

SchedulerHistory (History pid inv resp)

Instances

Generic (SchedulerHistory pid inv resp)

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)

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)

type Rep (SchedulerHistory pid inv resp) = D1 * (MetaData "SchedulerHistory" "Scheduler" "quickcheck-state-machine-distributed-0.0.0-6f6LWCPA51Q3p6G3y5ecL6" True) (C1 * (MetaCons "SchedulerHistory" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (History pid inv resp))))

data SchedulerEnv input output model

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 ()

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