Control.Arrow.Machine

Modules

module Control.Arrow.Machine.Event

module Control.Arrow.Machine.Utils

module Control.Arrow.Machine.Plan

module Control.Arrow.Machine.Running

module Control.Arrow.Machine.ArrowUtil

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.

Instances

ArrowApply a => Category (ProcessA a)

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

ArrowApply a => ArrowChoice (ProcessA a)

ArrowApply a => Arrow (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