def append_part

stelliferous@0.0.2.0 · tensor_band_concat.bend:166

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

166def append_part(~Element: Data,geometry: Bands.Geometry,workers: U32,input: Tensors.Tensor<Element>,state: Bands.Bands(~Element) & U32) -> Bands.Bands(~Element) & U32:
167  (output,channel) = state
168  Tensors.with_metadata(~Element,~(Bands.Bands(~Element) & U32),input,input => shape => fill => status => previous =>
169    append_input(~Element,geometry,channel,channels(shape),workers,input,output))