fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion
•
Fuzion Library Modules
•
Types
☰
universe
Constructors
|―
cons
(2 args)
|―
Types
|―
abort
(1 arg)
|―
auto_unwrap
|―
codepoint
(1 arg)
|―
composition
|―
concur
Constructors
| |―
thread
(1 arg)
Types
| | |―
spawned
| |―
atomic
(1 arg)
|―
concur
Types
| |―
Thread_Handler
|―
container
Constructors
| |―
stack
| |―
float_sequence
(1 arg)
| |―
hash_map
(2 args)
| |―
numeric_sequence
(1 arg)
| |―
ordered_map
(2 args)
Constructors
| | |―
entry
(1 arg)
| |―
searchable_sequence
(1 arg)
| |―
sorted_array
(2 args)
|―
container
Types
| |―
Buffer
| |―
Circular_Buffer
| |―
Mutable_Array2
| |―
Mutable_Linked_List
| |―
mutable_tree_map
| |―
ps_map
| |―
ps_set
|―
eff
Constructors
| |―
try
(1 arg)
| |―
fallible
(1 arg)
|―
effect_mode
Constructors
| |―
new
| |―
default
| |―
plain
| |―
repl
| |―
inst
(1 arg)
|―
effect_mode
Types
| |―
val
|―
code_effect
|―
simple_effect
|―
encodings
Constructors
| |―
ascii
| |―
base16
| |―
base32
| |―
base32hex
| |―
base64
| |―
base64url
| |―
unicode
|―
envir
Constructors
| |―
args
(1 arg)
| |―
vars
(1 arg)
|―
envir
Types
| |―
Vars_Handler
|―
error
(1 arg)
|―
f32
(1 arg)
|―
f64
(1 arg)
|―
float
|―
fuzion
Constructors
| |―
java
| |―
runtime
Constructors
| | |―
check_fault
(1 arg)
| | |―
contract_fault
(1 arg)
| | |―
fault
(1 arg)
| | |―
post_fault
(1 arg)
| | |―
pre_fault
(1 arg)
|―
fuzion
Types
| |―
sys
Types
| | |―
Pointer
|―
i16
(1 arg)
|―
i32
(1 arg)
|―
i64
(1 arg)
|―
i8
(1 arg)
|―
interval
(3 args)
|―
has_interval
|―
io
Constructors
| |―
err
(1 arg)
| |―
out
(1 arg)
| |―
buffered
Constructors
| | |―
reader
(2 args)
| | |―
writer
(2 args)
Types
| | | |―
write_result
| |―
dir
Constructors
| | |―
read
(1 arg)
| | |―
make
(2 args)
| |―
dir
Types
| | |―
open
| | |―
open_unique_type
| | |―
Read_Handler
| |―
file
Constructors
| | |―
write
(1 arg)
| | |―
read
(1 arg)
| | |―
mode
Constructors
| | | |―
write
| | | |―
read
| | | |―
append
| | |―
mode
Types
| | | |―
val
| | |―
delete
(2 args)
| | |―
move
(1 arg)
| | |―
seek
(1 arg)
| | |―
stat
(1 arg)
| |―
file
Types
| | |―
open
Types
| | | |―
mapped_buffer
| | |―
open_unique_type
| | |―
Read_Handler
| | |―
meta_data
| | |―
Delete_Handler
| | |―
Move_Handler
| | |―
Stat_Handler
| |―
print_effect
(1 arg)
|―
io
Types
| |―
end_of_file
|―
monad
|―
mutate
Constructors
| |―
new
(1 arg)
|―
mutate
Types
| |―
array
| |―
array2
| |―
mutable_element
| |―
circular_buffer
|―
net
Constructors
| |―
family
Constructors
| | |―
ipv4
| | |―
ipv6
| |―
family
Types
| | |―
val
| |―
socket_type
Constructors
| | |―
stream
| | |―
datagram
| |―
protocol
Constructors
| | |―
tcp
| | |―
udp
| |―
protocol
Types
| | |―
val
|―
net
Types
| |―
channel
| |―
server
|―
nil
|―
num
Constructors
| |―
complex
(2 args)
| |―
fraction
(2 args)
| |―
matrix
(1 arg)
| |―
minus
| |―
plus
| |―
ryū
Constructors
| | |―
rounding_mode
(2 args)
|―
num
Types
| |―
sign
| |―
wrap_around
|―
oneway_monad
(1 arg)
|―
panic
(2 args)
|―
process
Constructors
| |―
env_vars
(1 arg)
|―
process
Types
| |―
Process
|―
property
Constructors
| |―
equatable
| |―
hashable
| |―
orderable
| |―
partially_orderable
|―
quantor
|―
random
(2 args)
|―
state
(3 args)
|―
time
Constructors
| |―
date_time
(6 args)
| |―
durations
| |―
units
| |―
nano
(1 arg)
| |―
now
(1 arg)
|―
time
Types
| |―
duration
| |―
Nano_Time_Handler
|―
transducer
(1 arg)
|―
try
(3 args)
|―
tuple
(1 arg)
|―
u128
(2 args)
|―
u16
(1 arg)
|―
u32
(1 arg)
|―
u64
(1 arg)
|―
u8
(1 arg)
|―
unique_id
(1 arg)
|―
unit
|―
terminal
Constructors
| |―
raw
|―
lock_free
Constructors
| |―
stack
|―
lock_free
Types
| |―
map
universe
Types
|―
Const_String
|―
Type
|―
array
|―
array2
|―
array3
|―
bitset
|―
bool
|―
FALSE
|―
TRUE
|―
choice
|―
effect
|―
exit
|―
handles
|―
handle0
Constructors
| |―
put
(1 arg)
|―
handles2
|―
handle2_0
|―
int
|―
integer
|―
list
|―
num_option
|―
numeric
Constructors
| |―
postfix |
|―
option
|―
outcome
|―
uint
|―
void
Types
Types
§
Types
:
Any
is
[src]
Types -- features related to Type but not requiring an instance of Type
Functions
§
get
(T
type
)
:
Any
=>
Type
[src]
Get the Type instance corresponding to a given type
The result of 'Types.get x' is the same as 'x.type'.
Internally, Fuzion's front end implements 'x.type' using
'Types.get x'.
