fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion
•
Library Modules
•
base
•
Sequence
•
count
»
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_Array3
│
├─
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
├─
effect_types
├─
effect_wormhole
├─
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
├─
memoized_effect
├─
monad
├─
Monoid
├─
mutate
│
├─
array
│
├─
array2
│
├─
array3
│
├─
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
count
Sequence
.
count
count
=>
i32
[Redefinition of
property.countable.count
]
¶
[src]
count the number of elements in this Sequence. Note that this typically
runs forever if executed on an endless Sequence
For Sequences that are not array backed, this might require time in O(count).
Precondition
Inherited from
property.countable.count
pre analysis: finite.is_yes_or_unknown
redefines:
property.countable.count
0.095dev (GIT hash 174ff0d5a4465a8a0415fd934dc6963e69d62f22)
last changed: 2026-04-27
runs forever if executed on an endless Sequence
For Sequences that are not array backed, this might require time in O(count).