Control.Arrow.Transformer
Documentation
class ArrowTransformer xT whereSource
Methods
lift :: Arrow r => r a b -> xT r a bSource
tmap :: (Arrow r, Arrow s) => (forall a b. r a b -> s a b) -> xT r a b -> xT s a bSource
Instances
| ArrowTransformer (ReaderT r) | |
| ArrowTransformer (AbortT v) | |
| ArrowTransformer (StateT s) | |
| Monoid w => ArrowTransformer (WriterT w) |