Control.Arrow.Transformer.CoState

Control.Arrow.Transformer.CoState

Portability	non-portable (multi-parameter type classes)
Stability	experimental
Maintainer	ross@soi.city.ac.uk

Description

Transformation of state readers.

TODO: define operations for this arrow.

data CoStateArrow s a b c

Instances

Arrow a => Arrow (CoStateArrow s a)

ArrowLoop a => ArrowLoop (CoStateArrow s a)

ArrowPlus a => ArrowPlus (CoStateArrow s a)

ArrowZero a => ArrowZero (CoStateArrow s a)

module Control.Arrow.Operations

Produced by Haddock version 0.5