Skip to content

_VecNode[A: Any #share]

[Source]

class val _VecNode[A: Any #share]

Constructors

empty

[Source]

new val empty(
  depth: USize val)
: _VecNode[A] val^

Parameters

Returns


create

[Source]

new val create(
  entries': (Array[A] val | Array[_VecNode[A] val] val))
: _VecNode[A] val^

Parameters

Returns


Public Functions

grow_root

[Source]

fun val grow_root()
: _VecNode[A] val

Returns


apply

[Source]

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

Parameters

Returns

  • A ?

push

[Source]

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

Parameters

Returns


pop

[Source]

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

Parameters

Returns


update

[Source]

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

Parameters

Returns


leaf_nodes

[Source]

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

Parameters

Returns