Motor.FSM

Usage

Indexed Monads

State Actions

Infix Operators

Row Polymorphism

Examples

API

MonadFSM Class

class MonadFSM m

Resource Names

data Name n

State Actions

data n :-> a

data To a b

data Add s

data Delete s

type family FromActions (as :: [*]) (rs :: Row *) :: Row * where ...

type NoActions m r a

type Actions m as r a

type OnlyActions m as a

Aliases

type i !--> o

type n !+ s

type n !- s

FSM

data FSM m i o a

runFSM