Control.AFSM

data Event a

class SMFunctor f

The TF type

data TF s a b

transSM2TF

The SM type

data SM s a b

SM Constructors

newSM

simpleSM

tf

st

The SMH type - SM with hidden storage

type SMH a b

newSMH

simpleSMH

hideStorage

Source Constructors

buildSrc

simpleSrc

Basic State Machines

constSM

idSM

delaySM

arrSM

foldlSM

foldlDelaySM

Basic SM functions

composeSM

(>>>>)

(<<<<)

(^>>>)

(>>>^)

(^<<<)

(<<<^)

firstSM

secondSM

(****)

(&&&&)

leftSM

rightSM

(++++)

(||||)

loopSM

absorb

merge

High order Machines

execSM

concatSM

Evaluation

step

exec