fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion
•
Library Modules
•
base
•
Sequence
•
infix |
»
Modules
base
clang
http
lock_free
nom
terminal
uuid
wolfssl
universe (module base)
├─
abort
(1 arg)
├─
Any
├─
array
├─
array2
├─
array3
├─
auto_unwrap
├─
Binary
├─
bitset
├─
bool
├─
choice
├─
codepoint
(1 arg)
├─
composition
├─
concur
│
├─
atomic
(1 arg)
│
├─
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
│
├─
typed_applicator
│
├─
typed_fold
(2 args)
│
├─
Typed_Sequence
│
├─
Typed_Value
│
└─
typed_value
(1 arg)
├─
eff
│
├─
fallible
(1 arg)
│
└─
try
(1 arg)
├─
effect
├─
effect_to_be_instated
├─
encodings
│
├─
ascii
│
├─
base16
│
├─
base32
│
├─
base32hex
│
├─
base64
│
└─
unicode
├─
envir
│
├─
args
(1 arg)
│
├─
vars
(1 arg)
│
└─
Vars_Handler
├─
equal
├─
equatable_sequence
(1 arg)
├─
equatable_switch
├─
error
(1 arg)
├─
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
│
├─
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
├─
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
│
│
├─
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
├─
option
├─
order
├─
orderable_sequence
(1 arg)
├─
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)
├─
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
│
├─
histogram
(5 args)
│
├─
instant
│
├─
nano
(1 arg)
│
├─
Nano_Time_Handler
│
├─
now
(1 arg)
│
└─
time_unit
(5 args)
├─
transducer
(1 arg)
├─
trit
├─
true_
├─
tuple
(1 arg)
│
└─
#Values_Of_Open_Type4455
├─
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
├─
Values_Of_Open_Type
└─
void
infix |
Sequence
.
infix |
infix |
(B
type
:
Type
, f
Unary B T
)
=>
Sequence B
¶
[src]
map the Sequence to a new Sequence applying function f to all elements
This is an infix operator alias of map enabling piping code like
Code input
l := 1..10 | *10 | 300-
What are effects?
to obtain 290,280,270,...200
Note that map and therefore also this operator is lazy, so
Code input
_ := (1..10 | say)
What are effects?
will not print anything while
Code input
(1..10 | say).for_each _->unit
What are effects?
will print the elements since `for_each` is not lazy.
Type Parameters
B
¶
[src]
0.095dev (2025-08-15 12:02:22 GIT hash 301b5b75e77076d091b38f555473f9f0e31e5b5c built by fridi@fzen)
This is an infix operator alias of map enabling piping code like
to obtain 290,280,270,...200
Note that map and therefore also this operator is lazy, so
will not print anything while
will print the elements since `for_each` is not lazy.