Motor.FSM.Reflection

Reflect on Motor FSM typeclasses to get state diagram values.

Documentation

data Transition

Constructors

Add String

Transition String String

Delete String

Instances

Eq Transition

Defined in Motor.FSM.Reflection.Event

Methods

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

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

Show Transition

Defined in Motor.FSM.Reflection.Event

Methods

showsPrec :: Int -> Transition -> ShowS

show :: Transition -> String

showList :: [Transition] -> ShowS

Lift Transition

Defined in Motor.FSM.Reflection.Event

Methods

lift :: Transition -> Q Exp

data Event

Constructors

Event String Transition

Instances

Eq Event

Defined in Motor.FSM.Reflection.Event

Methods

(==) :: Event -> Event -> Bool

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

Show Event

Defined in Motor.FSM.Reflection.Event

Methods

showsPrec :: Int -> Event -> ShowS

show :: Event -> String

showList :: [Event] -> ShowS

Lift Event

Defined in Motor.FSM.Reflection.Event

Methods

lift :: Event -> Q Exp

reflectEvents :: Name -> String -> Q [Dec]