builtin Seq - tadashi9e/gmp4pony GitHub Wiki
A sequence of elements.
interface ref Seq[A: A]Create a sequence, reserving space for len elements.
new ref create(
len: USize val = 0)
: Seq[A] ref^- len: USize val = 0
- Seq[A] ref^
Reserve space for len elements.
fun ref reserve(
len: USize val)
: None val- len: USize val
- None val
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.
fun box apply(
i: USize val)
: this->A ?- i: USize val
- this->A ?
Replaces the i-th element of the sequence. Returns the previous value. Raises an error if the index is out of bounds.
fun ref update(
i: USize val,
value: A)
: A^ ?- i: USize val
- value: A
- A^ ?
Removes all elements from the sequence.
fun ref clear()
: None val- None val
Adds an element to the end of the sequence.
fun ref push(
value: A)
: None val- value: A
- None val
Removes an element from the end of the sequence.
fun ref pop()
: A^ ?- A^ ?
Adds an element to the beginning of the sequence.
fun ref unshift(
value: A)
: None val- value: A
- None val
Removes an element from the beginning of the sequence.
fun ref shift()
: A^ ?- A^ ?
Add len elements to the end of the list, starting from the given offset.
fun ref append(
seq: (ReadSeq[A] box & ReadElement[A^] box),
offset: USize val = 0,
len: USize val = call)
: None val- seq: (ReadSeq[A] box & ReadElement[A^] box)
- offset: USize val = 0
- len: USize val = call
- None val
Add len iterated elements to the end of the list, starting from the given offset.
fun ref concat(
iter: Iterator[A^] ref,
offset: USize val = 0,
len: USize val = call)
: None val- None val
Truncate the sequence to the given length, discarding excess elements. If the sequence is already smaller than len, do nothing.
fun ref truncate(
len: USize val)
: None val- len: USize val
- None val
Returns an iterator over the elements of the sequence.
fun box values()
: Iterator[this->A] ref^- Iterator[this->A] ref^