_VecNode[A: Any #share]

class val _VecNode[A: Any #share]

Constructors

empty

new val empty(
  level: U8 val)
: _VecNode[A] val^

Parameters

  • level: U8 val

Returns


create

new val create(
  entries: (Array[_VecNode[A] val] val | Array[Array[A] val] val),
  level: U8 val)
: _VecNode[A] val^

Parameters

Returns


Public Functions

new_root

fun val new_root()
: _VecNode[A] val

Returns


apply

fun box apply(
  i: USize val)
: A ?

Parameters

Returns

  • A ?

update

fun val update(
  i: USize val,
  value: A)
: _VecNode[A] val ?

Parameters

Returns


push

fun val push(
  i: USize val,
  tail: Array[A] val)
: _VecNode[A] val ?

Parameters

Returns


pop

fun val pop(
  i: USize val)
: (_VecNode[A] val , Array[A] val) ?

Parameters

Returns


leaf_nodes

fun val leaf_nodes(
  lns: Array[Array[A] val] ref)
: Array[Array[A] val] ref^

Parameters

Returns