Motor.FSM.Reflection.Event

Value-level representations of FSMs.

Documentation

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

data Event

Constructors

Event String Transition

Instances

Eq Event

Methods

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

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

Show Event

Methods

showsPrec :: Int -> Event -> ShowS

show :: Event -> String

showList :: [Event] -> ShowS

Lift Event

Methods

lift :: Event -> Q Exp