def relabel

stelliferous@0.0.2.0 · tensor_layout.bend:122

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

122def relabel(~Element: Data,accepted: Bool,current: Tensors.Status,storage: Storage.Buffer<Element>,+shape: List<&2,U32>,+target: List<&2,U32>,fill: Element,
123  workers: U32) -> Tensors.Tensor<Element>:
124  match current:
125    case Tensors.Usable{}: relabel_ready(~Element,accepted,storage,shape,target,fill,workers)
126    case Tensors.Failed{problem}: Tensors.Tensor{storage,shape,fill,Tensors.Failed{problem},workers}