Control.Arrow.Reader

Documentation

module Control.Arrow.Reader.Class

newtype ReaderT r s a b

Constructors

ReaderT

Fields

runReaderT :: r -> s a b

Instances

(Arrow s, ArrowTrans xT, Arrow (xT (ReaderT r s))) => ArrowReader r (xT (ReaderT r s))

Arrow s => ArrowReader r (ReaderT r s)

ArrowTrans (ReaderT r)

Arrow s => Arrow (ReaderT r s)

ArrowApply s => ArrowApply (ReaderT r s)

Category s => Category (ReaderT r s)

inlineReaderT :: ArrowApply s => ReaderT r s a b -> s (r, a) b

outlineReaderT :: Arrow s => s (r, a) b -> ReaderT r s a b

withReaderTA :: ArrowApply s => s q r -> ReaderT r s a b -> ReaderT q s a b

withReaderT :: (q -> r) -> ReaderT r s a b -> ReaderT q s a b