IdrisDoc: Control.Monad.Reader

Control.Monad.Reader

RD : (runReaderT : r -> m a) -> ReaderT r m a