mod package:protolude
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.
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.
The fully-qualified name of the module where the type is declared
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.