def VecT.arange.from

bend-tensors@0.0.0.2 · bend_tensors.bend:490

import Base

490# x, x + 1, x + 2, ..
491def VecT.arange.from(+n: Nat, +x: F32) -> VecT(n):
492  match n:
493    case 0n:
494      VecL{Vec4.arange(x)}
495    case 1n+p:
496      +h = F32.from_nat(VecT.size(p))
497      l r = VecT.arange.from(p, x) VecT.arange.from(p, (x + h : F32))
498      VecN{l, r}