|Portability||non-portable (multi-parameter type classes)|
Simple Mealy-style automata.
An arrow type comprising Mealy-style automata, each step of which is is a computation in the original arrow type.
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
xs refers to the input stream and
x to individual
elements of that stream.
ys is bound to the output stream.