Int16

16-bit signed integers with checked arithmetic

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

toInt

Conversion.

let toInt : (Int16) -> Int

fromInt

Conversion. Traps on overflow/underflow.

let fromInt : (Int) -> Int16

toText

Returns the Text representation of x.

func toText(x : Int16) : Text

abs

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

func abs(x : Int16) : Int16

min

Returns the minimum of x and y.

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

max

Returns the maximum of x and y.

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

equal

Returns x == y.

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

notEqual

Returns x != y.

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

less

Returns x < y.

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

lessOrEqual

Returns x ⇐ y.

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

greater

Returns x > y.

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

greaterOrEqual

Returns x >= y.

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

compare

Returns the order of x and y.

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

neg

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

func neg(x : Int16) : Int16

add

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

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

sub

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

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

mul

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

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

div

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

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

rem

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

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

pow

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

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