Control.Monad.States

MonadState without the function dependency m -> s.

Documentation

class Monad m => MonadStates s m where

Minimal complete definition

statePoly | getPoly, putPoly

Methods

getPoly :: m s

putPoly :: s -> m ()

Replace the state inside the monad.

Instances

MonadStates s m => MonadStates s (MaybeT m)

MonadStates s m => MonadStates s (ListT m)

MonadStates s m => MonadStates s (IdentityT m)

MonadStates s m => MonadStates s (ExceptT e m)

(Error e, MonadStates s m) => MonadStates s (ErrorT e m)

MonadStates s m => MonadStates s (ContT r m)

(Monoid w, MonadStates s m) => MonadStates s (WriterT w m)

(Monoid w, MonadStates s m) => MonadStates s (WriterT w m)

MonadStates s m => MonadStates s (ReaderT r m)

Monad m => MonadStates s (StateT s m)

Monad m => MonadStates s (StateT s m)

(Monad m, Monoid w) => MonadStates s (RWST r w s m)

(Monad m, Monoid w) => MonadStates s (RWST r w s m)

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 ()

Modify part of the s