Seq [Src] [A: A]

A sequence of elements.

interface ref Seq[A: A]

Constructors

create [Src]

Create a sequence, reserving space for len elements.

new ref create(
  len: USize val = seq)
: Seq[A] ref^

Parameters

• len: USize val = seq

Returns

• Seq[A] ref^

---

Public Functions

reserve [Src]

Reserve space for len elements.

fun ref reserve(
  len: USize val)
: None val

Parameters

• len: USize val

Returns

• None val

---

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.

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

Parameters

• i: USize val

Returns

• this->A ?

---

update [Src]

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^ ?

Parameters

• i: USize val
• value: A

Returns

• A^ ?

---

clear [Src]

Removes all elements from the sequence.

fun ref clear()
: None val

Returns

• None val

---

push [Src]

Adds an element to the end of the sequence.

fun ref push(
  value: A)
: None val

Parameters

• value: A

Returns

• None val

---

pop [Src]

Removes an element from the end of the sequence.

fun ref pop()
: A^ ?

Returns

• A^ ?

---

unshift [Src]

Adds an element to the beginning of the sequence.

fun ref unshift(
  value: A)
: None val

Parameters

• value: A

Returns

• None val

---

shift [Src]

Removes an element from the beginning of the sequence.

fun ref shift()
: A^ ?

Returns

• A^ ?

---

append [Src]

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 = seq,
  len: USize val = seq)
: None val

Parameters

• seq: (ReadSeq[A] box & ReadElement[A^] box)
• offset: USize val = seq
• len: USize val = seq

Returns

• None val

---

concat [Src]

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 = seq,
  len: USize val = seq)
: None val

Parameters

• iter: Iterator[A^] ref
• offset: USize val = seq
• len: USize val = seq

Returns

• None val

---

truncate [Src]

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

Parameters

• len: USize val

Returns

• None val

---

values [Src]

Returns an iterator over the elements of the sequence.

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

Returns

• Iterator[this->A] ref^

---