Control.Monad.DeepReader

Documentation

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

Methods

ask :: m r'

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

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

Instances

(Monad m, DeepLenses r r') => MonadDeepReader r r' (ReaderT r m)

Defined in Control.Monad.DeepReader

Methods

ask :: ReaderT r m r'

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

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