arrows-0.4.1.2: Arrow classes and transformers

Portabilitynon-portable (multi-parameter type classes)
Stabilityexperimental
Maintainerross@soi.city.ac.uk

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 whereSource

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|)