Data.Machine.Mealy

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

Documentation

newtype Mealy a b

Mealy machines

Constructors

Mealy

Fields

runMealy :: a -> (b, Mealy a b)

Instances

Arrow Mealy

ArrowChoice Mealy

ArrowApply Mealy

Category Mealy

Profunctor Mealy

Automaton Mealy

Monad (Mealy a)

slow diagonalization

Functor (Mealy a)

Functor (Mealy a) => Applicative (Mealy a)

Pointed (Mealy a)

unfoldMealy :: (s -> a -> (b, s)) -> s -> Mealy a b

A Mealy machine modeled with explicit state.

logMealy :: Semigroup a => Mealy a a

Accumulate history.