Control.Monad.RevState.Class

Documentation

class MonadFix m => MonadRevState s m | m -> s where

Minimal complete definition

get, put | state

Methods

get :: m s

put :: s -> m ()

state :: (s -> (a, s)) -> m a

Instances

MonadFix m => MonadRevState s (StateT s m)

Defined in Control.Monad.RevState.Class

Methods

get :: StateT s m s

put :: s -> StateT s m ()

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

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

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