builtin ReadSeq - tadashi9e/gmp4pony GitHub Wiki
The readable interface of a sequence.
interface box ReadSeq[A: A]Returns the number of elements in the sequence.
fun box size()
: USize val- USize val
Returns the i-th element of the sequence. Raises an error if the index is out of bounds. Note that this returns this->A, not A.
fun box apply(
i: USize val)
: this->A ?- i: USize val
- this->A ?
Returns an iterator over the elements of the sequence. Note that this iterates over this->A, not A.
fun box values()
: Iterator[this->A] ref^- Iterator[this->A] ref^