Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
class MonadFix m => MonadRevState s m | m -> s where Source
MonadFix m => MonadRevState s (StateT s m) Source |
modify :: MonadRevState s m => (s -> s) -> m () Source
gets :: MonadRevState s m => (s -> a) -> m a Source