ReadSeq [Src] [A: A]

The readable interface of a sequence.

interface box ReadSeq[A: A]

Public Functions

size [Src]

Returns the number of elements in the sequence.

fun box size()
: USize val

Returns

• USize val

---

apply [Src]

Returns the i-th element of the sequence. Raises an error if the index is out of bounds. Note that this returns A^, not this->A.

fun box apply(
  i: USize val)
: this->A ?

Parameters

• i: USize val

Returns

• this->A ?

---

values [Src]

Returns an iterator over the elements of the sequence. Note that this iterates over A^, not this->A.

fun box values()
: Iterator[this->A] ref^

Returns

• Iterator[this->A] ref^

---