Control.Arrow.Reader

Documentation

module Control.Arrow.Reader.Class

newtype ReaderT r s a b

Constructors

ReaderT

Fields

• runReaderT :: s (a, r) 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

ArrowTransformer (ReaderT r)

Methods

lift :: Arrow r => r a b -> ReaderT r r a b

tmap :: (Arrow r, Arrow s) => (forall a b. r a b -> s a b) -> ReaderT r r a b -> ReaderT r s a b

Arrow s => Category * (ReaderT r s)

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

Arrow s => Arrow (ReaderT r s)

Methods

arr :: (b -> c) -> ReaderT r s b c

first :: ReaderT r s b c -> ReaderT r s (b, d) (c, d)

second :: ReaderT r s b c -> ReaderT r s (d, b) (d, c)

(***) :: ReaderT r s b c -> ReaderT r s b' c' -> ReaderT r s (b, b') (c, c')

(&&&) :: ReaderT r s b c -> ReaderT r s b c' -> ReaderT r s b (c, c')

ArrowZero s => ArrowZero (ReaderT r s)

Methods

zeroArrow :: ReaderT r s b c

ArrowPlus s => ArrowPlus (ReaderT r s)

Methods

(<+>) :: ReaderT r s b c -> ReaderT r s b c -> ReaderT r s b c

ArrowChoice s => ArrowChoice (ReaderT r s)

Methods

left :: ReaderT r s b c -> ReaderT r s (Either b d) (Either c d)

right :: ReaderT r s b c -> ReaderT r s (Either d b) (Either d c)

(+++) :: ReaderT r s b c -> ReaderT r s b' c' -> ReaderT r s (Either b b') (Either c c')

(|||) :: ReaderT r s b d -> ReaderT r s c d -> ReaderT r s (Either b c) d

ArrowApply s => ArrowApply (ReaderT r s)

Methods

app :: ReaderT r s (ReaderT r s b c, b) c

ArrowLoop s => ArrowLoop (ReaderT r s)

Methods

loop :: ReaderT r s (b, d) (c, d) -> ReaderT r s b c

withReaderT :: Arrow s => s q r -> ReaderT r s a b -> ReaderT q s a b