Safe Haskell | Safe-Infered |
---|
Documentation
class ArrowTransformer xT whereSource
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
ArrowTransformer (ReaderT r) | |
ArrowTransformer (AbortT v) | |
ArrowTransformer (StateT s) | |
Monoid w => ArrowTransformer (WriterT w) |