def indexed_band

stelliferous@0.0.2.0 · tensor_band.bend:276

import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage
import stelliferous@0.0.2.0/traversal_partition.bend as Partition

276def indexed_band(~Element: Data,~operation: U32 -> Element -> Element,context: Filled<Element>,first: U32,rows: U32,
277  input: Storage.Buffer<Element>,resource: Unit) -> Bands(~Element):
278  Filled{geometry,fill} = context
279  +first = first
280  +rows = rows
281  Partition.Leaf{indexed_leaf(~Element,~operation,geometry,first,rows,fill,input),first,rows,Unit{}}