def aligned

stelliferous@0.0.2.0 · tensor.bend:339

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

339def aligned(~Element: Data,geometry: Bands.Geometry,layout: Bands.Plan,tensor: Tensor<Element>) -> Bands.Bands(~Element):
340  match tensor:
341    case Tensor{storage,shape,fill,status,workers}: Bands.from_dense(~Element,geometry,fill,layout,storage)
342    case Banded{bands,previous,shape,fill,status,workers}: Bands.align(~Element,geometry,fill,layout,bands)