Arrow Libraries (arrows package)ParentContentsIndex
Control.Arrow.Transformer
Portability non-portable (multi-parameter type classes)
Stability experimental
Maintainer ross@soi.city.ac.uk
Description
Arrow transformers, for making new arrow types out of old ones.
Synopsis
class (Arrow a, Arrow (f a)) => ArrowTransformer f a where
lift :: a b c -> f a b c
Documentation
class (Arrow a, Arrow (f a)) => ArrowTransformer f a where
Construct a new arrow from an existing one.
Methods
lift :: a b c -> f a b c

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

Typical usage in arrow notation: 

	proc p -> ...
		(|lift cmd|)
Instances
Arrow a => ArrowTransformer Automaton a
ArrowChoice a => ArrowTransformer (ErrorArrow ex) a
Arrow a => ArrowTransformer (ReaderArrow r) a
Arrow a => ArrowTransformer (StateArrow s) a
(Arrow a, Sequence f) => ArrowTransformer (StaticArrow f) a
Arrow a => ArrowTransformer StreamArrow a
(Arrow a, Monoid w) => ArrowTransformer (WriterArrow w) a
Produced by Haddock version 0.5