fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion
•
Library Modules
•
compile_time_panic
»
Modules
base
clang
crypto
database
http
lock_free
mail
nom
sodium
sqlite
terminal
uuid
web
wolfssl
universe (module base)
├─
abort
(1 arg)
├─
Any
├─
array
├─
array2
├─
array3
├─
auto_unwrap
├─
Binary
├─
bitset
├─
bool
├─
choice
│
└─
#Open_Types1627
├─
codepoint
(1 arg)
├─
composition
├─
concur
│
├─
atomic
│
├─
Channel
│
├─
Future
│
├─
Receiving_Channel
│
├─
Sending_Channel
│
├─
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_Hash_Map
│
├─
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
│
├─
type_applicator
│
├─
typed_applicator
│
├─
typed_fold
(2 args)
│
├─
Typed_Sequence
│
├─
Typed_Value
│
├─
typed_value
(1 arg)
│
├─
typed_zipper
│
├─
Types
│
└─
variadic
├─
eff
│
├─
fallible
(1 arg)
│
└─
try
(1 arg)
├─
effect
├─
effect_to_be_instated
├─
encodings
│
├─
ascii
│
├─
base16
│
├─
base32
│
├─
base32hex
│
├─
base64
│
├─
percent
│
└─
unicode
├─
envir
│
├─
args
(1 arg)
│
├─
vars
(1 arg)
│
└─
Vars_Handler
├─
equal
├─
error
(1 arg)
├─
exception
(1 arg)
├─
exit
├─
Exit_Handler
├─
f32
(1 arg)
├─
f64
(1 arg)
├─
false_
├─
ffi
├─
float
├─
Function
│
└─
#Open_Types30
├─
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)
│
│
└─
variant_fault
(1 arg)
│
└─
sys
├─
greater
├─
handle2_id
├─
handle_id
│
└─
put
(1 arg)
├─
handles
├─
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
├─
monad
├─
Monoid
├─
mutate
│
├─
array
│
├─
array2
│
├─
circular_buffer
│
├─
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
│
├─
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
├─
outcome
├─
panic
(2 args)
├─
path
├─
property
│
├─
countable
│
├─
equatable
│
├─
hashable
│
├─
orderable
│
└─
partially_orderable
├─
quantor
├─
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)
│
├─
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)
│
├─
#Open_Types4678
│
└─
values.#
├─
Type
├─
Typed_Function
│
└─
#Open_Types1044
├─
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
├─
Values_Of_Open_Type
└─
void
compile_time_panic
compile_time_panic
compile_time_panic
=>
void
[Abstract feature]
¶
[src]
a variant of panic for code paths that are guaranteed to
never be taken. compilation fails if assumption does not hold
0.095dev (GIT hash 5a97c5766ea04e5412cbfaed4c53658737cd2e4b)
never be taken. compilation fails if assumption does not hold