Control.Monad.RevState.Class

Documentation

class (Applicative m, MonadFix m) => MonadRevState s m | m -> s where

Methods

get :: m s

put :: s -> m ()

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

Instances

MonadFix m => MonadRevState s (StateT s m)

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

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