def apply_indexed_bands

stelliferous@0.0.2.0 · tensor.bend:462

import Base
import stelliferous@0.0.2.0/tensor_band.bend as Bands

462def apply_indexed_bands(~Element: Data,~operation: U32 -> Element -> Element,operations: F32,status: Status,bands: Bands.Bands(~Element),+geometry: Bands.Geometry,
463  shape: List<&2,U32>,+fill: Element,+workers: U32) -> Tensor<Element>:
464  match status:
465    case Usable{}: apply_indexed_positive(~Element,~operation,indexed_width_positive(geometry),operations,bands,geometry,shape,fill,workers)
466    case Failed{problem}: Banded{bands,geometry,shape,fill,Failed{problem},workers}