| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Control.Monad.Trans.MultiState.Class
Contents
Description
The multi-valued version of mtl's MonadState
- class Monad m => MonadMultiState a m where
MonadMultiState class
class Monad m => MonadMultiState a m where Source #
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
state set function for values of type a.
state get function for values of type a.
Instances
| (MonadTrans t, Monad (t m), MonadMultiState a m) => MonadMultiState a (t m) Source # | |
| (Monad m, ContainsType a c) => MonadMultiState a (MultiStateT c m) Source # | |
| (Monad m, ContainsType a c) => MonadMultiState a (MultiStateT c m) Source # | |
| (Monad m, ContainsType a s) => MonadMultiState a (MultiRWST r w s m) Source # | |
| (Monad m, ContainsType a s) => MonadMultiState a (MultiRWST r w s m) Source # | |