~/jendhub

def Vec.push

bend-kit-collections@0.1.4.1 · vec.bend:47

import bend-kit-collections@0.1.4.1/vec.bend as Vec
import Base

47def Vec.push(~T: Data, v: Vec<T>, +x: T) -> Vec<T>:
48  match v:
49    case VNil{}:
50      Vec{1, ALeaf{x}}
51    case Vec{+n, buf}:
52      Vec.push.at(~T, n, x, Array.size(T, buf))

Uses (4)

Used by (1)