def gather

stelliferous@0.0.2.0 · traversal_partition.bend:39

import Base

39def gather(~Output: Type,~copy: U32 -> U32 -> U32 -> U32 -> Output -> Output -> Output,
40  partitions: Tree<&1,Output,U32>,output: Output,+positions: U32) -> Output:
41  match partitions:
42    case Leaf{input,offset,span,rows}: copy(rows,offset,positions,span,input,output)
43    case Fork{left,right}: gather(~Output,~copy,right,gather(~Output,~copy,left,output,positions),positions)