fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion
•
Library Modules
•
base
•
effect
•
type.default_value
»
Modules
base
clang
sodium
crypto
database
http
lock_free
mail
wolfssl
nom
sqlite
terminal
tokiwa
web
uuid
webserver
universe (module base)
├─
abort
(1 arg)
├─
Any
├─
array
├─
array2
├─
array3
├─
auto_unwrap
├─
Binary
├─
bitset
├─
bool
├─
choice
├─
codepoint
(1 arg)
├─
composition
├─
concur
│
├─
atomic
│
├─
blocking_mutate
│
├─
Channel
│
├─
Future
│
├─
Receiving_Channel
│
├─
scheduling_policy
│
│
├─
sched_fifo
│
│
├─
sched_other
│
│
├─
sched_rr
│
│
└─
val
│
├─
Sending_Channel
│
├─
sync
│
│
├─
condition
│
│
└─
mutex
│
├─
Thread
│
├─
Thread_Handler
│
├─
thread_pool
│
└─
threads
(3 args)
├─
Cons
├─
cons
(2 args)
├─
container
│
├─
abstract_array
│
├─
Binary_Heap_Queue
│
├─
Buffer
│
├─
expanding
│
├─
expanding_array
│
├─
Finger_Tree
│
├─
hash_map
(2 args)
│
├─
Linked_List
│
├─
Map
│
├─
Mutable_Array
│
├─
Mutable_Array2
│
├─
Mutable_Array3
│
├─
Mutable_Hash_Map
│
├─
Mutable_Linked_List
│
├─
Mutable_Map
│
├─
Mutable_Priority_Queue
│
├─
mutable_tree_map
│
├─
ordered_map
(2 args)
│
│
└─
entry
(1 arg)
│
├─
Persistent_Map
│
├─
ps_map
│
├─
ps_set
│
├─
Ring_Buffer
(1 arg)
│
├─
Set
│
├─
sorted_array
(2 args)
│
├─
Stack
│
├─
stack
│
├─
type_applicator
│
├─
typed_applicator
│
├─
typed_fold
(2 args)
│
├─
Typed_Sequence
│
├─
Typed_Value
│
├─
typed_value
(1 arg)
│
├─
typed_zipper
│
├─
Types
│
└─
variadic
├─
defer
├─
eff
│
├─
fallible
(1 arg)
│
└─
try
(1 arg)
├─
effect
├─
effect_to_be_instated
├─
effect_types
├─
effect_wormhole
├─
encodings
│
├─
ascii
│
├─
base16
│
├─
base32
│
├─
base32hex
│
├─
base64
│
├─
html
│
└─
percent
├─
envir
│
├─
args
(1 arg)
│
├─
vars
(1 arg)
│
└─
Vars_Handler
├─
equal
├─
error
(2 args)
├─
exception
(1 arg)
├─
exit
├─
Exit_Handler
├─
f32
(1 arg)
├─
f64
(1 arg)
├─
false_
├─
ffi
├─
float
├─
Function
├─
Functional
├─
fuzion
│
├─
java
│
│
├─
Array
(1 arg)
│
│
├─
Java_Object
(1 arg)
│
│
└─
Java_String
(1 arg)
│
├─
jvm
│
├─
lambda_target
│
├─
runtime
│
│
├─
check_fault
(1 arg)
│
│
├─
contract_fault
(1 arg)
│
│
├─
fault
(1 arg)
│
│
├─
invariant_fault
(1 arg)
│
│
├─
post_fault
(1 arg)
│
│
├─
pre_fault
(1 arg)
│
│
├─
stackoverflow
│
│
└─
variant_fault
(1 arg)
│
└─
sys
├─
greater
├─
handle2_id
├─
handle_id
│
└─
put
(1 arg)
├─
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
│
├─
Buffer_Size
│
├─
buffered
│
│
├─
reader
(1 arg)
│
│
└─
writer
(1 arg)
│
│
└─
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
│
│
├─
file_mutate
│
│
├─
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
├─
Java_Ref
├─
Lazy
├─
less
├─
linear_effect
├─
list
├─
memoize
│
└─
memoized
├─
memoized_effect
├─
monad
├─
Monoid
├─
mutate
│
├─
array
│
├─
array2
│
├─
array3
│
├─
mutable_element
│
└─
new
(1 arg)
├─
Native_Ref
├─
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)
│
├─
ryū
│
│
└─
rounding_mode
(2 args)
│
└─
wrap_around
├─
numeric
│
└─
prefix |
├─
once
(1 arg)
├─
oneway_monad
(1 arg)
├─
oneway_monad_mode
│
├─
inst
│
├─
plain
│
├─
repl
│
└─
val
├─
Open_Types
├─
option
├─
order
├─
os
│
├─
platform
│
├─
posix
│
├─
process
│
├─
Process_Handler
│
├─
processes
(2 args)
│
├─
signal
│
├─
signals
│
│
├─
abort
│
│
├─
alarm
│
│
├─
arithmetic_error
│
│
├─
broken_pipe
│
│
├─
hangup
│
│
├─
illegal_instruction
│
│
├─
interrupt
│
│
├─
invalid_memory_reference
│
│
├─
kill
│
│
├─
quit
│
│
├─
terminate
│
│
└─
trap
│
└─
windows
├─
outcome
├─
panic
(2 args)
├─
path
├─
property
│
├─
countable
│
├─
equatable
│
├─
hashable
│
├─
orderable
│
├─
partially_orderable
│
└─
reverse_order
(1 arg)
├─
quantor
├─
racy_mutate
├─
random
(1 arg)
├─
Random_Handler
├─
realtime
├─
Sequence
├─
state
(3 args)
├─
String
│
├─
cut_result
│
└─
infix *
(1 arg)
├─
switch
├─
time
│
├─
calendar_duration
│
├─
Clock
│
├─
date_time
(7 args)
│
├─
duration
│
├─
frequency
(2 args)
│
├─
histogram
(5 args)
│
├─
histogram_mutate
│
├─
instant
│
├─
nano
(1 arg)
│
├─
Nano_Time_Handler
│
├─
now
(1 arg)
│
├─
pday
│
├─
Period
│
├─
phour
│
├─
pmilli_second
│
├─
pminute
│
├─
pmonth
│
├─
pnano_second
│
├─
precision
│
├─
psecond
│
├─
pyear
│
└─
time_unit
(5 args)
├─
transducer
(1 arg)
├─
trit
├─
true_
├─
tuple
(1 arg)
│
└─
values._
├─
Type
├─
Typed_Function
├─
u128
(2 args)
├─
u16
(1 arg)
├─
u32
(1 arg)
├─
u64
(1 arg)
├─
u8
(1 arg)
├─
uid
(1 arg)
├─
uint
├─
Unary
├─
unique_id
(1 arg)
├─
Unique_Id_Handler
├─
unit
├─
units
│
├─
byte_iec
│
├─
byte_si
│
└─
data_size
(1 arg)
├─
Values_Of_Open_Type
└─
void
default_value
effect
.
type
.
default_value
type
.default_value
=>
option effect.this.type
¶
[src]
If this effect may be instated automatically at application start (during the
effect big bang singularity), this should be redefined to return the
corresponding effect value
0.097dev (GIT hash 7935358ec8b7743224ffa00b87fbe7bbf70dc69e)
last changed: 2026-06-12
effect big bang singularity), this should be redefined to return the
corresponding effect value