~/jendhub

def Vec.from_list.go

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

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

128def Vec.from_list.go(~T: Data, xs: List<&2, T>, v: Vec<T>) -> Vec<T>:
129  match xs:
130    case Nil{}:
131      v
132    case h <> t:
133      Vec.from_list.go(~T, t, Vec.push(~T, v, h))

Uses (3)

Used by (1)