quotRem is:exact

Simultaneous quot and rem. WARNING: This function is partial (because it throws when 0 is passed as the divisor) for all the integer types in base.
simultaneous quot and rem WARNING: This function is partial (because it throws when 0 is passed as the divisor) for all the integer types in base.
simultaneous quot and rem
Simultaneous quot and rem.
Division with remainder.
\x y -> y == 0 || let (q, r) = x `quotRem` y in x == q * y + r
simultaneous quot and rem