Incipit.Integral

Documentation

safeOp :: Real a => (a -> a -> b) -> a -> a -> Maybe b

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