| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Control.Monad.Trans.MultiGet.Class
Contents
Description
The MonadMultiReader type-class
- class Monad m => MonadMultiGet a m where
MonadMultiReader class
class Monad m => MonadMultiGet a m where Source #
In contrast to MonadMultiReader, MonadMultiGet is defined for State too, so it corresponds to read-access of any kind.
Note however that for MultiRWS, only the values from the state part can
be accessed via MonadMultiGet, due to limitations of the design of
MultiRWS and of the type system. This is issue is resolved in the
MultiGST type.
Minimal complete definition
Instances
| (MonadTrans t, Monad (t m), MonadMultiGet a m) => MonadMultiGet a (t m) Source # | |
| (Monad m, ContainsType a c) => MonadMultiGet a (MultiReaderT c m) Source # | |
| (Monad m, ContainsType a c) => MonadMultiGet a (MultiReaderT c m) Source # | |
| (Monad m, ContainsType a c) => MonadMultiGet a (MultiStateT c m) Source # | |
| (Monad m, ContainsType a c) => MonadMultiGet a (MultiStateT c m) Source # | |
| (Monad m, HListMContains GettableFlag a cts) => MonadMultiGet a (MultiGSTT cts m) Source # | |
| (Monad m, HListMContains GettableFlag a cts) => MonadMultiGet a (MultiGSTT cts m) Source # | |
| (Monad m, ContainsType a s) => MonadMultiGet a (MultiRWST r w s m) Source # | |
| (Monad m, ContainsType a s) => MonadMultiGet a (MultiRWST r w s m) Source # | |