def VecT.from_list

bend-tensors@0.0.0.2 · bend_tensors.bend:636

import Base

636# the first 4 * 2^n elements of xs, padded with 0.0
637def VecT.from_list(+n: Nat, +xs: List<&2, F32>) -> VecT(n):
638  match n:
639    case 0n:
640      VecL{Vec4.from_list(xs)}
641    case 1n+p:
642      +h = VecT.size(p)
643      l r = VecT.from_list(p, List.take(&2, F32, xs, h)) VecT.from_list(p, List.drop(&2, F32, xs, h))
644      VecN{l, r}