AFSM-0.1.3.1: Arrowized functional state machines

Copyright(c) Hanzhong Xu, Meng Meng 2016,
LicenseMIT License
Maintainerhanzh.xu@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Control.AFSM.Event

Contents

Description

 

Synopsis

Documentation

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

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 Source # 

Methods

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

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

return :: a -> Event a #

fail :: String -> Event a #

Functor Event Source # 

Methods

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

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

Applicative Event Source # 

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 Source # 

Methods

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

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