TypedFsm.Driver.General

Running FSM

Documentation

anyToSomeMsg :: forall ps (input :: ps). SEq ps => Sing input -> AnyMsg ps -> Maybe (SomeMsg ps input)

newtype UnexpectMsg ps

Constructors

UnexpectMsg (AnyMsg ps)

data UnexpectMsgHandler ps (m :: Type -> Type)

Constructors

Ignore

IgnoreAndTrace (AnyMsg ps -> m ())

Terminal

runOperate :: forall ps m a (input :: ps) (output :: ps). (Monad m, SEq ps) => UnexpectMsgHandler ps m -> [AnyMsg ps] -> Sing input -> Operate m (At a output) input -> m (Result ps (UnexpectMsg ps) m a)