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 a => ArrowTransformer Automaton a

Methods

lift :: a b c -> Automaton a b c

ArrowError r a => ArrowError r (Automaton a)

Methods

raise :: Automaton a r b

handle :: Automaton a e b -> Automaton a (e, r) b -> Automaton a e b

tryInUnless :: Automaton a e b -> Automaton a (e, b) c -> Automaton a (e, r) c -> Automaton a e c

newError :: Automaton a e b -> Automaton a e (Either r b)

ArrowWriter w a => ArrowWriter w (Automaton a)

Methods

write :: Automaton a w ()

newWriter :: Automaton a e b -> Automaton a e (b, w)

ArrowState s a => ArrowState s (Automaton a)

Methods

fetch :: Automaton a e s

store :: Automaton a s ()

ArrowReader r a => ArrowReader r (Automaton a)

Methods

readState :: Automaton a b r

newReader :: Automaton a e b -> Automaton a (e, r) b

ArrowAddWriter w a a' => ArrowAddWriter w (Automaton a) (Automaton a')

Methods

liftWriter :: Automaton a' e b -> Automaton a e b

elimWriter :: Automaton a e b -> Automaton a' e (b, w)

ArrowAddReader r a a' => ArrowAddReader r (Automaton a) (Automaton a')

Methods

liftReader :: Automaton a' e b -> Automaton a e b

elimReader :: Automaton a e b -> Automaton a' (e, r) b

ArrowAddState r a a' => ArrowAddState r (Automaton a) (Automaton a')

Methods

liftState :: Automaton a' e b -> Automaton a e b

elimState :: Automaton a e b -> Automaton a' (e, r) (b, r)

Arrow a => Arrow (Automaton a)

Methods

arr :: (b -> c) -> Automaton a b c

first :: Automaton a b c -> Automaton a (b, d) (c, d)

second :: Automaton a b c -> Automaton a (d, b) (d, c)

(***) :: Automaton a b c -> Automaton a b' c' -> Automaton a (b, b') (c, c')

(&&&) :: Automaton a b c -> Automaton a b c' -> Automaton a b (c, c')

ArrowZero a => ArrowZero (Automaton a)

Methods

zeroArrow :: Automaton a b c

ArrowPlus a => ArrowPlus (Automaton a)

Methods

(<+>) :: Automaton a b c -> Automaton a b c -> Automaton a b c

ArrowChoice a => ArrowChoice (Automaton a)

Methods

left :: Automaton a b c -> Automaton a (Either b d) (Either c d)

right :: Automaton a b c -> Automaton a (Either d b) (Either d c)

(+++) :: Automaton a b c -> Automaton a b' c' -> Automaton a (Either b b') (Either c c')

(|||) :: Automaton a b d -> Automaton a c d -> Automaton a (Either b c) d

ArrowLoop a => ArrowLoop (Automaton a)

Methods

loop :: Automaton a (b, d) (c, d) -> Automaton a b c

ArrowLoop a => ArrowCircuit (Automaton a)

Methods

delay :: b -> Automaton a b b

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

Methods

liftStream :: a e b -> Automaton a e b

elimStream :: Automaton a (e, b) c -> a (e, Stream b) (Stream c)

Arrow a => Category * (Automaton a)

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

Arrow a => Functor (Automaton a b)

Methods

fmap :: (a -> b) -> Automaton a b a -> Automaton a b b

(<$) :: a -> Automaton a b b -> Automaton a b a

Arrow a => Applicative (Automaton a b)

Methods

pure :: a -> Automaton a b a

(<*>) :: Automaton a b (a -> b) -> Automaton a b a -> Automaton a b b

liftA2 :: (a -> b -> c) -> Automaton a b a -> Automaton a b b -> Automaton a b c

(*>) :: Automaton a b a -> Automaton a b b -> Automaton a b b

(<*) :: Automaton a b a -> Automaton a b b -> Automaton a b a

ArrowPlus a => Alternative (Automaton a b)

Methods

empty :: Automaton a b a

(<|>) :: Automaton a b a -> Automaton a b a -> Automaton a b a

some :: Automaton a b a -> Automaton a b [a]

many :: Automaton a b a -> Automaton a b [a]

ArrowPlus a => Semigroup (Automaton a b c)

Methods

(<>) :: Automaton a b c -> Automaton a b c -> Automaton a b c

sconcat :: NonEmpty (Automaton a b c) -> Automaton a b c

stimes :: Integral b => b -> Automaton a b c -> Automaton a b c

ArrowPlus a => Monoid (Automaton a b c)

Methods

mempty :: Automaton a b c

mappend :: Automaton a b c -> Automaton a b c -> Automaton a b c

mconcat :: [Automaton a b c] -> 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.