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)

Methods

getPoly :: MaybeT m s

putPoly :: s -> MaybeT m ()

statePoly :: (s -> (a, s)) -> MaybeT m a

MonadStates s m => MonadStates s (ListT m)

Methods

getPoly :: ListT m s

putPoly :: s -> ListT m ()

statePoly :: (s -> (a, s)) -> ListT m a

MonadStates s m => MonadStates s (IdentityT * m)

Methods

getPoly :: IdentityT * m s

putPoly :: s -> IdentityT * m ()

statePoly :: (s -> (a, s)) -> IdentityT * m a

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

Methods

getPoly :: ExceptT e m s

putPoly :: s -> ExceptT e m ()

statePoly :: (s -> (a, s)) -> ExceptT e m a

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

Methods

getPoly :: ErrorT e m s

putPoly :: s -> ErrorT e m ()

statePoly :: (s -> (a, s)) -> ErrorT e m a

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

Methods

getPoly :: WriterT w m s

putPoly :: s -> WriterT w m ()

statePoly :: (s -> (a, s)) -> WriterT w m a

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

Methods

getPoly :: WriterT w m s

putPoly :: s -> WriterT w m ()

statePoly :: (s -> (a, s)) -> WriterT w m a

Monad m => MonadStates s (StateT s m)

Methods

getPoly :: StateT s m s

putPoly :: s -> StateT s m ()

statePoly :: (s -> (a, s)) -> StateT s m a

Monad m => MonadStates s (StateT s m)

Methods

getPoly :: StateT s m s

putPoly :: s -> StateT s m ()

statePoly :: (s -> (a, s)) -> StateT s m a

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

Methods

getPoly :: ContT * r m s

putPoly :: s -> ContT * r m ()

statePoly :: (s -> (a, s)) -> ContT * r m a

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

Methods

getPoly :: ReaderT * r m s

putPoly :: s -> ReaderT * r m ()

statePoly :: (s -> (a, s)) -> ReaderT * r m a

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

Methods

getPoly :: RWST r w s m s

putPoly :: s -> RWST r w s m ()

statePoly :: (s -> (a, s)) -> RWST r w s m a

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

Methods

getPoly :: RWST r w s m s

putPoly :: s -> RWST r w s m ()

statePoly :: (s -> (a, s)) -> RWST r w s m a

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