Portability	portable
Stability	provisional
Maintainer	Edward Kmett <ekmett@gmail.com>
Safe Haskell	None

Data.Machine.Mealy

Description

Synopsis

Documentation

newtype Mealy a b Source

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 bSource

A Mealy machine modeled with explicit state.

Accumulate history.