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

Arrow s => ArrowReader r (ReaderT r s)

ArrowTransformer (ReaderT r)

Arrow s => Arrow (ReaderT r s)

ArrowZero s => ArrowZero (ReaderT r s)

ArrowPlus s => ArrowPlus (ReaderT r s)

ArrowApply s => ArrowApply (ReaderT r s)

ArrowLoop s => ArrowLoop (ReaderT r s)

Arrow s => Category (ReaderT r s)

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