| Portability | non-portable (multi-parameter type classes) |
|---|---|
| Stability | experimental |
| Maintainer | ross@soi.city.ac.uk |
Control.Arrow.Transformer.CoState
Description
Transformation of state readers.
TODO: define operations for this arrow.
Documentation
newtype CoStateArrow s a b c Source
Constructors
| CoStateArrow (a (s -> b) (s -> c)) |