Control.Arrow.Reader.Class

Documentation

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

Methods

ask :: s () r

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

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 () a

asksA :: ArrowReader r s => s r a -> s () a