keen/col/queue

queue[t] record (has private fields)

Immutable queue. Supports efficient removal from the left and insertion to the right.

list-new[t] t queue(values t[])

to[t] t queue(a t[])

to[t] t[](a t queue)

Copies queue elements to an array. This is O(a size).

is-empty[t] bool(a t queue)

true if a.size == 0.

size[t] nat64(a t queue)

Number of elements in the queue.

~[t] t queue(a t queue, value t)

Adds a new element on the right.

dequeue[t] (t, t queue) option(a t queue)

Removes and returns an element from the left. Returns an empty option if a is-empty.

some[t] bool(a t queue, f bool mut(t))