def planned
stelliferous@0.0.2.0 · tensor_band_pool.bend:83
import stelliferous@0.0.2.0/tensor_band_pool.bend as TensorBandPool
import Base
import stelliferous@0.0.2.0/tensor_band.bend as Bands
import stelliferous@0.0.2.0/tensor_band_window.bend as BandWindow
83def planned(~Element: Data,~operation: Element -> Element -> Element,+context: Context<Element>,owners: Bands.Bands(~Element) & Bands.Plan) -> Bands.Bands(~Element):
84 Context{window,pad,fill,workers} = context
85 (bands,+layout) = owners
86 prepared(~Element,~operation,context,layout,BandWindow.prepare(~Element,window,pad,layout,bands))