Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class Monad m => MonadState m where
- get :: MonadState m => m (State m)
- put :: MonadState m => State m -> m ()
- data StateT s m a
- runStateT :: StateT s m a -> s -> m (a, s)
MonadState
class Monad m => MonadState m where Source #
Instances
MonadState Check Source # | |
(Functor m, Monad m) => MonadState (StateT s m) Source # | |
get :: MonadState m => m (State m) Source #
put :: MonadState m => State m -> m () Source #
StateT
State Transformer