|
Control.Arrow.Transformer.Automaton | Portability | non-portable (multi-parameter type classes) | Stability | experimental | Maintainer | ross@soi.city.ac.uk |
|
|
|
Description |
Simple Mealy-style automata.
|
|
Synopsis |
|
|
|
Documentation |
|
newtype Automaton a b c | Source |
|
An arrow type comprising Mealy-style automata, each step of which is
is a computation in the original arrow type.
| Constructors | |
|
|
|
Encapsulating an automaton by running it on a stream of inputs,
obtaining a stream of outputs.
Typical usage in arrow notation:
proc p -> do
...
ys <- (|runAutomaton (\x -> ...)|) xs
Here xs refers to the input stream and x to individual
elements of that stream. ys is bound to the output stream.
|
|
Produced by Haddock version 2.6.1 |