def VecT.scale

bend-tensors@0.0.0.2 · bend_tensors.bend:539

import Base

539def VecT.scale(+n: Nat, +k: F32, v: VecT(n)) -> VecT(n):
540  match n:
541    case 0n:
542      VecL{x} = v
543      VecL{Vec4.scale(k, x)}
544    case 1n+p:
545      VecN{l, r} = v
546      a b = VecT.scale(p, k, l) VecT.scale(p, k, r)
547      VecN{a, b}