Portability | non-portable (multi-parameter type classes) |
---|---|
Stability | experimental |
Maintainer | ross@soi.city.ac.uk |
Transformation of state readers.
TODO: define operations for this arrow.
Documentation
data CoStateArrow s a b c Source
Arrow a => Arrow (CoStateArrow s a) | |
ArrowZero a => ArrowZero (CoStateArrow s a) | |
ArrowPlus a => ArrowPlus (CoStateArrow s a) | |
ArrowLoop a => ArrowLoop (CoStateArrow s a) | |
Category a => Category (CoStateArrow s a) | |
Arrow a => Functor (CoStateArrow s a b) | |
Arrow a => Applicative (CoStateArrow s a b) | |
ArrowPlus a => Alternative (CoStateArrow s a b) | |
ArrowPlus a => Monoid (CoStateArrow s a b c) |