ideal • runtime • elements • base

class base range

Declaration: base range

Announcements: base range

Direct supertypes: range

All supertypes: deeply_immutable list / collection / composite value / value / entity / equality comparable

private nonnegative the begin

Declaration: the begin

Use: the begin / the begin / the begin / the begin / the begin / the begin / the begin / the begin / the begin / the begin / the begin / the begin

private nonnegative the end

Declaration: the end

Use: the end / the end / the end / the end / the end / the end / the end / the end / the end / the end / the end

base range(nonnegative the begin, nonnegative the end)

Declaration: constructor

Start of the range.

implement nonnegative begin()

Declaration: begin

Direct overrides: begin

Use: test range / test range

End of the range; greater or equal than start.

implement nonnegative end()

Declaration: end

Direct overrides: end

Use: test range / test range

The number of elements in the collection.

implement nonnegative size()

Declaration: size

Direct overrides: size

Use: test range / test range

Specifies whether the collection has zero elements.

implement boolean is empty

Declaration: is empty

Direct overrides: is empty

Use: test range / test range

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

implement boolean is not empty

Declaration: is not empty

Direct overrides: is not empty

Use: is not empty / is not empty / test range

Access the first element of the list. Assumes the list is not empty.

implement nonnegative first()

Declaration: first

Direct overrides: first

Use: test range

Access the last element of the list. Assumes the list is not empty.

implement nonnegative last()

Declaration: last

Direct overrides: last

Use: test range

Read the list's element for the specified index.

implement implicit readonly reference[nonnegative] get(nonnegative index) pure

Declaration: constructor

Direct overrides: list

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.

implement range elements()

Declaration: elements

Direct overrides: elements

Use: test range

Returns an immutable copy of this list.

implement range frozen copy()

Declaration: frozen copy

Direct overrides: list

implement range skip(nonnegative count)

Declaration: skip

Direct overrides: range

implement range slice(nonnegative slice begin, nonnegative slice end)

Declaration: slice

Direct overrides: range

Returns an immutable list with the order of the elements reversed.

implement immutable list[nonnegative] reverse()

Declaration: reverse

Direct overrides: list

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

implement boolean has(predicate[nonnegative] the predicate) pure

Declaration: has

Direct overrides: list