def loop.pick

bend-kit-postgres@0.3.0.0 · codec.bend:411

import Base

411def loop.pick(-A: Type, -B: Type, stop: Bool, c: Cur, x: A, acc: List<&1, B>) -> Loop<A, B>:
412  match stop:
413    case True{}:
414      Stop{c, acc}
415    case False{}:
416      Go{c, x, acc}