| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | None |
Data.Machine.Mealy
Description
Documentation
Mealy machines
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) |
unfoldMealy :: (s -> a -> (b, s)) -> s -> Mealy a bSource
A Mealy machine modeled with explicit state.