def counted

stelliferous@0.0.2.0 · tensor_file.bend:153

import Base
import stelliferous@0.0.2.0/tensor.bend as Tensors

153def counted(count: Maybe<&2,U32>,+path: String,+shape: List<&2,U32>) -> IO(Tensor()):
154  match count:
155    case None{}: IO.pure(Tensor(),Tensors.failed(~F32,"load",Tensors.InvalidShape{shape},shape,0.0,1))
156    case Some{+count}:
157      do IO<Tensor()>:
158        result : Result<&1,&1,U32 & String,File> <- File.open(path,"r")
159        opened(result,path,shape,count)