Bosatsu/Num/Float64

Index

Values

operator *

def operator *(a: Float64, b: Float64) -> Float64

operator +

def operator +(a: Float64, b: Float64) -> Float64

operator -

def operator -(a: Float64, b: Float64) -> Float64

operator /

def operator /(a: Float64, b: Float64) -> Float64

abs

def abs(x: Float64) -> Float64

acos

def acos(x: Float64) -> Float64

addf

def addf(a: Float64, b: Float64) -> Float64

asin

def asin(x: Float64) -> Float64

atan

def atan(x: Float64) -> Float64

atan2

def atan2(y: Float64, x: Float64) -> Float64

ceil

def ceil(x: Float64) -> Float64

cmp_Float64

def cmp_Float64(a: Float64, b: Float64) -> Comparison

copy_sign

def copy_sign(x: Float64, sign: Float64) -> Float64

cos

def cos(x: Float64) -> Float64

cosh

def cosh(x: Float64) -> Float64

divf

def divf(a: Float64, b: Float64) -> Float64

eq_Float64

def eq_Float64(a: Float64, b: Float64) -> Bool

exp

def exp(x: Float64) -> Float64

float64_bits_to_Int

def float64_bits_to_Int(x: Float64) -> Int

float64_to_Int

def float64_to_Int(f: Float64) -> Option[Int]

float64_to_String

def float64_to_String(x: Float64) -> String

floor

def floor(x: Float64) -> Float64

hypot

def hypot(x: Float64, y: Float64) -> Float64

inf

inf: Float64

int_bits_to_Float64

def int_bits_to_Float64(int: Int) -> Float64

int_to_Float64

def int_to_Float64(i: Int) -> Float64

is_finite

def is_finite(x: Float64) -> Bool

is_infinite

def is_infinite(x: Float64) -> Bool

is_nan

def is_nan(x: Float64) -> Bool

log

def log(x: Float64) -> Float64

log10

def log10(x: Float64) -> Float64

neg_inf

neg_inf: Float64

pow

def pow(x: Float64, y: Float64) -> Float64

sin

def sin(x: Float64) -> Float64

sinh

def sinh(x: Float64) -> Float64

sqrt

def sqrt(x: Float64) -> Float64

string_to_Float64

def string_to_Float64(s: String) -> Option[Float64]

subf

def subf(a: Float64, b: Float64) -> Float64

tan

def tan(x: Float64) -> Float64

tanh

def tanh(x: Float64) -> Float64

timesf

def timesf(a: Float64, b: Float64) -> Float64
The source code for this page can be found here.