Safe Haskell	Safe
Language	Haskell2010

Control.Monad.Trans.MultiState.Class

Contents

MonadMultiState class

Description

The multi-valued version of mtl's MonadState

Synopsis

class Monad m => MonadMultiGet a m where
class MonadMultiGet a m => MonadMultiState a m where

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.

Minimal complete definition

mGet

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) #
Instance details Defined in Control.Monad.Trans.MultiGet.Class Methods mGet :: t m a #
(Monad m, ContainsType a c) => MonadMultiGet a (MultiStateT c m) #
Instance details Defined in Control.Monad.Trans.MultiState.Strict Methods mGet :: MultiStateT c m a #
(Monad m, ContainsType a c) => MonadMultiGet a (MultiStateT c m) #
Instance details Defined in Control.Monad.Trans.MultiState.Lazy Methods mGet :: MultiStateT c m a #
(Monad m, ContainsType a c) => MonadMultiGet a (MultiReaderT c m) #
Instance details Defined in Control.Monad.Trans.MultiReader.Strict Methods mGet :: MultiReaderT c m a #
(Monad m, ContainsType a c) => MonadMultiGet a (MultiReaderT c m) #
Instance details Defined in Control.Monad.Trans.MultiReader.Lazy Methods mGet :: MultiReaderT c m a #
(Monad m, HListMContains GettableFlag a cts) => MonadMultiGet a (MultiGSTT cts m) #
Instance details Defined in Control.Monad.Trans.MultiGST.Strict Methods mGet :: MultiGSTT cts m a #
(Monad m, HListMContains GettableFlag a cts) => MonadMultiGet a (MultiGSTT cts m) #
Instance details 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) #
Instance details 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) #
Instance details Defined in Control.Monad.Trans.MultiRWS.Lazy Methods mGet :: MultiRWST r w s m a #

class MonadMultiGet a m => MonadMultiState a m where #

Minimal complete definition

mSet

Methods

mSet :: a -> m () #

Instances

(MonadTrans t, Monad (t m), MonadMultiState a m) => MonadMultiState a (t m) #
Instance details Defined in Control.Monad.Trans.MultiState.Class Methods mSet :: a -> t m () #
(Monad m, ContainsType a c) => MonadMultiState a (MultiStateT c m) #
Instance details Defined in Control.Monad.Trans.MultiState.Strict Methods mSet :: a -> MultiStateT c m () #
(Monad m, ContainsType a c) => MonadMultiState a (MultiStateT c m) #
Instance details Defined in Control.Monad.Trans.MultiState.Lazy Methods mSet :: a -> MultiStateT c m () #
(Monad m, HListMContains SettableFlag a cts) => MonadMultiState a (MultiGSTT cts m) #
Instance details Defined in Control.Monad.Trans.MultiGST.Strict Methods mSet :: a -> MultiGSTT cts m () #
(Monad m, HListMContains SettableFlag a cts) => MonadMultiState a (MultiGSTT cts m) #
Instance details 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) #
Instance details 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) #
Instance details Defined in Control.Monad.Trans.MultiRWS.Lazy Methods mSet :: a -> MultiRWST r w s m () #