Control.Arrow.Reader.Class

Documentation

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

Minimal complete definition

ask, local

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

Methods

ask :: xT (ReaderT r s) () r

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

Arrow s => ArrowReader r (ReaderT r s)

Methods

ask :: ReaderT r s () r

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

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

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