Control.Monad.Trans.MultiState.Class

The multi-valued version of mtl's MonadState

MonadMultiState class

class Monad m => MonadMultiGet a m where

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.

Methods

mGet

Arguments

:: m a

Access to a specific type in the environment.

Instances

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

Defined in Control.Monad.Trans.MultiGet.Class

Methods

mGet :: t m a

(Monad m, ContainsType a c) => MonadMultiGet a (MultiStateT c m)

Defined in Control.Monad.Trans.MultiState.Strict

Methods

mGet :: MultiStateT c m a

(Monad m, ContainsType a c) => MonadMultiGet a (MultiStateT c m)

Defined in Control.Monad.Trans.MultiState.Lazy

Methods

mGet :: MultiStateT c m a

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

Defined in Control.Monad.Trans.MultiReader.Strict

Methods

mGet :: MultiReaderT c m a

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

Defined in Control.Monad.Trans.MultiReader.Lazy

Methods

mGet :: MultiReaderT c m a

(Monad m, HListMContains 'GettableFlag a cts) => MonadMultiGet a (MultiGSTT cts m)

Defined in Control.Monad.Trans.MultiGST.Strict

Methods

mGet :: MultiGSTT cts m a

(Monad m, HListMContains 'GettableFlag a cts) => MonadMultiGet a (MultiGSTT cts m)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

mGet :: MultiGSTT cts m a

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

Defined in Control.Monad.Trans.MultiRWS.Strict

Methods

mGet :: MultiRWST r w s m a

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

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

mGet :: MultiRWST r w s m a

class MonadMultiGet a m => MonadMultiState a m where

Methods

mSet :: a -> m ()

Instances

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

Defined in Control.Monad.Trans.MultiState.Class

Methods

mSet :: a -> t m ()

(Monad m, ContainsType a c) => MonadMultiState a (MultiStateT c m)

Defined in Control.Monad.Trans.MultiState.Strict

Methods

mSet :: a -> MultiStateT c m ()

(Monad m, ContainsType a c) => MonadMultiState a (MultiStateT c m)

Defined in Control.Monad.Trans.MultiState.Lazy

Methods

mSet :: a -> MultiStateT c m ()

(Monad m, HListMContains 'SettableFlag a cts) => MonadMultiState a (MultiGSTT cts m)

Defined in Control.Monad.Trans.MultiGST.Strict

Methods

mSet :: a -> MultiGSTT cts m ()

(Monad m, HListMContains 'SettableFlag a cts) => MonadMultiState a (MultiGSTT cts m)

Defined in Control.Monad.Trans.MultiGST.Lazy

Methods

mSet :: a -> MultiGSTT cts m ()

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

Defined in Control.Monad.Trans.MultiRWS.Strict

Methods

mSet :: a -> MultiRWST r w s m ()

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

Defined in Control.Monad.Trans.MultiRWS.Lazy

Methods

mSet :: a -> MultiRWST r w s m ()