Control.AFSM

The SM type

data SM a b

The SMState type

type SMState r a b

Constructors

newSM

simpleSM

High order functions

execSM

Evaluation

exec