Float

64-bit Floating-point numbers

pi

let pi : Float

Ratio of the circumference of a circle to its diameter.

e

let e : Float

Base of the natural logarithm.

abs

let abs : (x : Float) -> Float

Returns the absolute value of x.

sqrt

let sqrt : (x : Float) -> Float

Returns the square root of x.

ceil

let ceil : (x : Float) -> Float

Returns the smallest integral float greater than or equal to x.

floor

let floor : (x : Float) -> Float

Returns the largest integral float less than or equal to x.

trunc

let trunc : (x : Float) -> Float

Returns the nearest integral float not greater in magnitude than x.

nearest

let nearest : (x : Float) -> Float

Returns the nearest integral float to x.

copySign

let copySign : (x : Float, y : Float) -> Float

Returns x if x and y have same sign, otherwise x with negated sign.

min

let min : (x : Float, y : Float) -> Float

Returns the smaller value of x and y.

max

let max : (x : Float, y : Float) -> Float

Returns the larger value of x and y.

sin

let sin : (x : Float) -> Float

Returns the sine of the radian angle x.

cos

let cos : (x : Float) -> Float

Returns the cosine of the radian angle x.

tan

let tan : (x : Float) -> Float

Returns the tangent of the radian angle x.

arcsin

let arcsin : (x : Float) -> Float

Returns the arc sine of x in radians.

arccos

let arccos : (x : Float) -> Float

Returns the arc cosine of x in radians.

arctan

let arctan : (x : Float) -> Float

Returns the arc tangent of x in radians.

arctan2

let arctan2 : (y : Float, x : Float) -> Float

Given (y,x), returns the arc tangent in radians of y/x based on the signs of both values to determine the correct quadrant.

exp

let exp : (x : Float) -> Float

Returns the value of e raised to the x-th power.

log

let log : (x : Float) -> Float

Returns the natural logarithm (base-e) of x.

format

func format(fmt : {#fix : Nat8; #exp : Nat8; #gen : Nat8; #hex : Nat8; #exact}, x : Float) : Text

Formatting. format(fmt, x) formats x to Text according to the formatting directive fmt, which can take one of the following forms:

  • #fix prec as fixed-point format with prec digits

  • #exp prec as exponential format with prec digits

  • #gen prec as generic format with prec digits

  • #hex prec as hexadecimal format with prec digits

  • #exact as exact format that can be decoded without loss.

toText

let toText : Float -> Text

Conversion to Text. Use format(fmt, x) for more detailed control.

toInt64

let toInt64 : Float -> Int64

Conversion to Int64 by truncating Float, equivalent to toInt64(trunc(f))

fromInt64

let fromInt64 : Int64 -> Float

Conversion from Int64.

toInt

let toInt : Float -> Int

Conversion to Int via Int64, equivalent to Int64.toInt(toInt64(trunc(f)))

fromInt

let fromInt : Int -> Float

Conversion from Int via Int64. May trap.

equal

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

Returns x == y.

notEqual

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

Returns x != y.

less

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

Returns x < y.

lessOrEqual

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

Returns x ⇐ y.

greater

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

Returns x > y.

greaterOrEqual

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

Returns x >= y.

compare

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

Returns the order of x and y.

neq

func neq(x : Float) : Float

Returns the negation of x, -x .

add

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

Returns the sum of x and y, x + y.

sub

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

Returns the difference of x and y, x - y.

mul

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

Returns the product of x and y, x * y.

div

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

Returns the division of x by y, x / y.

rem

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

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

pow

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

Returns x to the power of y, x ** y.