~/jendhub

def append_parts

stelliferous@0.0.2.0 · tensor_layout.bend:330

import stelliferous@0.0.2.0/tensor_layout.bend as TensorLayout
import Base
import stelliferous@0.0.2.0/tensor.bend as Tensors

330def append_parts(~Element: Data,parts: Tensors.Parts<Element>,+axis: U32,state: Tensors.Tensor<Element> & U32) -> Tensors.Tensor<Element>:
331  match parts:
332    case Tensors.Single{part}: appended_all(~Element,append_part(~Element,axis,state,part))
333    case Tensors.Cons{part,rest}: append_parts(~Element,rest,axis,append_part(~Element,axis,state,part))

Uses (6)

Used by (2)