TypedFsm.Driver.Common

Documentation

data SomeOperate ts (m :: Type -> Type) a

Constructors

SingI i => SomeOperate (Operate m (At a o) i)

getSomeOperateSingeton :: forall ts (m :: Type -> Type) a. SingKind ts => SomeOperate ts m a -> Sing ts

getSomeOperateSt :: forall ts (m :: Type -> Type) a. SingKind ts => SomeOperate ts m a -> Demote ts

data SomeMsg ps (from :: ps)

Constructors

SingI to => SomeMsg (Msg ps from to)

data AnyMsg ps

Constructors

(SingI from, SingI to) => AnyMsg (Msg ps from to)

data Result ps e (m :: Type -> Type) a

Reuslt of run FSM

• Finish, return val a
• A wrapper for SomeOperate that returns the remaining computation when there is not enough input
• Error happened

Constructors

Finish a

Cont (SomeOperate ps m a)

ErrorInfo e