Control.Monad.States

MonadState without the function dependency m -> s.

Documentation

module Control.Monad.State

class Monad m => MonadStates s m where

Copy of MonadState with functional dependency m -> s removed.

Minimal complete definition

Nothing

Methods

get :: m s

put :: s -> m ()

Instances

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

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

Monad m => MonadStates s (StateT s m)

modify :: MonadStates s m => (s -> s) -> m ()

Copy of mondify

modify' :: MonadStates s m => (s -> s) -> m ()

Copy of modify'

gets :: MonadStates s m => (s -> a) -> m a

Copy of gets