Int64

64-bit signed integers with checked arithmetic

Most operations are available as built-in operators (1 + 1).

toInt

Conversion.

let toInt : (Int64) -> Int

fromInt

Conversion. Traps on overflow/underflow.

let fromInt : (Int) -> Int64

toText

Returns the Text representation of x.

func toText(x : Int64) : Text

abs

Returns the absolute value of x. Traps when x = Traps when `x = -2^63.

func abs(x : Int64) : Int64

min

Returns the minimum of x and y.

func min(x : Int64, y : Int64) : Int64

max

Returns the maximum of x and y.

func max(x : Int64, y : Int64) : Int64

equal

Returns x == y.

func equal(x : Int64, y : Int64) : Bool

notEqual

Returns x != y.

func notEqual(x : Int64, y : Int64) : Bool

less

Returns x < y.

func less(x : Int64, y : Int64) : Bool

lessOrEqual

Returns x ⇐ y.

func lessOrEqual(x : Int64, y : Int64) : Bool

greater

Returns x > y.

func greater(x : Int64, y : Int64) : Bool

greaterOrEqual

Returns x >= y.

func greaterOrEqual(x : Int64, y : Int64) : Bool

compare

Returns the order of x and y.

func compare(x : Int64, y : Int64) : {#less : (); #equal : (); #greater : ()}

neg

Returns the negation of x, -x. Traps on overflow.

func neg(x : Int64) : Int64

add

Returns the sum of x and y, x + y. Traps on overflow.

func add(x : Int64, y : Int64) : Int64

sub

Returns the difference of x and y, x - y. Traps on underflow.

func sub(x : Int64, y : Int64) : Int64

mul

Returns the product of x and y, x * y. Traps on overflow.

func mul(x : Int64, y : Int64) : Int64

div

Returns the division of x by y, x / y. Traps on division by zero.

func div(x : Int64, y : Int64) : Int64

rem

Returns the remainder of x divided by y, x % y.

func rem(x : Int64, y : Int64) : Int64

pow

Returns x to the power of y, x ** y. Traps on overflow.

func pow(x : Int64, y : Int64) : Int64