Control.Arrow.Transformer.Automaton

Simple Mealy-style automata.

Documentation

newtype Automaton a b c

An arrow type comprising Mealy-style automata, each step of which is is a computation in the original arrow type.

Constructors

Automaton (a b (c, Automaton a b c))

Instances

(Arrow (Automaton a), Arrow a) => ArrowTransformer Automaton a

(Arrow (Automaton a), ArrowError r a) => ArrowError r (Automaton a)

(Monoid w, Arrow (Automaton a), ArrowWriter w a) => ArrowWriter w (Automaton a)

(Arrow (Automaton a), ArrowState s a) => ArrowState s (Automaton a)

(Arrow (Automaton a), ArrowReader r a) => ArrowReader r (Automaton a)

(ArrowWriter w (Automaton a), Arrow (Automaton a'), ArrowAddWriter w a a') => ArrowAddWriter w (Automaton a) (Automaton a')

(ArrowReader r (Automaton a), Arrow (Automaton a'), ArrowAddReader r a a') => ArrowAddReader r (Automaton a) (Automaton a')

(ArrowState r (Automaton a), Arrow (Automaton a'), ArrowAddState r a a') => ArrowAddState r (Automaton a) (Automaton a')

(Category (Automaton a), Arrow a) => Arrow (Automaton a)

(Arrow (Automaton a), ArrowZero a) => ArrowZero (Automaton a)

(ArrowZero (Automaton a), ArrowPlus a) => ArrowPlus (Automaton a)

(Arrow (Automaton a), ArrowChoice a) => ArrowChoice (Automaton a)

(Arrow (Automaton a), ArrowLoop a) => ArrowLoop (Automaton a)

Arrow a => Category (Automaton a)

(ArrowLoop (Automaton a), ArrowLoop a) => ArrowCircuit (Automaton a)

(ArrowCircuit (Automaton a), Arrow a, ArrowLoop a, ArrowApply a) => ArrowAddStream (Automaton a) a

Arrow a => Functor (Automaton a b)

(Functor (Automaton a b), Arrow a) => Applicative (Automaton a b)

(Applicative (Automaton a b), ArrowPlus a) => Alternative (Automaton a b)

ArrowPlus a => Monoid (Automaton a b c)

runAutomaton :: (ArrowLoop a, ArrowApply a) => Automaton a (e, b) c -> a (e, Stream b) (Stream c)

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.