Incipit.Integral

Safe overrides of the methods of class Integral.

Documentation

safeOp :: Eq a => Num a => (a -> a -> b) -> a -> a -> Maybe b

Helper for operations that return Nothing if the second operand is 0.

quot :: Integral a => a -> a -> Maybe a

integer division truncated toward zero

rem :: Integral a => a -> a -> Maybe a

integer remainder, satisfying

(x `quot` y)*y + (x `rem` y) == x

div :: Integral a => a -> a -> Maybe a

integer division truncated toward negative infinity

mod :: Integral a => a -> a -> Maybe a

integer modulus, satisfying

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

quotRem :: Integral a => a -> a -> Maybe (a, a)

simultaneous quot and rem

divMod :: Integral a => a -> a -> Maybe (a, a)

simultaneous div and mod