def from_list

bend-lawful-stdlib@0.1.0.0 · src/vec.bend:23

import Base

23# a list as a Vec of its own length
24def from_list(-A: Data, xs: List<&2, A>) -> Vec(A, List.length(&2, A, xs)):
25  match xs:
26    case Nil{}:
27      Unit{}
28    case h <> t:
29      (h, from_list(A, t))