def Mat.of_list2

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

import Base

768def Mat.of_list2(-r: Nat, -c: Nat, +rr: Nat, +cc: Nat, ok: Bool, xs: List<&2, F32>) -> Maybe<&1, Mat<r, c>>:
769  match ok:
770    case True{}:
771      Some{Mat{fill_list(xs, 0, Array.new(F32, cap_depth(Nat.mul(rr, cc)), 0.0))}}
772    case False{}:
773      None{}