def grow

bendtorch-core@0.1.0.0 · src/storage/api.bend:275

import Base
import bendtorch-core@0.1.0.0/src/storage/refinement.bend as Refinement

275def grow(array: Array<F32>, +effect: Effect) -> Array<F32>:
276  match effect:
277    case Wrote{+i, +w}:
278      Array.set(F32, array, i, w)
279    case Kept{+i}:
280      Refinement.first(F32, Array.get(F32, array, i))
281    case Left{}:
282      Pair.fst(Array<F32>, Array<F32>, Array.clone(F32, array))
283    case Right{}:
284      Pair.snd(Array<F32>, Array<F32>, Array.clone(F32, array))