Motor.FSM.TH

Documentation

data TransitionSigs

Constructors

TransitionSigs

Fields

• stateTypeFamily :: Maybe TypeFamilyHead
• transitionSigs :: [(Name, Type)]

Instances

Eq TransitionSigs

Methods

(==) :: TransitionSigs -> TransitionSigs -> Bool

(/=) :: TransitionSigs -> TransitionSigs -> Bool

Show TransitionSigs

Methods

showsPrec :: Int -> TransitionSigs -> ShowS

show :: TransitionSigs -> String

showList :: [TransitionSigs] -> ShowS

Semigroup TransitionSigs

Methods

(<>) :: TransitionSigs -> TransitionSigs -> TransitionSigs

sconcat :: NonEmpty TransitionSigs -> TransitionSigs

stimes :: Integral b => b -> TransitionSigs -> TransitionSigs

Monoid TransitionSigs

Methods

mempty :: TransitionSigs

mappend :: TransitionSigs -> TransitionSigs -> TransitionSigs

mconcat :: [TransitionSigs] -> TransitionSigs

data Transition

Constructors

Add String

Transition String String

Delete String

Instances

Eq Transition

Methods

(==) :: Transition -> Transition -> Bool

(/=) :: Transition -> Transition -> Bool

Show Transition

Methods

showsPrec :: Int -> Transition -> ShowS

show :: Transition -> String

showList :: [Transition] -> ShowS

Lift Transition

Methods

lift :: Transition -> Q Exp

newtype Transitions

Constructors

Transitions [(String, Transition)]

Instances

Eq Transitions

Methods

(==) :: Transitions -> Transitions -> Bool

(/=) :: Transitions -> Transitions -> Bool

Show Transitions

Methods

showsPrec :: Int -> Transitions -> ShowS

show :: Transitions -> String

showList :: [Transitions] -> ShowS

Lift Transitions

Methods

lift :: Transitions -> Q Exp

asTransitions :: TransitionSigs -> Q Transitions

sigToTransition :: Name -> (Name, Type) -> Q [(String, Transition)]

actionsToTransitions :: Name -> Type -> Q [Transition]

actionListToTransitions :: Name -> Type -> Q [Transition]

actionToTransitions :: Name -> Type -> Q [Transition]

showClass :: Name -> Q [Dec]