Control.AFSM.Event

Documentation

extractEvents :: [Event a] -> [a]

Event type, there are 4 different events: event a, no event, error event string and exit event. data Event a = Event a | NoEvent | ErrEvent String | ExitEvent deriving (Show, Eq, Ord)

extract [a] from [Event a]

Orphan instances

Monad Event

Methods

(>>=) :: Event a -> (a -> Event b) -> Event b

(>>) :: Event a -> Event b -> Event b

return :: a -> Event a

fail :: String -> Event a

Functor Event

Methods

fmap :: (a -> b) -> Event a -> Event b

(<$) :: a -> Event b -> Event a

Applicative Event

Methods

pure :: a -> Event a

(<*>) :: Event (a -> b) -> Event a -> Event b

(*>) :: Event a -> Event b -> Event b

(<*) :: Event a -> Event b -> Event a

SMFunctor Event

Methods

smexec :: SM s a b -> Event a -> (SM s a b, Event b)

smfmap :: SM s a b -> Event a -> Event b