def Vec.map

bend-tensors@0.0.0.2 · bend_tensors.bend:1342

import Base

1342def Vec.map(~f: F32 -> F32, +m: Nat, v: Vec<m>) -> Vec<m>:
1343  VecS{t} = v
1344  VecS{VecT.mask(VecT.depth(m), VecT.map(~f, VecT.depth(m), t), 0n, m)}