fuzion-lang.dev — The Fuzion Language Portal
Sign up
Fuzion
•
Fuzion Library Modules
•
base
•
state_of
☰
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
state_of
state_of
§
state_of
(S
type
)
=>
state unit S
[src]
Type Parameters
§
S
:
Any
[src]
Functions
§
as_string
=>
String
[Inherited from
Any
]
[src]
§
dynamic_type
=>
Type
[Inherited from
Any
]
[src]
§
prefix $
=>
String
[Inherited from
Any
]
[src]
Type Functions
§
type
.as_string
=>
String
[Inherited from
Type
]
[src]
redefines:
Any.as_string
§
type
.dynamic_type
=>
Type
[Inherited from
Type
]
[src]
redefines:
Any.dynamic_type
§
type
.infix :
(T
type
)
=>
bool
[Inherited from
Type
]
[src]
§
type
.name
=>
String
[Inherited from
Type
]
[src]
§
type
.prefix $
=>
String
[Inherited from
Type
]
[src]
redefines:
Any.prefix $
§
type
.type_value
=>
Type
[Inherited from
Any
]
[src]
