atl-15322.1: Arrow Transformer Library

Control.Arrow.Reader

Documentation

newtype ReaderT r s a b Source

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) 
ArrowApply s => ArrowApply (ReaderT r s) 
Arrow s => Category (ReaderT r s) 

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