~/jendhub

def range_planes

stelliferous@0.0.2.0 · tensor_band.bend:292

import stelliferous@0.0.2.0/tensor_band.bend as TensorBand
import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage

292# An empty intersection copies nothing, so it skips the per-channel loop.
293def range_planes(~Element: Data,empty: Bool,+channels: U32,+count: U32,+source_stride: U32,+destination_stride: U32,
294  +source_start: U32,+destination_start: U32,owners: Storage.Buffer<Element> & Storage.Buffer<Element>) ->
295  Storage.Buffer<Element> & Storage.Buffer<Element>:
296  match empty:
297    case True{}: owners
298    case False{}: planes(~Element,U32.to_nat(channels),0,count,source_stride,destination_stride,source_start,destination_start,owners)

Uses (6)

Used by (1)