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
│
├─
blocking_mutate_using_clock
│
│
└─
timeout
(1 arg)
│
├─
Channel
│
├─
Future
│
├─
Receiving_Channel
│
├─
scheduling_policy
│
│
├─
sched_fifo
│
│
├─
sched_other
│
│
├─
sched_rr
│
│
└─
val
│
├─
Sending_Channel
│
├─
sync
│
│
├─
condition
│
│
└─
mutex
│
├─
task_pool
│
├─
Thread
│
├─
thread_pool
│
├─
Threads
│
└─
Unbuffered_Channel
├─
Cons
├─
cons
(2 args)
├─
container
│
├─
abstract_array
│
├─
Binary_Heap_Queue
│
├─
Buffer
│
├─
Dynamic_Array
│
├─
expanding
│
├─
expanding_array
│
├─
Finger_Tree
│
├─
Fixed_Capacity_Array
│
├─
hash_map
(2 args)
│
├─
Linked_List
│
├─
Map
│
├─
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
├─
effect
├─
effect_types
├─
effect_wormhole
├─
encodings
│
├─
ascii
│
├─
base16
│
├─
base32
│
├─
base32hex
│
├─
base64
│
├─
html
│
└─
percent
├─
envir
│
├─
Args
│
└─
Vars
├─
equal
├─
error
(2 args)
├─
Exit
├─
f32
(1 arg)
├─
f64
(1 arg)
├─
false_
├─
ffi
├─
float
├─
flow
│
├─
defer
│
├─
exception
(1 arg)
│
├─
fallible
(1 arg)
│
├─
short_circuit
(1 arg)
│
└─
try
(1 arg)
├─
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)
├─
greater
├─
Handle2_Id
├─
handle_id
│
└─
put
(1 arg)
├─
handles
├─
handles2
├─
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)
│
│
├─
write_result
│
│
└─
Writer
│
├─
dir
│
│
├─
Make
│
│
├─
open
│
│
└─
Read
│
├─
end_of_file
│
├─
Err
│
├─
file
│
│
├─
Delete
│
│
├─
file_mutate
│
│
├─
L_Stat
│
│
├─
mapped_buffer
│
│
├─
meta_data
(10 args)
│
│
├─
mode
│
│
│
├─
append
│
│
│
├─
read
│
│
│
├─
val
│
│
│
└─
write
│
│
├─
Move
│
│
├─
open
│
│
├─
Seek
│
│
└─
Stat
│
├─
Out
│
├─
path
│
├─
print_effect
│
├─
Read_Handler
│
└─
stdin
├─
Java_Ref
├─
Lazy
├─
less
├─
linear_effect
├─
list
├─
local_effect
├─
memoize
│
└─
memoized
├─
memoized_effect
├─
monad
├─
Monoid
├─
mutate
│
├─
array
│
├─
array2
│
├─
array3
│
├─
mutable_element
│
└─
new
(1 arg)
├─
native_access
├─
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
│
├─
pipe
│
├─
platform
│
├─
posix
│
├─
process
│
├─
Process
│
├─
signal
│
├─
signals
│
│
├─
abort
│
│
├─
alarm
│
│
├─
arithmetic_error
│
│
├─
broken_pipe
│
│
├─
hangup
│
│
├─
illegal_instruction
│
│
├─
interrupt
│
│
├─
invalid_memory_reference
│
│
├─
kill
│
│
├─
quit
│
│
├─
terminate
│
│
└─
trap
│
└─
windows
├─
outcome
├─
panic
(2 args)
├─
posix
│
├─
clock_monotonic
│
├─
clock_realtime
│
├─
clockid
│
└─
clockid_t
├─
property
│
├─
countable
│
├─
equatable
│
├─
hashable
│
├─
interval
│
├─
orderable
│
├─
partially_orderable
│
└─
reverse_order
(1 arg)
├─
quantor
├─
racy_mutate
├─
Random
├─
realtime
│
├─
Scheduler
│
└─
task
(2 args)
├─
Sequence
├─
state
(3 args)
├─
String
│
├─
cut_result
│
└─
infix *
(1 arg)
├─
switch
├─
thread_local_effect
├─
time
│
├─
calendar_duration
│
├─
Clock
│
├─
date_time
(7 args)
│
├─
duration
│
├─
frequency
(2 args)
│
├─
histogram
(5 args)
│
├─
histogram_mutate
│
├─
instant
│
├─
Monotonic
│
├─
Nano
│
├─
now
(1 arg)
│
├─
pday
│
├─
period
│
├─
phour
│
├─
pmilli_second
│
├─
pminute
│
├─
pmonth
│
├─
pnano_second
│
├─
posix_clock
│
├─
precision
│
├─
psecond
│
├─
pyear
│
├─
time_unit
(5 args)
│
└─
Wallclock
├─
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
├─
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.099dev (GIT hash a1331a3dc7ff37424401d3c7d0dba5be1302516f)
last changed: 2026-07-23
effect big bang singularity), this should be redefined to return the
corresponding effect value