Copyright	(c) Ross Paterson 2003
License	BSD-style (see the LICENSE file in the distribution)
Maintainer	ross@soi.city.ac.uk
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Control.Arrow.Transformer

Description

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

Synopsis

Documentation

class (Arrow a, Arrow (f a)) => ArrowTransformer f a where Source

Construct a new arrow from an existing one.

Methods

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

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

Typical usage in arrow notation:

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

Instances

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