fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion
•
Library Modules
•
concat_list
»
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
│
├─
Channel
│
├─
Future
│
├─
Receiving_Channel
│
├─
scheduling_policy
│
│
├─
sched_fifo
│
│
├─
sched_other
│
│
└─
sched_rr
│
├─
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
│
├─
Finger_Tree
│
├─
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
│
├─
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
├─
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
│
├─
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
├─
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)
│
└─
values._
├─
Type
├─
Typed_Function
├─
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
├─
units
│
├─
byte_iec
(5 args)
│
├─
byte_si
(5 args)
│
└─
data_size
(1 arg)
├─
Values_Of_Open_Type
└─
void
concat_list
list
.
concat_list
concat_list
(t
Lazy (list A)
)
=>
list A
¶
[src]
Lazy list concatenation, O(1)
t is evaluated only when this list is exhausted
This is useful when doing buffered reading from an input
source and the next buffer chunk, the tail should only
be created when actually necessary.
0.095dev (GIT hash 09dff08de289bbb6f7136c7e2f8c66dcc1856bba)
last changed: 2026-04-16
t is evaluated only when this list is exhausted
This is useful when doing buffered reading from an input
source and the next buffer chunk, the tail should only
be created when actually necessary.