Control.AFSM

data Event a

The SM type

data SM a b

The SMState type

type SMState s a b

Constructors

newSM

simpleSM

Basic State Machines

constSM

High order functions

execSM

Evaluation

exec