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
│
├─
blocking_mutate
│
├─
blocking_mutate_using_clock
│
│
└─
timeout
(1 arg)
│
├─
Channel
│
├─
Future
│
├─
Receiving_Channel
│
├─
scheduling_policy
│
│
├─
sched_fifo
│
│
├─
sched_other
│
│
├─
sched_rr
│
│
└─
val
│
├─
Sending_Channel
│
├─
sync
│
│
├─
condition
│
│
└─
mutex
│
├─
task_pool
│
├─
Thread
│
├─
thread_pool
│
├─
Threads
│
└─
Unbuffered_Channel
├─
Cons
├─
cons
(2 args)
├─
container
│
├─
abstract_array
│
├─
Binary_Heap_Queue
│
├─
Buffer
│
├─
Dynamic_Array
│
├─
expanding
│
├─
expanding_array
│
├─
Finger_Tree
│
├─
Fixed_Capacity_Array
│
├─
hash_map
(2 args)
│
├─
Linked_List
│
├─
Map
│
├─
Mutable_Array2
│
├─
Mutable_Array3
│
├─
Mutable_Hash_Map
│
├─
Mutable_Linked_List
│
├─
Mutable_Map
│
├─
Mutable_Priority_Queue
│
├─
mutable_tree_map
│
├─
ordered_map
(2 args)
│
│
└─
entry
(1 arg)
│
├─
Persistent_Map
│
├─
ps_map
│
├─
ps_set
│
├─
Ring_Buffer
(1 arg)
│
├─
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
├─
effect
├─
effect_types
├─
effect_wormhole
├─
encodings
│
├─
ascii
│
├─
base16
│
├─
base32
│
├─
base32hex
│
├─
base64
│
├─
html
│
└─
percent
├─
envir
│
├─
Args
│
└─
Vars
├─
equal
├─
error
(2 args)
├─
Exit
├─
f32
(1 arg)
├─
f64
(1 arg)
├─
false_
├─
ffi
├─
float
├─
flow
│
├─
defer
│
├─
exception
(1 arg)
│
├─
fallible
(1 arg)
│
├─
short_circuit
(1 arg)
│
└─
try
(1 arg)
├─
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)
├─
greater
├─
Handle2_Id
├─
handle_id
│
└─
put
(1 arg)
├─
handles
├─
handles2
├─
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)
│
│
├─
write_result
│
│
└─
Writer
│
├─
dir
│
│
├─
Make
│
│
├─
open
│
│
└─
Read
│
├─
end_of_file
│
├─
Err
│
├─
file
│
│
├─
Delete
│
│
├─
file_mutate
│
│
├─
L_Stat
│
│
├─
mapped_buffer
│
│
├─
meta_data
(10 args)
│
│
├─
mode
│
│
│
├─
append
│
│
│
├─
read
│
│
│
├─
val
│
│
│
└─
write
│
│
├─
Move
│
│
├─
open
│
│
├─
Seek
│
│
└─
Stat
│
├─
Out
│
├─
path
│
├─
print_effect
│
├─
Read_Handler
│
└─
stdin
├─
Java_Ref
├─
Lazy
├─
less
├─
linear_effect
├─
list
├─
local_effect
├─
memoize
│
└─
memoized
├─
memoized_effect
├─
monad
├─
Monoid
├─
mutate
│
├─
array
│
├─
array2
│
├─
array3
│
├─
mutable_element
│
└─
new
(1 arg)
├─
native_access
├─
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
│
├─
pipe
│
├─
platform
│
├─
posix
│
├─
process
│
├─
Process
│
├─
signal
│
├─
signals
│
│
├─
abort
│
│
├─
alarm
│
│
├─
arithmetic_error
│
│
├─
broken_pipe
│
│
├─
hangup
│
│
├─
illegal_instruction
│
│
├─
interrupt
│
│
├─
invalid_memory_reference
│
│
├─
kill
│
│
├─
quit
│
│
├─
terminate
│
│
└─
trap
│
└─
windows
├─
outcome
├─
panic
(2 args)
├─
posix
│
├─
clock_monotonic
│
├─
clock_realtime
│
├─
clockid
│
└─
clockid_t
├─
property
│
├─
countable
│
├─
equatable
│
├─
hashable
│
├─
interval
│
├─
orderable
│
├─
partially_orderable
│
└─
reverse_order
(1 arg)
├─
quantor
├─
racy_mutate
├─
Random
├─
realtime
│
├─
Scheduler
│
└─
task
(2 args)
├─
Sequence
├─
state
(3 args)
├─
String
│
├─
cut_result
│
└─
infix *
(1 arg)
├─
switch
├─
thread_local_effect
├─
time
│
├─
calendar_duration
│
├─
Clock
│
├─
date_time
(7 args)
│
├─
duration
│
├─
frequency
(2 args)
│
├─
histogram
(5 args)
│
├─
histogram_mutate
│
├─
instant
│
├─
Monotonic
│
├─
Nano
│
├─
now
(1 arg)
│
├─
pday
│
├─
period
│
├─
phour
│
├─
pmilli_second
│
├─
pminute
│
├─
pmonth
│
├─
pnano_second
│
├─
posix_clock
│
├─
precision
│
├─
psecond
│
├─
pyear
│
├─
time_unit
(5 args)
│
└─
Wallclock
├─
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)
├─
uid
(1 arg)
├─
uint
├─
Unary
├─
Unique_Id
├─
unit
├─
units
│
├─
byte_iec
│
├─
byte_si
│
└─
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.099dev (GIT hash a1331a3dc7ff37424401d3c7d0dba5be1302516f)
last changed: 2026-07-23
runs forever if executed on an endless Sequence
For Sequences that are not array backed, this might require time in O(count).