ideal • library • elements • collection

A finite collection of element values, such as a sequence or a set.

interface collection[combivariant value element]

Declaration: collection

Announcements: collection

Direct supertypes: composite value

All supertypes: value / entity

Direct subtypes: list / set / ordered set / dictionary

Use: set / dictionary / base list dictionary / base hash dictionary / hash set / option pattern / option matcher / option matcher / markup grammar / markup grammar / markup grammar

The number of elements in the collection.

nonnegative size readonly

Declaration: size

Specifies whether the collection has zero elements.

boolean is empty readonly

Declaration: is empty

Specifies whether the collection has more than zero elements. Shortcut for !is_empty.

boolean is not empty readonly

Declaration: is not empty

Enumerates elements in some collection-defined order. This method returns a snapshot of the collection state, so subsequent mutations of the collection do not cause changes in the returned list.

immutable list[element] elements readonly

Declaration: elements

Check whether the collection has at least one element that satisfies the predicate.

not yet implemented boolean has(predicate[element] the predicate) pure

Declaration: has

not yet implemented nonnegative count(predicate[element] the predicate) pure

Declaration: count

not yet implemented readonly collection[element] filter(predicate[element] the predicate) pure

Declaration: filter

not yet implemented readonly list[element] order by(order[element] the order) pure

Declaration: order by

not yet implemented immutable collection[element] filter(predicate[element] the predicate) immutable pure

Declaration: filter

not yet implemented void remove(predicate[element] the predicate)

Declaration: remove

void clear() writeonly

Declaration: clear

Directly overriden by: base list / list dictionary / hash dictionary / hash set