Int
Integer numbers
Most operations on integers (e.g. addition) are available as built-in operators (e.g. 1 + 1
). This module provides equivalent functions and Text
conversion.
Int
type Int = Prim.Types.Int
Infinite precision signed integers.
abs
let abs : Int -> Nat
Returns the absolute value of the number
toText
let toText : Int -> Text
Conversion.
min
func min(x : Int, y : Int) : Int
Returns the minimum of x
and y
.
max
func max(x : Int, y : Int) : Int
Returns the maximum of x
and y
.
hash
func hash(i : Int) : Hash.Hash
hashAcc
func hashAcc(h1 : Hash.Hash, i : Int) : Hash.Hash
May go away (?)
equal
func equal(x : Int, y : Int) : Bool
Returns x == y
.
notEqual
func notEqual(x : Int, y : Int) : Bool
Returns x != y
.
less
func less(x : Int, y : Int) : Bool
Returns x < y
.
lessOrEqual
func lessOrEqual(x : Int, y : Int) : Bool
Returns x ⇐ y
.
greater
func greater(x : Int, y : Int) : Bool
Returns x > y
.
greaterOrEqual
func greaterOrEqual(x : Int, y : Int) : Bool
Returns x >= y
.
compare
func compare(x : Int, y : Int) : {#less; #equal; #greater}
Returns the order of x
and y
.
neq
func neq(x : Int) : Int
Returns the negation of x
, -x
.
add
func add(x : Int, y : Int) : Int
Returns the sum of x
and y
, x + y
.
sub
func sub(x : Int, y : Int) : Int
Returns the difference of x
and y
, x - y
.
mul
func mul(x : Int, y : Int) : Int
Returns the product of x
and y
, x * y
.
div
func div(x : Int, y : Int) : Int
Returns the division of x
by y
, x / y
. Traps when y
is zero.
rem
func rem(x : Int, y : Int) : Int
Returns the remainder of x
divided by y
, x % y
. Traps when y
is zero.
pow
func pow(x : Int, y : Int) : Int
Returns x
to the power of y
, x ** y
.