atl-15322.2: Arrow Transformer Library

Control.Arrow.Reader.Class

Documentation

class Arrow s => ArrowReader r s | s -> r whereSource

Methods

ask :: s () rSource

local :: (r -> r) -> s a b -> s a bSource

Instances

(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