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

use :: MonadStates s m => Getting a s a -> m a

iuse :: MonadStates s m => IndexedGetting i (i, a) s a -> m (i, a)

uses :: MonadStates s m => LensLike' (Const r) s a -> (a -> r) -> m r

iuses :: MonadStates s m => IndexedGetting i r s a -> (i -> a -> r) -> m r