def Mat.fill_at

bend-ml-tensor-array@0.1.19.0 · main.bend:788

import Base

788# writes the numbers of xs into m starting at flat index i (row-major); numbers past the
789# capacity are dropped. For loading a large matrix block by block without building one big list.
790def Mat.fill_at(-r: Nat, -c: Nat, +i: U32, xs: List<&2, F32>, m: Mat<r, c>) -> Mat<r, c>:
791  match m:
792    case Mat{d}:
793      Mat{fill_list(xs, i, d)}