Sigv4.all.go: def of bend-kit-sigv4@0.11.0.1
Import: import bend-kit-sigv4@0.11.0.1/sigv4.bend as Sigv4
Lines 1182-1201 of bend-kit-sigv4@0.11.0.1/sigv4.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-sigv4@0.11.0.1/sigv4.bend&start_line=1182&end_line=1201

import Base

# f: pages left. When they run out, next holds the token to go on from.
def all.go(f: Nat, +bucket: String, +prefix: String, +delim: String, +max: U32, objs: List<&2, Object>, pre: List<&2, String>,
    x: Client & Result<&1, &1, Err, Page>) -> IO(Client & Result<&1, &1, Err, Page>):
  match f:
    case 0n:
      (c, r) = x
      IO.pure(Client & Result<&1, &1, Err, Page>, (c, all.merge(objs, pre, r)))
    case 1n+g:
      (c, r) = x
      match r:
        case Fail{e}:
          IO.pure(Client & Result<&1, &1, Err, Page>, (c, Fail{e}))
        case Done{Page{os, ps, next}}:
          match next:
            case None{}:
              IO.pure(Client & Result<&1, &1, Err, Page>, (c, Done{Page{List.append(&2, Object, objs, os), List.append(&2, String, pre, ps), None{}}}))
            case Some{tok}:
              do IO<Client & Result<&1, &1, Err, Page>>:
                y : Client & Result<&1, &1, Err, Page> <- list(c, bucket, prefix, delim, max, Some{tok})
                all.go(g, bucket, prefix, delim, max, List.append(&2, Object, objs, os), List.append(&2, String, pre, ps), y)

Uses (18):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sigv4@0.11.0.1/sigv4.bend&name=Client
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sigv4@0.11.0.1/sigv4.bend&name=Err
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sigv4@0.11.0.1/sigv4.bend&name=Object
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sigv4@0.11.0.1/sigv4.bend&name=Page
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sigv4@0.11.0.1/sigv4.bend&name=all.merge
  https://jend.leeeet.dev/definition.txt?path=bend-kit-sigv4@0.11.0.1/sigv4.bend&name=list