def loop.end

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

import Base

403# Out of fuel before the terminator is Bad.
404def loop.end(-A: Type, -B: Type, s: Loop<A, B>) -> Cur & List<&1, B>:
405  match s:
406    case Go{c, x, acc}:
407      (fail(c), List.reverse(&1, B, acc))
408    case Stop{c, acc}:
409      (c, List.reverse(&1, B, acc))