Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Value-level representations of FSMs.
Documentation
data Transition Source #
Instances
Eq Transition Source # | |
Defined in Motor.FSM.Reflection.Event (==) :: Transition -> Transition -> Bool # (/=) :: Transition -> Transition -> Bool # | |
Show Transition Source # | |
Defined in Motor.FSM.Reflection.Event showsPrec :: Int -> Transition -> ShowS # show :: Transition -> String # showList :: [Transition] -> ShowS # | |
Lift Transition Source # | |
Defined in Motor.FSM.Reflection.Event lift :: Transition -> Q Exp # |