def read_swept
stelliferous@0.0.2.0 · tensor_access.bend:174
import stelliferous@0.0.2.0/tensor_access.bend as TensorAccess
import Base
import stelliferous@0.0.2.0/traversal_array.bend as Traversal
174def read_swept(~Element: Data,~operation: Element -> Element -> Element,input: Array<Element>,context: SweepContext<Element>,position: U32) ->
175 Array<Element> & Element:
176 SweepContext{+sweep,+pad} = context
177 Sweep{extent,step,+kernel,stride,padding,out_extent,origin} = sweep
178 Traversal.fold(~Array<Element>,~Element,~Element,~Line<Element>,~read_line(~Element),~operation,U32.to_nat(kernel),0,input,pad,
179 line_at(~Element,sweep,pad,position))