def apply_status_context

stelliferous@0.0.2.0 · tensor.bend:407

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

407def apply_status_context(~Element: Data,~Context: Data,~mapper: @+count: Nat -> @+position: U32 -> @+context: Context -> Storage.Buffer<Element> -> Storage.Buffer<Element>,context: Context,name: String,status: Status,storage: Storage.Buffer<Element>,+shape: List<&2,U32>,+fill: Element,
408  +workers: U32) -> Tensor<Element>:
409  match status:
410    case Usable{}: apply_view_context(~Element,~Context,~mapper,context,name,view_of(shape),storage,shape,fill,workers)
411    case Failed{problem}: Tensor{storage,shape,fill,Failed{problem},workers}