Portability | portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Infered |
Documentation
Mealy
machines
Arrow Mealy | |
ArrowChoice Mealy | |
ArrowApply Mealy | |
Category Mealy | |
Profunctor Mealy | |
Automaton Mealy | |
Monad (Mealy a) | slow diagonalization |
Functor (Mealy a) | |
Applicative (Mealy a) |
unfoldMealy :: (s -> a -> (b, s)) -> s -> Mealy a bSource
A Mealy
machine modeled with explicit state.