Control.Monad.Trans.MultiState.Class

The multi-valued version of mtl's MonadState

MonadMultiState class

class Monad m => MonadMultiState a m where

All methods must be defined.

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

Methods

mSet :: a -> m ()

state set function for values of type a.

mGet :: m a

state get function for values of type a.

Instances

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

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

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

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

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