fuzion-lang.dev — The Fuzion Language Portal
Sign up
Fuzion
•
Fuzion Library Modules
•
base
•
float
☰
Modules
base
lock_free
nom
terminal
universe (module base)
|―
abort
(1 arg)
|―
Any
|―
array
|―
array2
|―
array3
|―
auto_unwrap
|―
Binary
|―
bitset
|―
bool
|―
choice
|―
codepoint
(1 arg)
|―
composition
|―
concur
| |―
atomic
(1 arg)
| |―
Future
| |―
sync
| | |―
condition
| | |―
mutex
| |―
thread
| |―
Thread_Handler
| |―
thread_pool
| |―
threads
(2 args)
|―
Cons
|―
cons
(2 args)
|―
container
| |―
abstract_array
| |―
Buffer
| |―
Circular_Buffer
| |―
expanding
| |―
expanding_array
| |―
hash_map
(2 args)
| |―
Linked_List
| |―
Map
| |―
Mutable_Array
| |―
Mutable_Array2
| |―
Mutable_Linked_List
| |―
Mutable_Map
| |―
mutable_tree_map
| |―
ordered_map
(2 args)
| | |―
entry
(1 arg)
| |―
Persistent_Map
| |―
ps_map
| |―
ps_set
| |―
Set
| |―
sorted_array
(2 args)
| |―
Stack
| |―
stack
|―
eff
| |―
fallible
(1 arg)
| |―
try
(1 arg)
|―
effect
|―
effect0
(1 arg)
|―
encodings
| |―
ascii
| |―
base16
| |―
base32
| |―
base32hex
| |―
base64
| |―
unicode
|―
envir
| |―
args
(1 arg)
| |―
vars
(1 arg)
| |―
Vars_Handler
|―
error
(1 arg)
|―
exit
|―
Exit_Handler
|―
f32
(1 arg)
|―
f64
(1 arg)
|―
false_
|―
ffi
|―
float
|―
Function
|―
fuzion
| |―
java
| | |―
Array
(1 arg)
| | |―
Java_Object
(1 arg)
| | |―
Java_String
(1 arg)
| |―
runtime
| | |―
check_fault
(1 arg)
| | |―
contract_fault
(1 arg)
| | |―
fault
(1 arg)
| | |―
post_fault
(1 arg)
| | |―
pre_fault
(1 arg)
| |―
sys
| | |―
Pointer
|―
handle0
| |―
put
(1 arg)
|―
handle2_0
|―
handles
|―
handles2
|―
has_interval
|―
i128
(2 args)
|―
i16
(1 arg)
|―
i32
(1 arg)
|―
i64
(1 arg)
|―
i8
(1 arg)
|―
int
|―
integer
|―
internationalization
| |―
american
| |―
german
| |―
ISO
| |―
japanese
| |―
korean
| |―
provide
|―
interval
(3 args)
|―
io
| |―
buffered
| | |―
reader
(2 args)
| | |―
writer
(2 args)
| | | |―
write_result
| |―
dir
| | |―
Dir_Read_Handler
| | |―
make
(2 args)
| | |―
Make_Dir_Handler
| | |―
open
| | |―
read
(1 arg)
| |―
end_of_file
| |―
Err
| |―
file
| | |―
delete
(2 args)
| | |―
Delete_Handler
| | |―
mapped_buffer
| | |―
meta_data
| | |―
mode
| | | |―
append
| | | |―
read
| | | |―
val
| | | |―
write
| | |―
move
(1 arg)
| | |―
Move_Handler
| | |―
open
| | |―
seek
(1 arg)
| | |―
Seek_Handler
| | |―
stat
(1 arg)
| | |―
Stat_Handler
| |―
Out
| |―
print_effect
| |―
Read_Handler
| |―
stdin
| |―
Write_Handler
|―
Lazy
|―
list
|―
memoize
| |―
memoized
|―
monad
|―
Monoid
|―
mutate
| |―
array
| |―
array2
| |―
circular_buffer
| |―
mutable_element
| |―
new
(1 arg)
|―
net
| |―
channel
| |―
connection
| |―
connections
| |―
family
| | |―
ipv4
| | |―
ipv6
| | |―
val
| |―
ip_address
(1 arg)
| |―
ip_version
| |―
protocol
| | |―
tcp
| | |―
udp
| | |―
val
| |―
server
| |―
socket_type
| | |―
datagram
| | |―
stream
|―
nil
|―
Nullary
|―
num
| |―
complex
(2 args)
| |―
fraction
(2 args)
| |―
matrix
(1 arg)
| |―
minus
| |―
plus
| |―
ryū
| | |―
rounding_mode
(2 args)
| |―
sign
| |―
wrap_around
|―
numeric
| |―
postfix |
|―
once
(1 arg)
|―
oneway_monad
(1 arg)
|―
oneway_monad_mode
| |―
inst
| |―
plain
| |―
repl
| |―
val
|―
option
|―
os
| |―
process
| |―
Process_Handler
| |―
processes
(2 args)
|―
outcome
|―
panic
(2 args)
|―
property
| |―
equatable
| |―
hashable
| |―
orderable
| |―
partially_orderable
|―
quantor
|―
random
(1 arg)
|―
Random_Handler
|―
Sequence
|―
state
(3 args)
|―
String
| |―
cut_result
| |―
infix *
(1 arg)
|―
switch
|―
time
| |―
date_time
(6 args)
| | |―
after
| | |―
before
| | |―
equal
| |―
duration
| |―
nano
(1 arg)
| |―
Nano_Time_Handler
| |―
now
(1 arg)
| |―
units
|―
transducer
(1 arg)
|―
trit
|―
true_
|―
try
(3 args)
|―
tuple
(1 arg)
|―
Type
|―
u128
(2 args)
|―
u16
(1 arg)
|―
u32
(1 arg)
|―
u64
(1 arg)
|―
u8
(1 arg)
|―
uint
|―
Unary
|―
unique_id
(1 arg)
|―
Unique_Id_Handler
|―
unit
|―
void
float
float
§
float
:
numeric
is
[Contains abstract features]
[src]
Constructors
§
postfix |
:
Any
is
[Inherited from
numeric
]
[src]
Functions
§
abs
=>
numeric.this
[Inherited from
numeric
]
[src]
§
acos
=>
float.this
[Abstract feature]
[src]
§
acosh
=>
float.this
[src]
§
as_i32
=>
i32
[src]
§
as_i64
=>
i64
[Abstract feature]
[src]
§
as_string
=>
String
[Inherited from
Any
]
[src]
§
as_u8
=>
u8
[Inherited from
numeric
]
[Abstract feature]
[src]
§
asin
=>
float.this
[Abstract feature]
[src]
§
asinh
=>
float.this
[src]
§
atan
=>
float.this
[Abstract feature]
[src]
§
atanh
=>
float.this
[src]
§
ceil
=>
float.this
[src]
§
cos
=>
float.this
[Abstract feature]
[src]
§
cosh
=>
float.this
[Abstract feature]
[src]
§
dynamic_type
=>
Type
[Inherited from
Any
]
[src]
§
exp
=>
float.this
[Abstract feature]
[src]
§
exponent
=>
i32
[Abstract feature]
[src]
§
exponent_biased
=>
i32
[Abstract feature]
[src]
§
fits_in_i64
=>
bool
[src]
§
fits_in_u8
=>
bool
[Inherited from
numeric
]
[src]
§
floor
=>
float.this
[src]
§
fract
=>
float.this
[Abstract feature]
[src]
§
infix !=
(other
float.this
)
=>
bool
[src]
§
infix %
(other
numeric.this
)
=>
numeric.this
[Inherited from
numeric
]
[Abstract feature]
[src]
§
infix %!
(other
numeric.this
)
=>
bool
[Inherited from
numeric
]
[src]
§
infix *
(other
numeric.this
)
=>
numeric.this
[Inherited from
numeric
]
[Abstract feature]
[src]
§
infix *!
(other
numeric.this
)
=>
bool
[Inherited from
numeric
]
[src]
§
infix **
(other
numeric.this
)
=>
numeric.this
[Inherited from
numeric
]
[Abstract feature]
[src]
§
infix **!
(other
numeric.this
)
=>
bool
[Inherited from
numeric
]
[src]
§
infix **?
(other
numeric.this
)
=>
option numeric.this
[Inherited from
numeric
]
[Abstract feature]
[src]
§
infix **^
(other
numeric.this
)
=>
numeric.this
[Inherited from
numeric
]
[Abstract feature]
[src]
§
infix *?
(other
numeric.this
)
=>
option numeric.this
[Inherited from
numeric
]
[src]
§
infix *^
(other
numeric.this
)
=>
numeric.this
[Inherited from
numeric
]
[src]
§
infix +
(other
numeric.this
)
=>
numeric.this
[Inherited from
numeric
]
[Abstract feature]
[src]
§
infix +!
(other
numeric.this
)
=>
bool
[Inherited from
numeric
]
[src]
§
infix +?
(other
numeric.this
)
=>
option numeric.this
[Inherited from
numeric
]
[src]
§
infix +^
(other
numeric.this
)
=>
numeric.this
[Inherited from
numeric
]
[src]
§
infix -
(other
numeric.this
)
=>
numeric.this
[Inherited from
numeric
]
[Abstract feature]
[src]
§
infix -!
(other
numeric.this
)
=>
bool
[Inherited from
numeric
]
[src]
§
infix -?
(other
numeric.this
)
=>
option numeric.this
[Inherited from
numeric
]
[src]
§
infix -^
(other
numeric.this
)
=>
numeric.this
[Inherited from
numeric
]
[src]
§
infix /
(other
numeric.this
)
=>
numeric.this
[Inherited from
numeric
]
[Abstract feature]
[src]
§
infix /!
(other
numeric.this
)
=>
bool
[Inherited from
numeric
]
[src]
§
infix <
(other
float.this
)
=>
bool
[Abstract feature]
[src]
§
infix <=
(other
float.this
)
=>
bool
[Abstract feature]
[src]
§
infix =
(other
float.this
)
=>
bool
[Abstract feature]
[src]
§
infix >
(other
float.this
)
=>
bool
[Abstract feature]
[src]
§
infix >=
(other
float.this
)
=>
bool
[Abstract feature]
[src]
§
is_NaN
=>
bool
[Abstract feature]
[src]
§
is_one
=>
bool
[Inherited from
numeric
]
[src]
§
is_sign_bit_set
=>
bool
[Abstract feature]
[src]
§
is_zero
=>
bool
[Inherited from
numeric
]
[src]
§
log
=>
float.this
[Abstract feature]
[src]
§
log
(base
float.this
)
=>
float.this
[src]
§
mantissa
=>
u64
[Abstract feature]
[src]
§
prefix $
=>
String
[Inherited from
Any
]
[src]
§
prefix +
=>
numeric.this
[Inherited from
numeric
]
[src]
§
prefix +!
=>
bool
[Inherited from
numeric
]
[src]
§
prefix -
=>
numeric.this
[Inherited from
numeric
]
[src]
§
prefix -!
=>
bool
[Inherited from
numeric
]
[src]
§
prefix -?
=>
option numeric.this
[Inherited from
numeric
]
[src]
§
prefix -^
=>
numeric.this
[Inherited from
numeric
]
[src]
§
round
=>
float.this
[src]
§
sign
=>
i32
[Inherited from
numeric
]
[src]
§
sin
=>
float.this
[Abstract feature]
[src]
§
sinh
=>
float.this
[Abstract feature]
[src]
§
sqrt
=>
float.this
[src]
§
square_root
=>
float.this
[Abstract feature]
[src]
§
tan
=>
float.this
[Abstract feature]
[src]
§
tanh
=>
float.this
[Abstract feature]
[src]
§
use_scientific_notation
=>
bool
[Abstract feature]
[src]
Type Functions
§
type
.as_string
=>
String
[Inherited from
Type
]
[src]
redefines:
Any.as_string
§
type
.atan2
(y float.this.type, x float.this.type)
=>
float.this.type
[Abstract feature]
[src]
§
type
.bytes
=>
i32
[Abstract feature]
[src]
§
type
.dynamic_type
=>
Type
[Inherited from
Type
]
[src]
redefines:
Any.dynamic_type
§
type
.epsilon
=>
float.this.type
[Abstract feature]
[src]
§
type
.equality
(a float.this.type, b float.this.type)
=>
bool
[Redefinition of
numeric.type.equality
]
[src]
redefines:
numeric.type.equality
property.orderable.type.equality
property.equatable.type.equality
§
type
.exponent_bits
=>
i32
[Abstract feature]
[src]
§
type
.exponent_range
=>
interval i32
[src]
§
type
.from_i64
(val
i64
)
=>
float.this.type
[Abstract feature]
[src]
§
type
.from_u32
(v
u32
)
=>
numeric.this.type
[Inherited from
numeric
]
[src]
§
type
.hash_code
(a property.hashable.this.type)
=>
u64
[Inherited from
hashable
]
[Abstract feature]
[src]
§
type
.infinity
=>
float.this.type
[src]
§
type
.infix :
(T
type
)
=>
bool
[Inherited from
Type
]
[src]
§
type
.is_equatable
=>
bool
[Inherited from
equatable
]
[src]
§
type
.lteq
(a float.this.type, b float.this.type)
=>
bool
[Redefinition of
numeric.type.lteq
]
[src]
redefines:
numeric.type.lteq
property.partially_orderable.type.lteq
§
type
.mantissa_bits
=>
i32
[src]
§
type
.max
=>
float.this.type
[Abstract feature]
[src]
§
type
.max_exp
=>
i32
[Abstract feature]
[src]
§
type
.min_exp
=>
i32
[Abstract feature]
[src]
§
type
.min_positive
=>
float.this.type
[Abstract feature]
[src]
§
type
.name
=>
String
[Inherited from
Type
]
[src]
§
type
.NaN
=>
float.this.type
[src]
§
type
.negative_infinity
=>
float.this.type
[src]
§
type
.one
=>
numeric.this.type
[Inherited from
numeric
]
[Abstract feature]
[src]
§
type
.positive_infinity
=>
float.this.type
[src]
§
type
.prefix $
=>
String
[Inherited from
Type
]
[src]
redefines:
Any.prefix $
§
type
.product
=>
Monoid numeric.this.type
[Inherited from
numeric
]
[src]
§
type
.product_saturating
=>
Monoid numeric.this.type
[Inherited from
numeric
]
[src]
§
type
.quiet_NaN
=>
float.this.type
[src]
§
type
.significand_bits
=>
i32
[Abstract feature]
[src]
§
type
.size
=>
i32
[src]
§
type
.sum
=>
Monoid numeric.this.type
[Inherited from
numeric
]
[src]
§
type
.sum_saturating
=>
Monoid numeric.this.type
[Inherited from
numeric
]
[src]
§
type
.ten
=>
numeric.this.type
[Inherited from
numeric
]
[src]
§
type
.two
=>
numeric.this.type
[Inherited from
numeric
]
[src]
§
type
.type_value
=>
Type
[Inherited from
Any
]
[src]
§
type
.zero
=>
numeric.this.type
[Inherited from
numeric
]
[Abstract feature]
[src]
§
type
.π
=>
float.this.type
[Abstract feature]
[src]
§
type
.ℇ
=>
float.this.type
[Abstract feature]
[src]