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
asksA :: ArrowReader r s => s r a -> s () aSource