Safe Haskell | None |
---|---|
Language | Haskell2010 |
MonadState without the function dependency m -> s
.
- class Monad m => MonadStates s m where
- modifyPoly :: (Monad m, MonadStates s m) => (s -> s) -> m ()
- usePoly :: forall s m a. (Monad m, MonadStates s m) => Getting a s a -> m a
- overPoly :: forall s m a. (Monad m, MonadStates s m) => ASetter s s a a -> (a -> a) -> m ()
Documentation
class Monad m => MonadStates s m where Source
MonadStates s m => MonadStates s (MaybeT m) Source | |
MonadStates s m => MonadStates s (ListT m) Source | |
MonadStates s m => MonadStates s (IdentityT m) Source | |
MonadStates s m => MonadStates s (ExceptT e m) Source | |
(Error e, MonadStates s m) => MonadStates s (ErrorT e m) Source | |
MonadStates s m => MonadStates s (ContT r m) Source | |
(Monoid w, MonadStates s m) => MonadStates s (WriterT w m) Source | |
(Monoid w, MonadStates s m) => MonadStates s (WriterT w m) Source | |
MonadStates s m => MonadStates s (ReaderT r m) Source | |
Monad m => MonadStates s (StateT s m) Source | |
Monad m => MonadStates s (StateT s m) Source | |
(Monad m, Monoid w) => MonadStates s (RWST r w s m) Source | |
(Monad m, Monoid w) => MonadStates s (RWST r w s m) Source |
modifyPoly :: (Monad m, MonadStates s m) => (s -> s) -> m () Source
usePoly :: forall s m a. (Monad m, MonadStates s m) => Getting a s a -> m a Source
overPoly :: forall s m a. (Monad m, MonadStates s m) => ASetter s s a a -> (a -> a) -> m () Source
Modify part of the s