def saving

stelliferous@0.0.2.0 · tensor_file.bend:375

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

375def saving(operation: String,+path: String,tensor: Tensor(),prefix: List<&2,U32>,buffer: Result<&2,&1,Tensors.Problem,Buffers.Buffer<F32>>) -> IO(Tensor()):
376  match buffer:
377    case Fail{problem}: IO.pure(Tensor(),tensor)
378    case Done{Buffers.Buffer{storage,length,certificate}}:
379      do IO<Tensor()>:
380        result : Result<&1,&1,U32 & String,File> <- File.open(path,"w")
381        created(result,operation,path,tensor,prefix,storage,length)