def load_npy

stelliferous@0.0.2.0 · tensor_file.bend:291

import Base

291# An FP32 array saved by NumPy, with its shape.
292def load_npy(+path: String) -> IO(Tensor()):
293  do IO<Tensor()>:
294    result : Result<&1,&1,U32 & String,File> <- File.open(path,"r")
295    npy_opened(result,path)