Safe Haskell	None
Language	Haskell2010

Control.Monad.DeepReader

Documentation

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

Methods

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

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

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 #