Control.Arrow.Machine.Types

Basic types

data ProcessA a b c

class Occasional' a

class Occasional a

data Event a

Plan monads

type PlanT i o m a

type Plan i o a

Constructing machines from plans

Running machines (at once)

Running machines (step-by-step)

data ExecInfo fa

Primitive machines - switches

Primitive machines - other safe primitives

Primitive machines - unsafe