KernelPipeline.copy_rows: def of stelliferous@0.0.2.0 Import: import stelliferous@0.0.2.0/kernel_pipeline.bend as KernelPipeline Lines 69-76 of stelliferous@0.0.2.0/kernel_pipeline.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_pipeline.bend&start_line=69&end_line=76 import Base import stelliferous@0.0.2.0/storage_buffer.bend as Storage import stelliferous@0.0.2.0/storage_copy.bend as Copy def copy_rows(remaining: Nat,+channel: U32,+count: U32,+source_stride: U32,+source_start: U32,+target_stride: U32, owners: Storage.Buffer & Storage.Buffer) -> Storage.Buffer & Storage.Buffer: match remaining: case 0n: owners case 1n+rest: (source,target) = owners copy_rows(rest,(channel + 1 : U32),count,source_stride,source_start,target_stride, Copy.range(~F32,count,(channel * source_stride + source_start : U32),(channel * target_stride : U32),source,target)) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/storage_buffer.bend&name=Buffer https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/storage_copy.bend&name=range