| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Control.Monad.States
Description
MonadState without the function dependency m -> s.
- module Control.Monad.State
- class Monad m => MonadStates s m where
- modify :: MonadStates s m => (s -> s) -> m ()
- modify' :: MonadStates s m => (s -> s) -> m ()
- gets :: MonadStates s m => (s -> a) -> m a
Documentation
module Control.Monad.State
class Monad m => MonadStates s m where Source
Copy of MonadState with functional dependency m -> s removed.
Minimal complete definition
Nothing
Instances
| (Monad m, Monoid w, MonadStates s m) => MonadStates s (WriterT w m) Source | |
| (Monad m, MonadStates s m) => MonadStates s (ReaderT r m) Source | |
| Monad m => MonadStates s (StateT s m) Source |
modify :: MonadStates s m => (s -> s) -> m () Source
Copy of mondify
modify' :: MonadStates s m => (s -> s) -> m () Source
Copy of modify'
gets :: MonadStates s m => (s -> a) -> m a Source
Copy of gets