def Vec.from_file

bend-tensors@0.0.0.2 · bend_tensors.bend:1763

import Base

1763# m float32 from a file, as a Vec (Data: share it, it is never consumed)
1764def Vec.from_file(+m: Nat, path: String) -> IO(Vec<m>):
1765  IO.bind(Array<F32>, Vec<m>, IO.try(Array<F32>, Flat.load.eff(path, U32.from_nat(m))), a => Vec.wrap(m, a))