def discover

stelliferous@0.0.2.0 · tensor_band_concat.bend:41

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

41def discover(~Element: Data,parts: Tensors.Parts<Element>) -> Tensors.Parts<Element> & Maybe<&2,Bands.Plan>:
42  match parts:
43    case Tensors.Single{tensor}: single_plan(~Element,tensor_plan(~Element,tensor))
44    case Tensors.Cons{tensor,rest}: cons_plan(~Element,tensor_plan(~Element,tensor),discover(~Element,rest))