KernelWindow.copy_planes: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_window.bend as KernelWindow
Lines 62-71 of stelliferous@0.0.2.0/kernel_window.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_window.bend&start_line=62&end_line=71

import Base
import stelliferous@0.0.2.0/traversal_array.bend as Traversal

# Channel c copies count values from c * source_stride + source_start to
# c * target_stride. Each plane is one contiguous copy.
def copy_planes(remaining: Nat,+channel: U32,+count: U32,+source_stride: U32,+source_start: U32,+target_stride: U32,
  owners: Array<F32> & Array<F32>) -> Array<F32> & Array<F32>:
  match remaining:
    case 0n: owners
    case 1n+rest:
      (source,target) = owners
      copy_planes(rest,(channel + 1 : U32),count,source_stride,source_start,target_stride,
        Traversal.copy(~F32,U32.to_nat(count),(channel * source_stride + source_start : U32),(channel * target_stride : U32),source,target))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  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=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=copy