Control.Monad.Trans.MultiReader.Class

The multi-valued version of mtl's MonadReader

MonadMultiReader class

class Monad m => MonadMultiReader a m where

All methods must be defined.

The idea is: Any monad stack is instance of MonadMultiReader a, iff the stack contains a MultiReaderT x with a element of x.

Methods

mAsk

Arguments

:: m a

Access to a specific type in the environment.

Instances

(MonadTrans t, Monad (t m), MonadMultiReader a m) => MonadMultiReader a (t m)

(Monad m, ContainsType a c) => MonadMultiReader a (MultiReaderT c m)

(Monad m, ContainsType a c) => MonadMultiReader a (MultiReaderT c m)

(Monad m, ContainsType a r) => MonadMultiReader a (MultiRWST r w s m)

(Monad m, ContainsType a r) => MonadMultiReader a (MultiRWST r w s m)