Data.Accessor.MonadState

Access helper functions in a State monad

Documentation

set :: MonadState r m => T r a -> a -> m ()

get :: MonadState r m => T r a -> m a

modify :: MonadState r m => T r a -> (a -> a) -> m ()

getAndModify :: MonadState r m => T r a -> (a -> a) -> m a

Modify a record element and return its old value.

modifyAndGet :: MonadState r m => T r a -> (a -> a) -> m a

Modify a record element and return its new value.

(%=) :: MonadState r m => T r a -> a -> m ()

Infix variant of set.

(%:) :: MonadState r m => T r a -> (a -> a) -> m ()

Infix variant of modify.