cornea-0.4.0.0: classy optical monadic state
Safe HaskellNone
LanguageHaskell2010

Control.Monad.DeepReader

Documentation

class Monad m => MonadDeepReader (r :: *) (r' :: *) (m :: * -> *) | m -> r where Source #

Methods

ask :: m r' Source #

local :: (r' -> r') -> m a -> m a Source #

asks :: (r' -> a) -> m a Source #

Instances

Instances details
(Monad m, DeepLenses r r') => MonadDeepReader r r' (ReaderT r m) Source # 
Instance details

Defined in Control.Monad.DeepReader

Methods

ask :: ReaderT r m r' Source #

local :: (r' -> r') -> ReaderT r m a -> ReaderT r m a Source #

asks :: (r' -> a) -> ReaderT r m a Source #