fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion
•
API-Documentation
•
stream
•
infix ∃
☰
universe
Constructors
|―
Any
|―
Cons
|―
cons
(2 args)
|―
Function
|―
Lazy
|―
Monoid
|―
Sequence
|―
stream
Constructors
| |―
map_broken
(1 arg)
|―
streams
|―
String
Constructors
| |―
infix *
(1 arg)
|―
Types
|―
Unary
|―
abort
(1 arg)
|―
auto_unwrap
|―
character_encodings
Constructors
| |―
ascii
| |―
unicode
|―
codepoint
(1 arg)
|―
composition
|―
concur
Constructors
| |―
thread
(1 arg)
Types
| | |―
spawned
| |―
atomic
(1 arg)
|―
concur
Types
| |―
Thread_Handler
|―
container
Constructors
| |―
Linked_List
| |―
Map
| |―
Set
| |―
Stack
| |―
stack
| |―
float_sequence
(1 arg)
| |―
hash_map
(2 args)
| |―
numeric_sequence
(1 arg)
| |―
ordered_map
(2 args)
Constructors
| | |―
entry
(1 arg)
| |―
searchable_sequence
(1 arg)
| |―
sorted_array
(2 args)
|―
container
Types
| |―
Buffer
| |―
Mutable_Linked_List
| |―
map_of_total_order
| |―
mutable_tree_map
| |―
ps_map
| |―
ps_set
|―
effect_mode
Constructors
| |―
new
| |―
default
| |―
plain
| |―
repl
| |―
inst
(1 arg)
|―
effect_mode
Types
| |―
val
|―
code_effect
|―
simple_effect
|―
envir
Constructors
| |―
args
(1 arg)
| |―
vars
(1 arg)
|―
envir
Types
| |―
Vars_Handler
|―
error
(1 arg)
|―
Exit_Handler
|―
f128
(1 arg)
|―
f16
(1 arg)
|―
f32
(1 arg)
|―
f64
(1 arg)
|―
float
|―
fuzion
Constructors
| |―
java
Constructors
| | |―
Java_Object
(1 arg)
| | |―
Array
(1 arg)
| | |―
Java_String
(1 arg)
|―
i128
(2 args)
|―
i16
(1 arg)
|―
i32
(1 arg)
|―
i64
(1 arg)
|―
i8
(1 arg)
|―
interval
(3 args)
|―
has_interval
|―
io
Constructors
| |―
err
(1 arg)
| |―
out
(1 arg)
| |―
Read_Provider
| |―
buffered
Constructors
| | |―
reader
(3 args)
Constructors
| | | |―
discard
(1 arg)
| | | |―
discard_all
| |―
dir
Constructors
| | |―
read
(1 arg)
| |―
dir
Types
| | |―
open
| | |―
open_unique_type
| | |―
Read_Handler
| |―
file
Constructors
| | |―
read
(1 arg)
| | |―
write
(1 arg)
| | |―
mode
Constructors
| | | |―
read
| | | |―
write
| | | |―
append
| | |―
mode
Types
| | | |―
val
| | |―
delete
(2 args)
| | |―
move
(1 arg)
| | |―
seek
(1 arg)
| | |―
Seek_Handler
| | |―
stat
(1 arg)
| |―
file
Types
| | |―
open
Types
| | | |―
mapped_buffer
| | |―
open_unique_type
| | |―
Read_Handler
| | |―
meta_data
| | |―
Delete_Handler
| | |―
Move_Handler
| | |―
Stat_Handler
| | |―
Write_Handler
| |―
print_effect
(1 arg)
| |―
Print_Handler
|―
io
Types
| |―
end_of_file
|―
monad
|―
mutate
Constructors
| |―
new
(1 arg)
|―
mutate
Types
| |―
array
| |―
mutable_element
Constructors
| | |―
close
|―
Mutable_Array
|―
net
Constructors
| |―
family
Constructors
| | |―
ipv4
| | |―
ipv6
| |―
family
Types
| | |―
val
| |―
socket_type
Constructors
| | |―
stream
| | |―
datagram
| |―
protocol
Constructors
| | |―
tcp
| | |―
udp
| |―
protocol
Types
| | |―
val
|―
net
Types
| |―
channel
Constructors
| | |―
close
| |―
server
Constructors
| | |―
close
| | |―
accept_in_thread
(1 arg)
|―
nil
|―
num
Constructors
| |―
complex
(2 args)
| |―
fraction
(2 args)
| |―
matrix
(1 arg)
| |―
minus
| |―
plus
| |―
ryū
Constructors
| | |―
rounding_mode
(2 args)
|―
num
Types
| |―
sign
| |―
wrap_around
|―
oneway_monad
(1 arg)
|―
panic
(2 args)
|―
Panic_Handler
|―
process
Constructors
| |―
env_vars
(1 arg)
|―
process
Types
| |―
Process
|―
property
Constructors
| |―
equatable
| |―
hashable
| |―
orderable
| |―
partially_orderable
|―
quantor
|―
random
(2 args)
|―
state
(3 args)
|―
time
Constructors
| |―
date_time
(6 args)
| |―
durations
| |―
units
| |―
nano
(1 arg)
| |―
now
(1 arg)
|―
time
Types
| |―
duration
| |―
Nano_Time_Handler
|―
transducer
(1 arg)
|―
try
|―
tuple
(1 arg)
|―
u128
(2 args)
|―
u16
(1 arg)
|―
u32
(1 arg)
|―
u64
(1 arg)
|―
u8
(1 arg)
|―
unique_id
(1 arg)
|―
Unique_Id_Handler
|―
unit
|―
terminal
Constructors
| |―
raw
|―
lock_free
Constructors
| |―
stack
|―
lock_free
Types
| |―
map
| |―
not_found
universe
Types
|―
Const_String
|―
Type
|―
array
|―
array2
|―
array3
|―
bitset
|―
bool
|―
FALSE
|―
TRUE
|―
choice
|―
effect
|―
exit
|―
handles
|―
handle0
Constructors
| |―
put
(1 arg)
|―
handles2
|―
handle2_0
Constructors
| |―
put
(1 arg)
|―
int
|―
integer
|―
list
Constructors
| |―
as_stream
|―
num_option
|―
numeric
|―
option
|―
outcome
|―
Random_Handler
|―
uint
|―
void
infix ∃
stream
.
infix ∃
§
infix ∃
(f
Unary bool stream.T
)
=>
bool
:
Any
[src]
check if predicate f holds for at least one element produced by this stream
redefines:
Sequence.infix ∃
