def checked
stelliferous@0.0.2.0 · tensor.bend:182
import stelliferous@0.0.2.0/tensor.bend as Tensor
import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage
182def checked(~Element: Data,status: Status,storage: Storage.Buffer<Element>,shape: List<&2,U32>,fill: Element,workers: U32) ->
183 Result<&1,&1,Tensor<Element> & Problem,Tensor<Element>>:
184 match status:
185 case Usable{}: Done{Tensor{storage,shape,fill,Usable{},workers}}
186 case Failed{problem}: Fail{(Tensor{storage,shape,fill,Usable{},workers},problem)}