def Weights.load

bend-tensors@0.0.0.2 · bend_tensors.bend:1677

import Base

1677# rows * cols float32 from a file, as numpy's tofile writes a C-ordered array
1678def Weights.load(+rows: Nat, +cols: Nat, path: String) -> IO(Weights<rows, cols>):
1679  IO.bind(U32, Weights<rows, cols>, IO.try(U32, Weights.load.eff(path, (U32.from_nat(rows) * U32.from_nat(cols) : U32))), id => Weights.wrap(rows, cols, id))