Documentation
module Control.Arrow.Reader.Class
newtype ReaderT r s a b Source
ReaderT | |
|
(Arrow s, ArrowTransformer xT, Arrow (xT (ReaderT r s))) => ArrowReader r (xT (ReaderT r s)) | |
Arrow s => ArrowReader r (ReaderT r s) | |
ArrowTransformer (ReaderT r) | |
Arrow s => Arrow (ReaderT r s) | |
ArrowZero s => ArrowZero (ReaderT r s) | |
ArrowPlus s => ArrowPlus (ReaderT r s) | |
ArrowApply s => ArrowApply (ReaderT r s) | |
ArrowLoop s => ArrowLoop (ReaderT r s) | |
Arrow s => Category (ReaderT r s) |
withReaderT :: Arrow s => s q r -> ReaderT r s a b -> ReaderT q s a bSource