Documentation
class Arrow s => ArrowReader r s | s -> r whereSource
(Arrow s, ArrowTransformer xT, Arrow (xT (ReaderT r s))) => ArrowReader r (xT (ReaderT r s)) | |
Arrow s => ArrowReader r (ReaderT r s) |
asks :: ArrowReader r s => (r -> a) -> s () aSource