Control.Monad.Ether.Reader.Class

See Control.Monad.Reader.Class.

Documentation

class Monad m => MonadReader tag r m | m tag -> r where

See MonadReader.

Minimal complete definition

(ask | reader), local

Methods

ask :: proxy tag -> m r

Retrieves the monad environment.

local :: proxy tag -> (r -> r) -> m a -> m a

Executes a computation in a modified environment.

reader :: proxy tag -> (r -> a) -> m a

Retrieves a function of the current environment.

Instances

(LiftLocal t, Monad (t m), MonadReader k tag r m) => MonadReader k tag r (t m)

Methods

ask :: proxy r -> m (t m)

local :: proxy r -> (t m -> t m) -> m a -> m a

reader :: proxy r -> (t m -> a) -> m a

(Monad m, (~) * r r') => MonadReader k tag r (ReaderT k tag r' m)

Methods

ask :: proxy r -> m (ReaderT k tag r' m)

local :: proxy r -> (ReaderT k tag r' m -> ReaderT k tag r' m) -> m a -> m a

reader :: proxy r -> (ReaderT k tag r' m -> a) -> m a

asks

Arguments

:: MonadReader tag r m

=> proxy tag

-> (r -> a)

The selector function to apply to the environment.

-> m a

Retrieves a function of the current environment.