Control.Arrow.Machine.Core

Extracted stuff to be used unqualified from ../Machine.hs.

Modules

module Control.Arrow.Machine.Event

module Control.Arrow.Machine.Plan

module Control.Arrow.Machine.Running

The transducer arrow

data ProcessA a b c

The stream transducer arrow.

To construct ProcessA instances, use Plan, arr, functions declared in Utils, or arrow combinations of them.

May use ArrowChoice and ArrowLoop instance too. but there is a limitation that loop cannot propagate Events to upstream. In such case, use feedback instead.

Instances

(ArrowApply a, ArrowReader r a) => ArrowReader r (ProcessA a)

ArrowApply a => Category * (ProcessA a)

(ArrowApply a, ArrowApply a', ArrowAddReader r a a') => ArrowAddReader r (ProcessA a) (ProcessA a')

ArrowApply a => ArrowChoice (ProcessA a)

ArrowApply a => Arrow (ProcessA a)

(ArrowApply a, ArrowLoop a) => ArrowLoop (ProcessA a)

Arrow a => Profunctor (ProcessA a)

fit :: (Arrow a, Arrow a') => (forall p q. a p q -> a' p q) -> ProcessA a b c -> ProcessA a' b c