Control.Monad.Ether.Reader

See Control.Monad.Reader.

MonadReader class

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.

The Reader monad

type Reader tag r = ReaderT tag r Identity

The parameterizable reader monad.

Computations are functions of a shared environment.

The return function ignores the environment, while >>= passes the inherited environment to both subcomputations.

runReader :: proxy tag -> Reader tag r a -> r -> a

Runs a ReaderT with the given environment and returns the final value.

The ReaderT monad transformer

type ReaderT tag r = TaggedTrans tag (ReaderT r)

The reader monad transformer, which adds a read-only environment to the given monad.

The return function ignores the environment, while >>= passes the inherited environment to both subcomputations.

readerT :: proxy tag -> (r -> m a) -> ReaderT tag r m a

Constructor for computations in the reader monad transformer.

runReaderT :: proxy tag -> ReaderT tag r m a -> r -> m a

Runs a ReaderT with the given environment and returns the final value.