def append_parts

stelliferous@0.0.2.0 · tensor_band_concat.bend:175

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

175def append_parts(~Element: Data,parts: Tensors.Parts<Element>,+geometry: Bands.Geometry,+workers: U32,state: Bands.Bands(~Element) & U32) -> Bands.Bands(~Element):
176  match parts:
177    case Tensors.Single{input}: output(~Element,append_part(~Element,geometry,workers,input,state))
178    case Tensors.Cons{input,rest}: append_parts(~Element,rest,geometry,workers,append_part(~Element,geometry,workers,input,state))