fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion
•
API-Documentation
•
quantors
☰
universe
|―
abort
(1 arg)
|―
analysis
|―
Any
| |―
as_string
| |―
dynamic_type
| |―
hash_code
| |―
prefix $
|―
array
(2 args)
|―
array
(4 args)
| |―
as_array
| |―
as_list
| |―
as_list
(1 arg)
| |―
enumerate
| |―
finite
| |―
fold
(3 args)
| |―
fold
(1 arg)
| |―
for_each
(1 arg)
| |―
index [ ]
(1 arg)
| |―
indices
| |―
length
| |―
map
(1 arg)
| |―
map_indexed
(1 arg)
| |―
put
(2 args)
| |―
put
(3 args)
| |―
reverse
| |―
slice
(2 args)
|―
array2
(3 args)
| |―
as_string
| |―
enumerate2
| |―
index [ ]
(2 args)
| |―
index_pairs
| |―
indices0
| |―
indices1
|―
array3
(4 args)
| |―
as_string
| |―
enumerate3
| |―
index [ ]
(3 args)
| |―
indices0
| |―
indices1
| |―
indices2
|―
bench
(2 args)
|―
bench
(3 args)
|―
bitset
| |―
as_string
| |―
has
(1 arg)
| |―
highest
| |―
index [ ]
(1 arg)
| |―
infix ∪
(1 arg)
| |―
put
(1 arg)
|―
bool
| |―
as_string
| |―
infix &
(1 arg)
| |―
infix &&
(1 arg)
| |―
infix :
(1 arg)
| |―
infix <=>
(1 arg)
| |―
infix ^
(1 arg)
| |―
infix |
(1 arg)
| |―
infix ||
(1 arg)
| |―
prefix !
| |―
ternary ? :
(2 args)
|―
cache
(1 arg)
|―
character_encodings
| |―
ascii
| |―
unicode
|―
choice
|―
code_effect
| |―
code
|―
codepoint
(1 arg)
| |―
is_ascii
|―
concur
| |―
atomic
(1 arg)
| | |―
compare_and_set
(2 args)
| | |―
compare_and_swap
(2 args)
| | |―
racy_accesses_supported
| | |―
racy_read
| | |―
racy_write
(1 arg)
| | |―
read
| | |―
write
(1 arg)
| |―
thread
| |―
thread
(1 arg)
| | |―
spawn
(1 arg)
| | |―
spawned
(1 arg)
| | | |―
join
| |―
Thread_Handler
|―
Cons
| |―
head
| |―
tail
|―
cons
(2 args)
|―
Const_String
(1 arg)
| |―
as_string
|―
container
| |―
ctrie
(2 args)
| | |―
add
(2 args)
| | |―
index [ ]
(1 arg)
| | |―
items
| | |―
remove
(1 arg)
| | |―
size
| | |―
snapshot
(1 arg)
| |―
float_sequence
(1 arg)
| | |―
as_list
| | |―
euclidean_norm
| | |―
std_dev
| |―
hash_map
(2 args)
| | |―
as_string
| | |―
index [ ]
(1 arg)
| | |―
items
| |―
Linked_List
| | |―
as_string
| |―
Map
| | |―
as_string
| | |―
has
(1 arg)
| | |―
index [ ]
(1 arg)
| | |―
items
| | |―
keys
| | |―
size
| | |―
values
| |―
map_of
(1 arg)
| |―
map_of
(2 args)
| |―
map_of_total_order
(3 args)
| |―
Mutable_Linked_List
(1 arg)
| | |―
append
(1 arg)
| | |―
concat
(1 arg)
| | |―
freeze
| | |―
next
| |―
mutable_tree_map
| | |―
as_string
| | |―
freeze
| | |―
get
(1 arg)
| | |―
index [ ]
(1 arg)
| | |―
items
| | |―
put
(2 args)
| | |―
remove
(1 arg)
| | |―
size
| |―
not_found
| | |―
as_string
| |―
numeric_sequence
(1 arg)
| | |―
average
| | |―
max
| | |―
median
| | |―
min
| | |―
variance
| |―
ordered_map
(2 args)
| | |―
add
(2 args)
| | |―
as_string
| | |―
entry
(1 arg)
| | |―
index [ ]
(1 arg)
| | |―
items
| | |―
size
| | |―
sorted_entries
| |―
ps_map
(3 args)
| | |―
add
(2 args)
| | |―
add
(1 arg)
| | |―
as_key_array
| | |―
index [ ]
(1 arg)
| | |―
infix ∪
(1 arg)
| | |―
items
| | |―
max
| | |―
min
| | |―
show
| | |―
union
(1 arg)
| |―
ps_set
(1 arg)
| |―
ps_set
(2 args)
| | |―
add
(1 arg)
| | |―
add_all
(1 arg)
| | |―
as_list
| | |―
contains
(1 arg)
| | |―
has
(1 arg)
| | |―
infix ∩
(1 arg)
| | |―
infix ∪
(1 arg)
| | |―
max
| | |―
min
| | |―
size
| | |―
size_option
| | |―
union
| |―
ps_sets
| | |―
empty
| |―
searchable_sequence
(1 arg)
| | |―
as_list
| | |―
count_matches
(1 arg)
| | |―
count_matches_overlapping
(1 arg)
| | |―
find
(1 arg)
| | |―
finite
| | |―
index_of
(1 arg)
| | |―
replace
(2 args)
| | |―
replace
(3 args)
| | |―
starts_with
(1 arg)
| |―
Set
| | |―
add
(1 arg)
| | |―
as_list
| | |―
as_string
| | |―
contains
(1 arg)
| | |―
finite
| | |―
remove
(1 arg)
| | |―
size_option
| |―
set_of_hashable
(1 arg)
| |―
set_of_ordered
(1 arg)
| |―
sorted_array
(2 args)
| | |―
find
(1 arg)
| | |―
find_key
(1 arg)
| |―
sorted_array_of
(1 arg)
|―
debug
|―
debug
(1 arg)
|―
debug_level
|―
effect
(1 arg)
| |―
abort
| |―
mode
| |―
return
|―
effect_mode
| |―
abort
| |―
default
| |―
inst
(1 arg)
| |―
new
| |―
plain
| |―
repl
| |―
val
|―
envir
| |―
args
| |―
args
(1 arg)
| |―
vars
| |―
vars
(1 arg)
| | |―
get
(2 args)
| | |―
get
(1 arg)
| | |―
set1
(2 args)
| | |―
unset
(1 arg)
| |―
Vars_Handler
|―
equals
(2 args)
|―
error
(1 arg)
| |―
as_string
|―
exit
(2 args)
|―
exit
(3 args)
|―
exit
|―
exit
(1 arg)
|―
Exit_Handler
|―
f128
(1 arg)
| |―
infix *
(1 arg)
| |―
infix +
(1 arg)
| |―
infix -
(1 arg)
| |―
infix /
(1 arg)
|―
f16
(1 arg)
| |―
infix *
(1 arg)
| |―
infix +
(1 arg)
| |―
infix -
(1 arg)
| |―
infix /
(1 arg)
|―
f32
(1 arg)
| |―
as_f64
| |―
as_string
| |―
cast_to_u32
| |―
exponent
| |―
exponent_biased
| |―
fract
| |―
hash
| |―
infix %
(1 arg)
| |―
infix *
(1 arg)
| |―
infix **
(1 arg)
| |―
infix +
(1 arg)
| |―
infix -
(1 arg)
| |―
infix /
(1 arg)
| |―
mantissa
| |―
prefix -
|―
f64
(1 arg)
| |―
as_f32
| |―
as_i64
| |―
as_i64_lax
| |―
as_string
| |―
cast_to_u64
| |―
exponent
| |―
exponent_biased
| |―
fits_in_i64
| |―
fract
| |―
hash
| |―
infix %
(1 arg)
| |―
infix *
(1 arg)
| |―
infix **
(1 arg)
| |―
infix +
(1 arg)
| |―
infix -
(1 arg)
| |―
infix /
(1 arg)
| |―
mantissa
| |―
prefix -
| |―
thiz
|―
FALSE
|―
false
|―
float
| |―
as_i32
| |―
as_i64
| |―
ceil
| |―
floor
| |―
fract
| |―
infix !=
(1 arg)
| |―
infix %!
(1 arg)
| |―
infix *!
(1 arg)
| |―
infix **!
(1 arg)
| |―
infix +!
(1 arg)
| |―
infix -!
(1 arg)
| |―
infix /!
(1 arg)
| |―
infix <
(1 arg)
| |―
infix <=
(1 arg)
| |―
infix =
(1 arg)
| |―
infix >
(1 arg)
| |―
infix >=
(1 arg)
| |―
prefix +!
| |―
prefix -!
| |―
round
|―
Function
| |―
call
(1 arg)
|―
fuzion
| |―
java
| | |―
Array
(1 arg)
| | |―
array_to_java_object
(1 arg)
| | |―
bool_to_java_object
(1 arg)
| | |―
call_constructor
(3 args)
| | |―
call_static
(4 args)
| | |―
call_virtual
(5 args)
| | |―
f32_to_java_object
(1 arg)
| | |―
f64_to_java_object
(1 arg)
| | |―
get_field
(2 args)
| | |―
get_static_field
(2 args)
| | |―
i16_to_java_object
(1 arg)
| | |―
i32_to_java_object
(1 arg)
| | |―
i64_to_java_object
(1 arg)
| | |―
i8_to_java_object
(1 arg)
| | |―
Java_Object
(1 arg)
| | | |―
is_null
| | |―
Java_String
(1 arg)
| | | |―
utf8
| | |―
java_void
(1 arg)
| | |―
string_to_java_object
(1 arg)
| | |―
u16_to_java_object
(1 arg)
| |―
sys
| | |―
err
| | | |―
print
(1 arg)
| | | |―
println
| | | |―
println
(1 arg)
| | |―
internal_array
(2 args)
| | | |―
index [ ]
(1 arg)
| | | |―
index [ ] :=
(2 args)
| | |―
internal_array_init
(1 arg)
| | |―
out
| | | |―
print
(1 arg)
| | | |―
println
| | | |―
println
(1 arg)
| | |―
stdin
|―
handle
(1 arg)
|―
handle0
(1 arg)
| |―
get
| |―
put
(1 arg)
| |―
update
(1 arg)
|―
handle2
(1 arg)
|―
handle2_0
(1 arg)
| |―
put
(1 arg)
| |―
update
(1 arg)
|―
handles
(1 arg)
|―
handles
(3 args)
| |―
bind
(1 arg)
| |―
create
(1 arg)
| |―
get
(1 arg)
| |―
has_last
| |―
infix >>=
(1 arg)
| |―
last
| |―
new
(1 arg)
| |―
put
(2 args)
| |―
return
(1 arg)
| |―
update
(2 args)
|―
handles
|―
handles2
(3 args)
| |―
bind
(1 arg)
| |―
create
(1 arg)
| |―
get
(1 arg)
| |―
has_last
| |―
infix >>=
(1 arg)
| |―
last
| |―
new
(1 arg)
| |―
put
(2 args)
| |―
return
(1 arg)
| |―
update
(2 args)
|―
handles_
|―
has_interval
| |―
infix ..
(1 arg)
| | |―
as_list
| | |―
as_stream
| | |―
as_string
| | |―
contains
(1 arg)
| | |―
for_each
(1 arg)
| | |―
infix :
(1 arg)
| | | |―
contains
(1 arg)
| | | |―
map
(1 arg)
| | |―
lower
| | |―
map
(1 arg)
| | |―
size
| |―
postfix ..
|―
i128
(2 args)
|―
i16
(1 arg)
| |―
as_i32
| |―
as_i64
| |―
as_i8
| |―
as_int
| |―
as_u128
| |―
as_u16
| |―
as_u32
| |―
as_u64
| |―
as_u8
| |―
cast_to_u128
| |―
cast_to_u16
| |―
cast_to_u32
| |―
cast_to_u64
| |―
hash
| |―
highest_one_bit
| |―
infix %
(1 arg)
| |―
infix &
(1 arg)
| |―
infix *°
(1 arg)
| |―
infix +°
(1 arg)
| |―
infix -°
(1 arg)
| |―
infix /
(1 arg)
| |―
infix <<
(1 arg)
| |―
infix >>
(1 arg)
| |―
infix ^
(1 arg)
| |―
infix |
(1 arg)
| |―
low8bits
| |―
ones_count
| |―
overflow_on_add
(1 arg)
| |―
overflow_on_mul
(1 arg)
| |―
overflow_on_sub
(1 arg)
| |―
prefix -°
| |―
thiz
| |―
trailing_zeros
| |―
underflow_on_add
(1 arg)
| |―
underflow_on_mul
(1 arg)
| |―
underflow_on_sub
(1 arg)
|―
i32
(1 arg)
| |―
as_f32
| |―
as_f64
| |―
as_i16
| |―
as_i64
| |―
as_i8
| |―
as_int
| |―
as_u128
| |―
as_u16
| |―
as_u32
| |―
as_u64
| |―
as_u8
| |―
cast_to_u128
| |―
cast_to_u32
| |―
cast_to_u64
| |―
hash
| |―
highest_one_bit
| |―
infix %
(1 arg)
| |―
infix &
(1 arg)
| |―
infix *°
(1 arg)
| |―
infix +°
(1 arg)
| |―
infix -°
(1 arg)
| |―
infix /
(1 arg)
| |―
infix <<
(1 arg)
| |―
infix >>
(1 arg)
| |―
infix ^
(1 arg)
| |―
infix |
(1 arg)
| |―
low16bits
| |―
low8bits
| |―
max
| |―
ones_count
| |―
overflow_on_add
(1 arg)
| |―
overflow_on_mul
(1 arg)
| |―
overflow_on_sub
(1 arg)
| |―
prefix -°
| |―
thiz
| |―
trailing_zeros
| |―
underflow_on_add
(1 arg)
| |―
underflow_on_mul
(1 arg)
| |―
underflow_on_sub
(1 arg)
|―
i64
(1 arg)
| |―
as_f32
| |―
as_f64
| |―
as_i16
| |―
as_i32
| |―
as_i8
| |―
as_int
| |―
as_u128
| |―
as_u16
| |―
as_u32
| |―
as_u64
| |―
as_u8
| |―
as_uint
| |―
cast_to_u64
| |―
hash
| |―
highest_one_bit
| |―
infix %
(1 arg)
| |―
infix &
(1 arg)
| |―
infix *°
(1 arg)
| |―
infix +°
(1 arg)
| |―
infix -°
(1 arg)
| |―
infix /
(1 arg)
| |―
infix <<
(1 arg)
| |―
infix >>
(1 arg)
| |―
infix ^
(1 arg)
| |―
infix |
(1 arg)
| |―
low16bits
| |―
low32bits
| |―
low8bits
| |―
ones_count
| |―
overflow_on_add
(1 arg)
| |―
overflow_on_mul
(1 arg)
| |―
overflow_on_sub
(1 arg)
| |―
prefix -°
| |―
thiz
| |―
trailing_zeros
| |―
underflow_on_add
(1 arg)
| |―
underflow_on_mul
(1 arg)
| |―
underflow_on_sub
(1 arg)
|―
i8
(1 arg)
| |―
as_i16
| |―
as_i32
| |―
as_i64
| |―
as_int
| |―
as_u128
| |―
as_u16
| |―
as_u32
| |―
as_u64
| |―
as_u8
| |―
cast_to_u128
| |―
cast_to_u16
| |―
cast_to_u32
| |―
cast_to_u64
| |―
cast_to_u8
| |―
hash
| |―
highest_one_bit
| |―
infix &
(1 arg)
| |―
infix *°
(1 arg)
| |―
infix +°
(1 arg)
| |―
infix -°
(1 arg)
| |―
infix /
(1 arg)
| |―
infix <<
(1 arg)
| |―
infix >>
(1 arg)
| |―
infix ^
(1 arg)
| |―
infix |
(1 arg)
| |―
ones_count
| |―
overflow_on_add
(1 arg)
| |―
overflow_on_mul
(1 arg)
| |―
overflow_on_sub
(1 arg)
| |―
prefix -°
| |―
thiz
| |―
trailing_zeros
| |―
underflow_on_add
(1 arg)
| |―
underflow_on_mul
(1 arg)
| |―
underflow_on_sub
(1 arg)
|―
infix !=
(2 args)
|―
infix :
(2 args)
|―
infix <
(2 args)
|―
infix <=
(2 args)
|―
infix <>
(2 args)
|―
infix =
(2 args)
|―
infix >
(2 args)
|―
infix >=
(2 args)
|―
infix ≟
(2 args)
|―
infix ≤
(2 args)
|―
infix ≥
(2 args)
|―
infix ⋄
(2 args)
|―
infix ⩻
(2 args)
|―
infix ⩼
(2 args)
|―
int
(2 args)
| |―
as_i32
| |―
as_i64
| |―
as_string
| |―
as_u32
| |―
as_u64
| |―
as_u8
| |―
as_uint
| |―
infix %
(1 arg)
| |―
infix %!
(1 arg)
| |―
infix *
(1 arg)
| |―
infix *!
(1 arg)
| |―
infix **
(1 arg)
| |―
infix **!
(1 arg)
| |―
infix **?
(1 arg)
| |―
infix **^
(1 arg)
| |―
infix +
(1 arg)
| |―
infix +!
(1 arg)
| |―
infix -
(1 arg)
| |―
infix -!
(1 arg)
| |―
infix /
(1 arg)
| |―
infix /!
(1 arg)
| |―
prefix -!
| |―
thiz
|―
int
(1 arg)
|―
integer
| |―
as_string
| |―
as_string
(1 arg)
| |―
bin
| |―
bin
(1 arg)
| |―
dec
| |―
dec
(1 arg)
| |―
gcd
(1 arg)
| |―
hex
| |―
hex
(1 arg)
| |―
infix %
(1 arg)
| |―
infix %%
(1 arg)
| |―
infix &
(1 arg)
| |―
infix /-/
(1 arg)
| |―
infix <<
(1 arg)
| |―
infix >>
(1 arg)
| |―
infix ^
(1 arg)
| |―
infix |
(1 arg)
| |―
infix ⁄
(1 arg)
| |―
is_bounded
| |―
oct
| |―
oct
(1 arg)
| |―
prefix ~
| |―
prefix ¬
|―
io
| |―
Byte_Input_Handler
| |―
end_of_file
| |―
err
| |―
err
(1 arg)
| |―
file
| | |―
delete
(2 args)
| | |―
delete
(1 arg)
| | |―
Delete_Handler
| | |―
meta_data
(4 args)
| | |―
mode
| | | |―
append
| | | |―
read
| | | |―
val
| | | |―
write
| | |―
move
(2 args)
| | |―
move
(1 arg)
| | |―
Move_Handler
| | |―
open
(2 args)
| | | |―
mmap
(3 args)
| | | |―
mmap
| | | |―
read
| | | |―
write
(1 arg)
| | |―
open
| | |―
open
| | |―
open_unique_type
| | |―
read
| | |―
read
(1 arg)
| | | |―
read_file
(1 arg)
| | |―
Read_Handler
| | |―
seek
(1 arg)
| | |―
Seek_Handler
| | |―
stat
(2 args)
| | |―
stat
| | |―
stat
(1 arg)
| | | |―
lstats
(1 arg)
| | | |―
stats
(1 arg)
| | |―
Stat_Handler
| | |―
use
(3 args)
| | |―
use
(3 args)
| | |―
write
| | |―
write
(1 arg)
| | | |―
create_dir
(1 arg)
| | | |―
write
(2 args)
| | |―
Write_Handler
| |―
out
| |―
out
(1 arg)
| |―
print_effect
(1 arg)
| | |―
print
(1 arg)
| | |―
println
| | |―
println
(1 arg)
| |―
Print_Handler
| | |―
print
(1 arg)
| |―
stdin
| |―
stdin
(1 arg)
| | |―
codepoint
| | |―
codepoints
| | |―
read
(1 arg)
| | |―
read_line
|―
Lazy
|―
list
(2 args)
|―
list
| |―
as_list
| |―
as_stream
| | |―
has_next
| | |―
next
| |―
as_string
| |―
as_string
(1 arg)
| |―
concat
(1 arg)
| |―
concat_eagerly
(1 arg)
| |―
count
| |―
cycle
| |―
drop
(1 arg)
| |―
drop_while
(1 arg)
| |―
filter
(1 arg)
| |―
first
| |―
flat_map
(1 arg)
| |―
fold
(2 args)
| |―
fold
(1 arg)
| |―
for_each
(1 arg)
| |―
head
| |―
infix ++
(1 arg)
| |―
infix ∀
(1 arg)
| |―
infix ∃
(1 arg)
| |―
init
| |―
intersperse
(1 arg)
| |―
is_empty
| |―
last
| |―
map
(1 arg)
| |―
prepend_to_all
(1 arg)
| |―
reverse
| |―
slice
(2 args)
| |―
tail
| |―
tails
| |―
take
(1 arg)
| |―
take_while
(1 arg)
| |―
zip0
(2 args)
|―
lteq
(2 args)
|―
marray
(2 args)
|―
marray
(3 args)
| |―
add
(1 arg)
| |―
as_array
| |―
as_list
| |―
finite
| |―
fold
(3 args)
| |―
fold
(1 arg)
| |―
index [ ]
(1 arg)
| |―
index [ ] :=
(2 args)
| |―
indices
| |―
infix +
(1 arg)
| |―
map
(1 arg)
|―
max
(2 args)
|―
min
(2 args)
|―
monad
| |―
infix >>=
(1 arg)
| |―
infix >>=~
(1 arg)
|―
Monoid
| |―
e
| |―
infix ∙
(2 args)
| |―
op
(2 args)
|―
mut
(1 arg)
|―
mut
|―
mutate
| |―
array
(2 args)
| | |―
as_array
| | |―
as_list
| | |―
finite
| | |―
fold
(1 arg)
| | |―
index [ ]
(1 arg)
| | |―
index [ ] :=
(2 args)
| | |―
indices
| | |―
map
(1 arg)
| |―
mutable_element
| | |―
close
| | |―
open
| |―
new
(1 arg)
| | |―
as_string
| | |―
copy
| | |―
get
| | |―
infix <-
(1 arg)
| | |―
put
(1 arg)
| | |―
update
(1 arg)
| | |―
val
|―
net
| |―
channel
(3 args)
| | |―
close
| | |―
get_peer_address
| | |―
get_peer_port
| | |―
read
| | |―
read
(1 arg)
| | |―
write
(1 arg)
| |―
channel
| |―
client
(4 args)
| |―
family
| | |―
ipv4
| | | |―
as_string
| | |―
ipv6
| | | |―
as_string
| | |―
localhost
(1 arg)
| | |―
val
| | | |―
as_string
| |―
protocol
| | |―
tcp
| | | |―
as_string
| | |―
udp
| | | |―
as_string
| | |―
val
| | | |―
as_string
| |―
server
(3 args)
| |―
server
(4 args)
| |―
server
(5 args)
| | |―
accept
| | |―
accept_in_thread
(1 arg)
| | |―
close
| | |―
is_active
| | |―
last_error
| |―
server
| |―
socket_type
| | |―
datagram
| | |―
stream
|―
nil
| |―
as_string
|―
num
| |―
complex
(2 args)
| | |―
abs²
| | |―
as_string
| | |―
infix *
(1 arg)
| | |―
infix +
(1 arg)
| | |―
infix -
(1 arg)
| | |―
infix /
(1 arg)
| | |―
prefix +
| | |―
thiz
| |―
fraction
(2 args)
| | |―
as_string
| | |―
infix *
(1 arg)
| | |―
infix +
(1 arg)
| | |―
infix -
(1 arg)
| | |―
infix /
(1 arg)
| | |―
prefix +
| | |―
prefix -
| | |―
reduce
| |―
matrix
(1 arg)
| | |―
as_string
| | |―
infix *
(1 arg)
| | |―
infix +
(1 arg)
| | |―
infix -
(1 arg)
| | |―
prefix +
| | |―
transpose
| |―
ryū
| | |―
as_string
(3 args)
| | |―
rounding_conservative
| | |―
rounding_even
| | |―
rounding_mode
(2 args)
| |―
wrap_around
| | |―
as_bytes
| | |―
infix %!
(1 arg)
| | |―
infix *
(1 arg)
| | |―
infix *!
(1 arg)
| | |―
infix **
(1 arg)
| | |―
infix **!
(1 arg)
| | |―
infix **?
(1 arg)
| | |―
infix **^
(1 arg)
| | |―
infix **°
(1 arg)
| | |―
infix *?
(1 arg)
| | |―
infix *^
(1 arg)
| | |―
infix *°
(1 arg)
| | |―
infix +
(1 arg)
| | |―
infix +!
(1 arg)
| | |―
infix +?
(1 arg)
| | |―
infix +^
(1 arg)
| | |―
infix +°
(1 arg)
| | |―
infix -
(1 arg)
| | |―
infix -!
(1 arg)
| | |―
infix -?
(1 arg)
| | |―
infix -^
(1 arg)
| | |―
infix -°
(1 arg)
| | |―
infix /!
(1 arg)
| | |―
is_bounded
| | |―
is_max
| | |―
is_min
| | |―
ones_count
| | |―
overflow_on_add
(1 arg)
| | |―
overflow_on_exp
(1 arg)
| | |―
overflow_on_mul
(1 arg)
| | |―
overflow_on_sub
(1 arg)
| | |―
prefix -
| | |―
prefix -!
| | |―
prefix -?
| | |―
prefix -^
| | |―
prefix -°
| | |―
prefix ~
| | |―
underflow_on_add
(1 arg)
| | |―
underflow_on_mul
(1 arg)
| | |―
underflow_on_sub
(1 arg)
| | |―
wrapped_on_add
(1 arg)
| | |―
wrapped_on_mul
(1 arg)
| | |―
wrapped_on_neg
| | |―
wrapped_on_sub
(1 arg)
|―
num_option
(1 arg)
|―
num_option
| |―
abs
| |―
as_string
| |―
bind
(1 arg)
| |―
exists
| |―
infix !=?
(1 arg)
| |―
infix %?
(1 arg)
| |―
infix **?
(1 arg)
| |―
infix *?
(1 arg)
| |―
infix +?
(1 arg)
| |―
infix -?
(1 arg)
| |―
infix /?
(1 arg)
| |―
infix <=?
(1 arg)
| |―
infix <?
(1 arg)
| |―
infix ==?
(1 arg)
| |―
infix >=?
(1 arg)
| |―
infix >>=
(1 arg)
| |―
infix >>?
(1 arg)
| |―
infix >?
(1 arg)
| |―
is_nil
| |―
is_zero
| |―
postfix !!
| |―
postfix ??
| |―
prefix +?
| |―
prefix -?
| |―
sign
| |―
val
|―
numeric
| |―
abs
| |―
as_u8
| |―
element_of
(1 arg)
| |―
infix %
(1 arg)
| |―
infix %!
(1 arg)
| |―
infix *
(1 arg)
| |―
infix *!
(1 arg)
| |―
infix **
(1 arg)
| |―
infix **!
(1 arg)
| |―
infix **?
(1 arg)
| |―
infix **^
(1 arg)
| |―
infix *?
(1 arg)
| |―
infix *^
(1 arg)
| |―
infix +
(1 arg)
| |―
infix +!
(1 arg)
| |―
infix +?
(1 arg)
| |―
infix +^
(1 arg)
| |―
infix -
(1 arg)
| |―
infix -!
(1 arg)
| |―
infix -?
(1 arg)
| |―
infix -^
(1 arg)
| |―
infix /
(1 arg)
| |―
infix /!
(1 arg)
| |―
infix ∈
(1 arg)
| |―
infix ∉
(1 arg)
| |―
is_one
| |―
is_zero
| |―
not_element_of
(1 arg)
| |―
prefix +
| |―
prefix +!
| |―
prefix -
| |―
prefix -!
| |―
prefix -?
| |―
prefix -^
| |―
sign
|―
oneway_monad
(1 arg)
|―
option
(1 arg)
|―
option
| |―
and_then
(1 arg)
| |―
as_string
| |―
bind
(1 arg)
| |―
exists
| |―
get
| |―
get
(1 arg)
| |―
infix >>=
(1 arg)
| |―
is_nil
| |―
map
(1 arg)
| |―
postfix !!
| |―
postfix ??
|―
outcome
(1 arg)
|―
outcome
| |―
and
(1 arg)
| |―
as_option
| |―
as_string
| |―
bind
(1 arg)
| |―
ok
| |―
or
(1 arg)
| |―
postfix !!
| |―
postfix ??
| |―
val
| |―
val
(1 arg)
|―
panic
(2 args)
|―
panic
|―
panic
(1 arg)
|―
Panic_Handler
| |―
use
(2 args)
|―
property
| |―
equatable
| |―
hashable
| | |―
hash
| |―
orderable
| |―
partially_orderable
|―
quantors
| |―
prefix ∀
(1 arg)
| |―
prefix ∃
(1 arg)
|―
random
(2 args)
| |―
get
(1 arg)
| |―
next_bool
| |―
next_f32
| |―
next_f64
| |―
next_i32
(1 arg)
| |―
next_i64
(1 arg)
| |―
next_u32
(1 arg)
| |―
next_u64
(1 arg)
|―
random
|―
Random_Handler
|―
safety
|―
say
|―
say
(1 arg)
|―
Sequence
| |―
as_array
| |―
as_list
| |―
as_stream
| |―
as_string
| |―
as_string
(1 arg)
| |―
as_strings
| |―
before
(1 arg)
| |―
chunk
(1 arg)
| |―
concat_sequences
(1 arg)
| |―
count
| |―
cycle
| |―
drop
(1 arg)
| |―
drop_while
(1 arg)
| |―
filter
(1 arg)
| |―
finite
| |―
first
| |―
first
(1 arg)
| |―
flat_map_sequence
(1 arg)
| |―
fold
(1 arg)
| |―
for_each
(1 arg)
| |―
for_while
(1 arg)
| |―
group_by
(1 arg)
| |―
index [ ]
| |―
index [ ]
(1 arg)
| |―
indexed
(1 arg)
| |―
indexed
| |―
infix &
(1 arg)
| |―
infix ++
(1 arg)
| |―
infix |
(1 arg)
| |―
infix |&
(1 arg)
| |―
infix ∀
(1 arg)
| |―
infix ∃
(1 arg)
| |―
insert
(2 args)
| |―
into
(1 arg)
| |―
is_empty
| |―
last
| |―
last
(1 arg)
| |―
map_sequence
(1 arg)
| |―
nth
(1 arg)
| |―
postfix |
| |―
reduce
(2 args)
| |―
reduce_or_error
(2 args)
| |―
slice
(2 args)
| |―
sort
(1 arg)
| |―
sort_by
(1 arg)
| |―
split_at
(1 arg)
| |―
tails
| |―
take
(1 arg)
| |―
take_while
(1 arg)
| |―
transduce
(3 args)
| |―
zip
(2 args)
|―
set_exit_code
(1 arg)
|―
simple_effect
| |―
go
(1 arg)
| |―
use
(1 arg)
|―
simple_random
(2 args)
|―
state
(1 arg)
|―
state
(2 args)
|―
state
(3 args)
| |―
as_string
|―
state_get
|―
state_modify
(1 arg)
|―
state_of
|―
state_put
(1 arg)
|―
stream
| |―
as_array
| |―
as_list
| |―
as_stream
| |―
as_string
(1 arg)
| |―
count
| |―
fold
(2 args)
| |―
fold
(1 arg)
| |―
for_each
(1 arg)
| |―
for_while
(1 arg)
| |―
has_next
| |―
infix |
(1 arg)
| |―
infix ∀
(1 arg)
| |―
infix ∃
(1 arg)
| |―
map
(1 arg)
| |―
map_broken
(1 arg)
| |―
next
| |―
take
(1 arg)
|―
streams
| |―
generate
(1 arg)
|―
String
| |―
as_codepoints
| |―
as_string
| |―
byte_length
| |―
codepoint_length
| |―
codepoints_and_errors
| |―
contains
(1 arg)
| |―
count
(1 arg)
| |―
cut
(1 arg)
| |―
ends_with
(1 arg)
| |―
fields_func
(1 arg)
| |―
find
(1 arg)
| |―
find_last
(1 arg)
| |―
hash
| |―
infix *
(1 arg)
| |―
infix +
(1 arg)
| |―
infix ∈
(1 arg)
| |―
infix ∉
(1 arg)
| |―
is_blank
| |―
is_empty
| |―
lower_case
| |―
pad_codepoint_start
(2 args)
| |―
parse_i32
| |―
parse_i32
(1 arg)
| |―
parse_i32_binary
| |―
parse_i32_hex
| |―
parse_i32_octal
| |―
parse_i64
| |―
parse_i64
(1 arg)
| |―
parse_i64_binary
| |―
parse_i64_hex
| |―
parse_i64_octal
| |―
parse_int
| |―
parse_int
(1 arg)
| |―
parse_int_binary
| |―
parse_int_hex
| |―
parse_int_octal
| |―
parse_integer
(1 arg)
| |―
parse_u32
| |―
parse_u32
(1 arg)
| |―
parse_u32_binary
| |―
parse_u32_hex
| |―
parse_u32_octal
| |―
parse_u64
| |―
parse_u64
(1 arg)
| |―
parse_u64_binary
| |―
parse_u64_hex
| |―
parse_u64_octal
| |―
replace
(2 args)
| |―
replace
(3 args)
| |―
split
| |―
split
(1 arg)
| |―
split_after
(1 arg)
| |―
split_after_n
(2 args)
| |―
split_n
(2 args)
| |―
starts_with
(1 arg)
| |―
substring
(2 args)
| |―
substring
(1 arg)
| |―
substring_codepoint
(2 args)
| |―
substring_codepoint
(1 arg)
| |―
upper_case
| |―
utf8
|―
sum
(1 arg)
|―
time
| |―
date_time
(6 args)
| | |―
as_string
| |―
days_in_year
(1 arg)
| |―
duration
(1 arg)
| | |―
as_string
| | |―
days
| | |―
hours
| | |―
micros
| | |―
millis
| | |―
minutes
| | |―
seconds
| | |―
weeks
| | |―
years
| |―
durations
| | |―
a
(1 arg)
| | |―
days
(1 arg)
| | |―
h
(1 arg)
| | |―
hours
(1 arg)
| | |―
max_duration_days
| | |―
max_duration_hours
| | |―
max_duration_micros
| | |―
max_duration_millis
| | |―
max_duration_minutes
| | |―
max_duration_nanos
| | |―
max_duration_seconds
| | |―
max_duration_weeks
| | |―
max_duration_years
| | |―
min
(1 arg)
| | |―
minutes
(1 arg)
| | |―
ms
(1 arg)
| | |―
ns
(1 arg)
| | |―
s
(1 arg)
| | |―
seconds
(1 arg)
| | |―
weeks
(1 arg)
| | |―
years
(1 arg)
| | |―
µs
(1 arg)
| |―
nano
| |―
nano
(1 arg)
| | |―
read
| | |―
sleep
(1 arg)
| |―
Nano_Time_Handler
| |―
now
(1 arg)
| |―
stopwatch
(1 arg)
| |―
units
| | |―
nanos_per_day
| | |―
nanos_per_hour
| | |―
nanos_per_micro
| | |―
nanos_per_milli
| | |―
nanos_per_minute
| | |―
nanos_per_nano
| | |―
nanos_per_second
| | |―
nanos_per_week
| | |―
nanos_per_year
|―
time_seeded_random
(1 arg)
|―
transducer
(1 arg)
| |―
call
(1 arg)
| |―
compose
(1 arg)
| |―
infix ∘
(1 arg)
|―
TRUE
|―
true
|―
try
(1 arg)
|―
try
| |―
on
(1 arg)
| |―
raise
(1 arg)
|―
try_or_panic
(1 arg)
|―
tuple
(1 arg)
|―
Type
| |―
as_string
| |―
dynamic_type
| |―
name
|―
type_of
(1 arg)
|―
type_of_lazy
(1 arg)
|―
Types
| |―
get
|―
u128
(2 args)
| |―
as_i16
| |―
as_i32
| |―
as_i64
| |―
as_i8
| |―
as_u16
| |―
as_u32
| |―
as_u64
| |―
as_u8
| |―
hash
| |―
highest_one_bit
| |―
infix %
(1 arg)
| |―
infix &
(1 arg)
| |―
infix *°
(1 arg)
| |―
infix +°
(1 arg)
| |―
infix -°
(1 arg)
| |―
infix /
(1 arg)
| |―
infix <<
(1 arg)
| |―
infix >>
(1 arg)
| |―
infix ^
(1 arg)
| |―
infix |
(1 arg)
| |―
low16bits
| |―
low32bits
| |―
low64bits
| |―
low8bits
| |―
ones_count
| |―
overflow_on_add
(1 arg)
| |―
overflow_on_mul
(1 arg)
| |―
overflow_on_sub
(1 arg)
| |―
prefix -°
| |―
thiz
| |―
trailing_zeros
| |―
underflow_on_add
(1 arg)
| |―
underflow_on_mul
(1 arg)
| |―
underflow_on_sub
(1 arg)
|―
u16
(1 arg)
| |―
as_i16
| |―
as_i32
| |―
as_i64
| |―
as_i8
| |―
as_int
| |―
as_u128
| |―
as_u32
| |―
as_u64
| |―
as_u8
| |―
cast_to_i16
| |―
hash
| |―
highest_one_bit
| |―
infix %
(1 arg)
| |―
infix &
(1 arg)
| |―
infix *°
(1 arg)
| |―
infix +°
(1 arg)
| |―
infix -°
(1 arg)
| |―
infix /
(1 arg)
| |―
infix <<
(1 arg)
| |―
infix >>
(1 arg)
| |―
infix ^
(1 arg)
| |―
infix |
(1 arg)
| |―
low8bits
| |―
ones_count
| |―
overflow_on_add
(1 arg)
| |―
overflow_on_mul
(1 arg)
| |―
overflow_on_sub
(1 arg)
| |―
prefix -°
| |―
thiz
| |―
trailing_zeros
| |―
underflow_on_add
(1 arg)
| |―
underflow_on_mul
(1 arg)
| |―
underflow_on_sub
(1 arg)
|―
u32
(1 arg)
| |―
as_f32
| |―
as_f64
| |―
as_i16
| |―
as_i32
| |―
as_i64
| |―
as_i8
| |―
as_int
| |―
as_u128
| |―
as_u16
| |―
as_u64
| |―
as_u8
| |―
as_uint
| |―
cast_to_f32
| |―
cast_to_i32
| |―
hash
| |―
highest_bit
| |―
highest_one_bit
| |―
infix %
(1 arg)
| |―
infix &
(1 arg)
| |―
infix *°
(1 arg)
| |―
infix +°
(1 arg)
| |―
infix -°
(1 arg)
| |―
infix /
(1 arg)
| |―
infix <<
(1 arg)
| |―
infix >>
(1 arg)
| |―
infix ^
(1 arg)
| |―
infix |
(1 arg)
| |―
low16bits
| |―
low8bits
| |―
max
| |―
ones_count
| |―
overflow_on_add
(1 arg)
| |―
overflow_on_mul
(1 arg)
| |―
overflow_on_sub
(1 arg)
| |―
prefix -°
| |―
thiz
| |―
trailing_zeros
| |―
underflow_on_add
(1 arg)
| |―
underflow_on_mul
(1 arg)
| |―
underflow_on_sub
(1 arg)
|―
u64
(1 arg)
| |―
as_f32
| |―
as_f64
| |―
as_i16
| |―
as_i32
| |―
as_i64
| |―
as_i8
| |―
as_int
| |―
as_u128
| |―
as_u16
| |―
as_u32
| |―
as_u8
| |―
as_uint
| |―
cast_to_f64
| |―
cast_to_i64
| |―
hash
| |―
highest_one_bit
| |―
infix %
(1 arg)
| |―
infix &
(1 arg)
| |―
infix *°
(1 arg)
| |―
infix +°
(1 arg)
| |―
infix -°
(1 arg)
| |―
infix /
(1 arg)
| |―
infix <<
(1 arg)
| |―
infix >>
(1 arg)
| |―
infix ^
(1 arg)
| |―
infix |
(1 arg)
| |―
low16bits
| |―
low32bits
| |―
low8bits
| |―
max
| |―
ones_count
| |―
overflow_on_add
(1 arg)
| |―
overflow_on_mul
(1 arg)
| |―
overflow_on_sub
(1 arg)
| |―
prefix -°
| |―
thiz
| |―
trailing_zeros
| |―
underflow_on_add
(1 arg)
| |―
underflow_on_mul
(1 arg)
| |―
underflow_on_sub
(1 arg)
|―
u8
(1 arg)
| |―
as_i16
| |―
as_i32
| |―
as_i64
| |―
as_i8
| |―
as_int
| |―
as_u128
| |―
as_u16
| |―
as_u32
| |―
as_u64
| |―
as_u8
| |―
cast_to_i8
| |―
hash
| |―
highest_one_bit
| |―
infix %
(1 arg)
| |―
infix &
(1 arg)
| |―
infix *°
(1 arg)
| |―
infix +°
(1 arg)
| |―
infix -°
(1 arg)
| |―
infix /
(1 arg)
| |―
infix <<
(1 arg)
| |―
infix >>
(1 arg)
| |―
infix ^
(1 arg)
| |―
infix |
(1 arg)
| |―
is_ascii_white_space
| |―
low8bits
| |―
max
| |―
ones_count
| |―
overflow_on_add
(1 arg)
| |―
overflow_on_mul
(1 arg)
| |―
overflow_on_sub
(1 arg)
| |―
prefix -°
| |―
thiz
| |―
trailing_zeros
| |―
underflow_on_add
(1 arg)
| |―
underflow_on_mul
(1 arg)
| |―
underflow_on_sub
(1 arg)
|―
uint
(2 args)
| |―
as_i32
| |―
as_i64
| |―
as_int
| |―
as_string
| |―
as_u32
| |―
as_u64
| |―
as_u8
| |―
fits_in_u32
| |―
fits_in_u64
| |―
infix %
(1 arg)
| |―
infix %!
(1 arg)
| |―
infix &
(1 arg)
| |―
infix *
(1 arg)
| |―
infix *!
(1 arg)
| |―
infix **
(1 arg)
| |―
infix **!
(1 arg)
| |―
infix **?
(1 arg)
| |―
infix **^
(1 arg)
| |―
infix +
(1 arg)
| |―
infix +!
(1 arg)
| |―
infix -
(1 arg)
| |―
infix -!
(1 arg)
| |―
infix /
(1 arg)
| |―
infix /!
(1 arg)
| |―
infix <<
(1 arg)
| |―
infix >>
(1 arg)
| |―
infix ^
(1 arg)
| |―
infix |
(1 arg)
| |―
prefix -!
| |―
thiz
|―
uint
(1 arg)
|―
Unary
| |―
compose
(1 arg)
| |―
infix ∘
(1 arg)
|―
unit
| |―
as_string
|―
void
(1 arg)
|―
yak
(1 arg)
quantors
quantors
§
quantors
=>
quantors
:
Any
[src]
quantors -- unit type feature containing quantors ∀ and ∃.
quantors provides for_all and exists-quantors for use in contracts qualified
for analysis.
§
prefix ∀
(A
type
, f
Unary bool (quantors.prefix ∀.A)
)
=>
bool
:
Any
[src]
short-hand for_all using '∀' symbol
§
prefix ∃
(A
type
, f
Unary bool (quantors.prefix ∃.A)
)
=>
bool
:
Any
[src]
short-hand exists using '∃' symbol
quantors provides for_all and exists-quantors for use in contracts qualified
for analysis.