def checked_bands

stelliferous@0.0.2.0 · tensor.bend:188

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

188def checked_bands(~Element: Data,status: Status,bands: Bands.Bands(~Element),geometry: Bands.Geometry,shape: List<&2,U32>,fill: Element,workers: U32) ->
189  Result<&1,&1,Tensor<Element> & Problem,Tensor<Element>>:
190  match status:
191    case Usable{}: Done{Banded{bands,geometry,shape,fill,Usable{},workers}}
192    case Failed{problem}: Fail{(Banded{bands,geometry,shape,fill,Usable{},workers},problem)}