def Vec.from_list

bend-tensors@0.0.0.2 · bend_tensors.bend:1332

import Base

1332# the first m of xs, padded with 0.0
1333def Vec.from_list(+m: Nat, xs: List<&2, F32>) -> Vec<m>:
1334  VecS{VecT.mask(VecT.depth(m), VecT.from_list(VecT.depth(m), List.take(&2, F32, xs, m)), 0n, m)}