| Copyright | (C) 2012 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Machine.Mealy
Description
Documentation
Mealy machines
Instances
| Arrow Mealy Source | |
| ArrowChoice Mealy Source | |
| ArrowApply Mealy Source | |
| Corepresentable Mealy Source | |
| Closed Mealy Source | |
| Strong Mealy Source | |
| Choice Mealy Source | |
| Costrong Mealy Source | |
| Profunctor Mealy Source | |
| Automaton Mealy Source | |
| Category * Mealy Source | |
| Cosieve Mealy NonEmpty Source | |
| Monad (Mealy a) Source | slow diagonalization |
| Functor (Mealy a) Source | |
| MonadFix (Mealy a) Source | |
| Applicative (Mealy a) Source | |
| Distributive (Mealy a) Source | |
| Representable (Mealy a) Source | |
| MonadZip (Mealy a) Source | |
| Pointed (Mealy a) Source | |
| Extend (Mealy a) Source | |
| MonadReader (NonEmpty a) (Mealy a) Source | |
| type Corep Mealy = NonEmpty Source | |
| type Rep (Mealy a) = NonEmpty a Source |
unfoldMealy :: (s -> a -> (b, s)) -> s -> Mealy a b Source
A Mealy machine modeled with explicit state.