Safe Haskell	None
Language	Haskell2010

Effectful.Class.Reader

Synopsis

class Monad m => MonadReader r m where
- ask :: m r
- local :: (r -> r) -> m a -> m a
- reader :: (r -> a) -> m a
asks :: MonadReader r m => (r -> a) -> m a

Documentation

class Monad m => MonadReader r m where Source #

Compatiblity layer for a transition period from MTL-style effect handling to Eff.

Minimal complete definition

Methods

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

reader :: (r -> a) -> m a Source #

Instances details

Reader r :> es => MonadReader r (Eff es) Source #
Instance details Defined in Effectful.Class.Reader Methods ask :: Eff es r Source # local :: (r -> r) -> Eff es a -> Eff es a Source # reader :: (r -> a) -> Eff es a Source #
(MonadReader r m, MonadTransControl t, Monad (t m)) => MonadReader r (t m) Source #	Generic, overlappable instance.
Instance details Defined in Effectful.Class.Reader Methods ask :: t m r Source # local :: (r -> r) -> t m a -> t m a Source # reader :: (r -> a) -> t m a Source #

asks :: MonadReader r m => (r -> a) -> m a Source #