mod package:universum

integer modulus, satisfying

(x `div` y)*y + (x `mod` y) == x

WARNING: This function is partial (because it throws when 0 is passed as the divisor) for all the integer types in base.

Strict version of modifyTVar.

Lifted version of modifyIORef.

Lifted version of modifyIORef'.

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.

A variant of modify in which the computation is strict in the new state.

data () => IOMode

simultaneous div and mod WARNING: This function is partial (because it throws when 0 is passed as the divisor) for all the integer types in base.

Lifted version of atomicModifyIORef.

Lifted version of atomicModifyIORef'.