Control.Arrow.Transformer

Description

Arrow transformers, for making new arrow types out of old ones.

Synopsis

Documentation

Construct a new arrow from an existing one.

Methods

lift :: a b c -> f a b cSource

A transformation of arrows, preserving arr, >>> and first.

Typical usage in arrow notation:

	proc p -> ...
		(|lift cmd|)

Instances

(Arrow (Automaton a), Arrow a) => ArrowTransformer Automaton a
(Arrow (StreamArrow a), Arrow a) => ArrowTransformer StreamArrow a
(Arrow a, Arrow (ErrorArrow ex a), ArrowChoice a) => ArrowTransformer (ErrorArrow ex) a
(Arrow (StateArrow s a), Arrow a) => ArrowTransformer (StateArrow s) a
(Arrow (StaticArrow f a), Arrow a, Applicative f) => ArrowTransformer (StaticArrow f) a
(Arrow (WriterArrow w a), Arrow a, Monoid w) => ArrowTransformer (WriterArrow w) a
(Arrow (ReaderArrow r a), Arrow a) => ArrowTransformer (ReaderArrow r) a