modify package:universum

Monadic state transformer. Maps an old state to a new state inside a state monad. The old state is thrown away.
Main> :t modify ((+1) :: Int -> Int)
modify (...) :: (MonadState Int a) => a ()
This says that modify (+1) acts over any Monad that is a member of the MonadState class, with an Int state.
Strict version of modifyTVar.
Lifted version of modifyIORef.
Lifted version of modifyIORef'.
A variant of modify in which the computation is strict in the new state.
Lifted version of atomicModifyIORef.
Lifted version of atomicModifyIORef'.