TypedFsm.Driver.General

Running FSM

Documentation

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

newtype UnexpectMsg ps

Constructors

UnexpectMsg (AnyMsg ps)

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