Control.Arrow.Machine.Running

Run at once.

run :: ArrowApply a => ProcessA a (Event b) (Event c) -> a [b] [c]

Run step-by-step.

data ExecInfo fa

Represents return values and informations of step executions.

Constructors

ExecInfo

Fields

yields :: fa

hasConsumed :: Bool

hasStopped :: Bool

Instances

Eq fa => Eq (ExecInfo fa)

Show fa => Show (ExecInfo fa)

Alternative f => Monoid (ExecInfo (f a))

stepRun :: ArrowApply a => ProcessA a (Event b) (Event c) -> a b (ExecInfo [c], ProcessA a (Event b) (Event c))

stepYield :: ArrowApply a => ProcessA a (Event b) (Event c) -> a b (ExecInfo (Maybe c), ProcessA a (Event b) (Event c))