def many

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

import Base

347# n more items after the one in r, oldest last in acc.
348def many(~A: Type, ~item: Cur -> Cur & A, n: Nat, r: Cur & A, acc: List<&1, A>) -> Cur & List<&1, A>:
349  match n:
350    case 0n:
351      (c, v) = r
352      (c, List.reverse(&1, A, Con{v, acc}))
353    case 1n+p:
354      (c, v) = r
355      many(~A, ~item, p, item(c), Con{v, acc})