def gather.pick

bend-parallel@0.1.0.0 · sort.bend:478

import Base

478def gather.pick(~T: Data, ok: Bool, +lg: Nat, +v: T, src: Array<T>, dst: Array<T>) -> Sd<T>:
479  match ok:
480    case True{}:
481      Sd{src, dst}
482    case False{}:
483      Sd{src, Array.new(T, lg, v)}