Data.Machine.Moore

http://en.wikipedia.org/wiki/Moore_machine

Documentation

data Moore a b

Moore machines

Constructors

Moore b (a -> Moore a b)

Instances

Profunctor Moore

Automaton Moore

Monad (Moore a)

slow diagonalization

Functor (Moore a)

Applicative (Moore a)

Comonad (Moore a)

ComonadApply (Moore a)

Pointed (Moore a)

Copointed (Moore a)

logMoore :: Monoid m => Moore m m

Accumulate the input as a sequence.

unfoldMoore :: (s -> (b, a -> s)) -> s -> Moore a b

Construct a Moore machine from a state valuation and transition function