A collection of functions which operate on 32-bit signed integers.
The Int type represents integers in the range [-2^31 .. 2^31).
The NonZeroInt type represents non-zero integers in the range [-2^31 .. 2^31).
Returns the sum of its two arguments.
> add (1) (2)
3Returns the result of subtracting its first argument from its second argument.
> sub (1) (100)
99Returns the product of its two arguments.
> mul (6) (7)
42Returns the result of dividing its second argument by its first argument, truncating towards zero.
Throws if the divisor is zero.
See also div.
> quot (5) (42)
8
> quot (-5) (42)
-8
> quot (5) (-42)
-8
> quot (-5) (-42)
8Integer remainder, satisfying:
quot (y) (x) * y + rem (y) (x) === x
Throws if the divisor is zero.
See also mod.
> rem (5) (42)
2
> rem (-5) (42)
2
> rem (5) (-42)
-2
> rem (-5) (-42)
-2Returns the result of dividing its second argument by its first argument, truncating towards negative infinity.
Throws if the divisor is zero.
See also quot.
> div (5) (42)
8
> div (-5) (42)
-9
> div (5) (-42)
-9
> div (-5) (-42)
8Integer modulus, satisfying:
div (y) (x) * y + mod (y) (x) === x
Throws if the divisor is zero.
See also rem.
> mod (5) (42)
2
> mod (-5) (42)
-3
> mod (5) (-42)
3
> mod (-5) (-42)
-2Bitwise AND. Returns an Int with a one at each bit position at which both arguments have a one.
> and (0b1100) (0b1010)
0b1000Bitwise OR. Returns an Int with a one at each bit position at which at least one argument has a one.
> or (0b1100) (0b1010)
0b1110Bitwise XOR. Returns an Int with a one at each bit position at which exactly one argument has a one.
> xor (0b1100) (0b1010)
0b0110Bitwise NOT, satisfying:
not (x) === -(x + 1)
> not (42)
-43Returns true if its argument is even; false if it is odd.
> even (42)
trueReturns true if its argument is odd; false if it is even.
> odd (42)
false