def place_l

bendtorch@1.3.0.0 · tensor.bend:318

import Base

318# g[m(j)] = x[j] for k positions from j (a copy into a window of g; no addition, so -0 stays -0)
319def place_l(k: Nat, +j: U32, +m: IMap, rx: Array<F32> & F32, g: Array<F32>) -> P2:
320  match k rx:
321    case 0n Tuple{x, u}:
322      P2{x, g}
323    case 1n+p Tuple{x, +u}:
324      place_l(p, (j + 1 : U32), m, Array.get(F32, x, (j + 1 : U32)), Array.set(F32, g, imap(m, j), u))