def written

stelliferous@0.0.2.0 · tensor_file.bend:360

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

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

360def written(complete: Bool,operation: String,path: String,tensor: Tensor()) -> Tensor():
361  match complete:
362    case True{}: tensor
363    case False{}: unsaved(Tensors.shape(~F32,tensor),operation,path,"cannot be written")

Uses (6)

Used by (1)

stelliferous@0.0.2.0/tensor_file:created