fuzion-lang.dev — The Fuzion Language Portal
Sign up
Fuzion
•
Fuzion Library Modules
•
base
•
u64
☰
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
u64
u64
§
u64
(val
u64
)
:
wrap_around
,
has_interval
is
[src]
Fields
§
val
u64
[src]
Constructors
§
postfix |
:
Any
is
[Inherited from
numeric
]
[src]
Functions
§
abs
=>
numeric.this
[Inherited from
numeric
]
[src]
§
as_bytes
=>
array u8
[Inherited from
wrap_around
]
[src]
§
as_f32
=>
f32
[src]
§
as_f64
=>
f64
[src]
§
as_i128
=>
i128
[src]
§
as_i16
=>
i16
[src]
§
as_i32
=>
i32
[src]
§
as_i64
=>
i64
[src]
§
as_i8
=>
i8
[src]
§
as_int
=>
int
[src]
§
as_string
=>
String
[Inherited from
integer
]
[src]
redefines:
Any.as_string
§
as_string
(base
u32
)
=>
String
[Inherited from
integer
]
[src]
§
as_string
(len
i32
, base
u32
)
=>
String
[Inherited from
integer
]
[src]
§
as_u128
=>
u128
[src]
§
as_u16
=>
u16
[src]
§
as_u32
=>
u32
[src]
§
as_u8
=>
u8
[Redefinition of
numeric.as_u8
]
[src]
redefines:
numeric.as_u8
§
as_uint
=>
uint
[src]
§
bin
=>
String
[Inherited from
integer
]
[src]
§
bin
(len
i32
)
=>
String
[Inherited from
integer
]
[src]
§
cast_to_f64
=>
f64
[src]
§
cast_to_i64
=>
i64
[src]
§
dec
=>
String
[Inherited from
integer
]
[src]
§
dec
(len
i32
)
=>
String
[Inherited from
integer
]
[src]
§
dynamic_type
=>
Type
[Inherited from
Any
]
[src]
§
fits_in_u8
=>
bool
[Redefinition of
numeric.fits_in_u8
]
[src]
redefines:
numeric.fits_in_u8
§
gcd
(b
integer.this
)
=>
integer.this
[Inherited from
integer
]
[src]
§
hex
=>
String
[Inherited from
integer
]
[src]
§
hex
(len
i32
)
=>
String
[Inherited from
integer
]
[src]
§
highest_one_bit
=>
u64
[src]
§
infix %
(other
u64
)
=>
u64
[Redefinition of
numeric.infix %
]
[src]
redefines:
numeric.infix %
§
infix %!
(other
integer.this
)
=>
bool
[Inherited from
integer
]
[src]
redefines:
numeric.infix %!
§
infix %%
(other
integer.this
)
=>
bool
[Inherited from
integer
]
[src]
§
infix &
(other
u64
)
=>
u64
[Redefinition of
integer.infix &
]
[src]
redefines:
integer.infix &
§
infix *
(other
num.this.wrap_around.this
)
=>
num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix *
§
infix *!
(other
num.this.wrap_around.this
)
=>
bool
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix *!
§
infix **
(other
num.this.wrap_around.this
)
=>
num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix **
§
infix **!
(other
num.this.wrap_around.this
)
=>
bool
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix **!
§
infix **?
(other
num.this.wrap_around.this
)
=>
option num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix **?
§
infix **^
(other
num.this.wrap_around.this
)
=>
num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix **^
§
infix **°
(other
num.this.wrap_around.this
)
=>
num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
§
infix *?
(other
num.this.wrap_around.this
)
=>
option num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix *?
§
infix *^
(other
num.this.wrap_around.this
)
=>
num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix *^
§
infix *°
(other
u64
)
=>
u64
[Redefinition of
num.wrap_around.infix *°
]
[src]
redefines:
num.wrap_around.infix *°
§
infix +
(other
num.this.wrap_around.this
)
=>
num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix +
§
infix +!
(other
num.this.wrap_around.this
)
=>
bool
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix +!
§
infix +?
(other
num.this.wrap_around.this
)
=>
option num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix +?
§
infix +^
(other
num.this.wrap_around.this
)
=>
num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix +^
§
infix +°
(other
u64
)
=>
u64
[Redefinition of
num.wrap_around.infix +°
]
[src]
redefines:
num.wrap_around.infix +°
§
infix -
(other
num.this.wrap_around.this
)
=>
num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix -
§
infix -!
(other
num.this.wrap_around.this
)
=>
bool
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix -!
§
infix -?
(other
num.this.wrap_around.this
)
=>
option num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix -?
§
infix -^
(other
num.this.wrap_around.this
)
=>
num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.infix -^
§
infix -°
(other
u64
)
=>
u64
[Redefinition of
num.wrap_around.infix -°
]
[src]
redefines:
num.wrap_around.infix -°
§
infix ..
(through
has_interval.this
)
=>
interval has_interval.this
[Inherited from
has_interval
]
[src]
§
infix /
(other
u64
)
=>
u64
[Redefinition of
numeric.infix /
]
[src]
redefines:
numeric.infix /
§
infix /!
(other
integer.this
)
=>
bool
[Inherited from
integer
]
[src]
redefines:
numeric.infix /!
§
infix /-/
(other
integer.this
)
=>
num.fraction integer.this
[Inherited from
integer
]
[src]
§
infix <<
(other
u64
)
=>
u64
[Redefinition of
integer.infix <<
]
[src]
redefines:
integer.infix <<
§
infix >>
(other
u64
)
=>
u64
[Redefinition of
integer.infix >>
]
[src]
redefines:
integer.infix >>
§
infix ^
(other
u64
)
=>
u64
[Redefinition of
integer.infix ^
]
[src]
redefines:
integer.infix ^
§
infix |
(other
u64
)
=>
u64
[Redefinition of
integer.infix |
]
[src]
redefines:
integer.infix |
§
infix ⁄
(other
integer.this
)
=>
num.fraction integer.this
[Inherited from
integer
]
[src]
§
is_bounded
=>
bool
[Inherited from
wrap_around
]
[src]
redefines:
integer.is_bounded
§
is_max
=>
bool
[Inherited from
wrap_around
]
[src]
§
is_min
=>
bool
[Inherited from
wrap_around
]
[src]
§
is_one
=>
bool
[Inherited from
numeric
]
[src]
§
is_zero
=>
bool
[Inherited from
numeric
]
[src]
§
low16bits
=>
u16
[src]
§
low32bits
=>
u32
[src]
§
low8bits
=>
u8
[Redefinition of
integer.low8bits
]
[src]
redefines:
integer.low8bits
§
oct
=>
String
[Inherited from
integer
]
[src]
§
oct
(len
i32
)
=>
String
[Inherited from
integer
]
[src]
§
ones_count
=>
i32
[Redefinition of
num.wrap_around.ones_count
]
[src]
redefines:
num.wrap_around.ones_count
§
overflow_on_add
(other
u64
)
=>
bool
[Redefinition of
num.wrap_around.overflow_on_add
]
[src]
redefines:
num.wrap_around.overflow_on_add
§
overflow_on_exp
(other
num.this.wrap_around.this
)
=>
bool
[Inherited from
wrap_around
]
[src]
§
overflow_on_mul
(other
u64
)
=>
bool
[Redefinition of
num.wrap_around.overflow_on_mul
]
[src]
redefines:
num.wrap_around.overflow_on_mul
§
overflow_on_sub
(other
u64
)
=>
bool
[Redefinition of
num.wrap_around.overflow_on_sub
]
[src]
redefines:
num.wrap_around.overflow_on_sub
§
postfix ..
=>
interval has_interval.this
[Inherited from
has_interval
]
[src]
§
postfix ..∞
=>
interval has_interval.this
[Inherited from
has_interval
]
[src]
§
prefix $
=>
String
[Inherited from
Any
]
[src]
§
prefix +
=>
numeric.this
[Inherited from
numeric
]
[src]
§
prefix +!
=>
bool
[Inherited from
numeric
]
[src]
§
prefix -
=>
num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.prefix -
§
prefix -!
=>
bool
[Inherited from
wrap_around
]
[src]
redefines:
numeric.prefix -!
§
prefix -?
=>
option num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.prefix -?
§
prefix -^
=>
num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
numeric.prefix -^
§
prefix -°
=>
u64
[Redefinition of
num.wrap_around.prefix -°
]
[src]
redefines:
num.wrap_around.prefix -°
§
prefix ~
=>
num.this.wrap_around.this
[Inherited from
wrap_around
]
[src]
redefines:
integer.prefix ~
§
prefix ¬
=>
integer.this
[Inherited from
integer
]
[src]
§
sign
=>
i32
[Inherited from
numeric
]
[src]
§
trailing_zeros
=>
i32
[src]
§
underflow_on_add
(other
u64
)
=>
bool
[Redefinition of
num.wrap_around.underflow_on_add
]
[src]
redefines:
num.wrap_around.underflow_on_add
§
underflow_on_mul
(other
u64
)
=>
bool
[Redefinition of
num.wrap_around.underflow_on_mul
]
[src]
redefines:
num.wrap_around.underflow_on_mul
§
underflow_on_sub
(other
u64
)
=>
bool
[Redefinition of
num.wrap_around.underflow_on_sub
]
[src]
redefines:
num.wrap_around.underflow_on_sub
§
wrapped_on_add
(other
num.this.wrap_around.this
)
=>
bool
[Inherited from
wrap_around
]
[src]
§
wrapped_on_mul
(other
num.this.wrap_around.this
)
=>
bool
[Inherited from
wrap_around
]
[src]
§
wrapped_on_neg
=>
bool
[Redefinition of
num.wrap_around.wrapped_on_neg
]
[src]
redefines:
num.wrap_around.wrapped_on_neg
§
wrapped_on_sub
(other
num.this.wrap_around.this
)
=>
bool
[Inherited from
wrap_around
]
[src]
Type Functions
§
type
.all_bits_set
=>
u64
[Redefinition of
num.wrap_around.type.all_bits_set
]
[src]
redefines:
num.wrap_around.type.all_bits_set
§
type
.as_string
=>
String
[Inherited from
Type
]
[src]
redefines:
Any.as_string
§
type
.byte_size
=>
i32
[Inherited from
wrap_around
]
[src]
§
type
.dynamic_type
=>
Type
[Inherited from
Type
]
[src]
redefines:
Any.dynamic_type
§
type
.equality
(a
u64
, b
u64
)
=>
bool
[Redefinition of
numeric.type.equality
]
[src]
redefines:
numeric.type.equality
property.orderable.type.equality
property.equatable.type.equality
§
type
.from_u32
(v
u32
)
=>
numeric.this.type
[Inherited from
numeric
]
[src]
§
type
.hash_code
(a u64.this.type)
=>
u64
[Redefinition of
property.hashable.type.hash_code
]
[src]
redefines:
property.hashable.type.hash_code
§
type
.infix :
(T
type
)
=>
bool
[Inherited from
Type
]
[src]
§
type
.is_equatable
=>
bool
[Inherited from
equatable
]
[src]
§
type
.lteq
(a
u64
, b
u64
)
=>
bool
[Redefinition of
numeric.type.lteq
]
[src]
redefines:
numeric.type.lteq
property.partially_orderable.type.lteq
§
type
.max
=>
u64
[Redefinition of
num.wrap_around.type.max
]
[src]
redefines:
num.wrap_around.type.max
§
type
.min
=>
u64
[Redefinition of
num.wrap_around.type.min
]
[src]
redefines:
num.wrap_around.type.min
§
type
.name
=>
String
[Inherited from
Type
]
[src]
§
type
.one
=>
u64
[Redefinition of
numeric.type.one
]
[src]
redefines:
numeric.type.one
§
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
.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
=>
u64
[Redefinition of
numeric.type.zero
]
[src]
redefines:
numeric.type.zero