Hpack.decode.go: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/hpack.bend as Hpack
Lines 489-502 of bend-kit-http2@0.4.0.0/hpack.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&start_line=489&end_line=502

import Base

def decode.go(fuel: Nat, ended: Bool, c: Cursor, st: State, acc: List<&2, Field>, +seen: Bool) -> Maybe<&1, State & List<&2, Field>>:
  match fuel ended:
    case 0n False{}:
      None{}
    case 0n True{}:
      Some{(st, List.reverse(&2, Field, acc))}
    case 1n+p True{}:
      Some{(st, List.reverse(&2, Field, acc))}
    case 1n+p False{}:
      Maybe.bind(&1, Step, State & List<&2, Field>, decode.one(c, st, seen), step =>
        with_step(Maybe<&1, State & List<&2, Field>>, step, state => cursor => field =>
          with_end(Maybe<&1, State & List<&2, Field>>, cursor, cursor => ended =>
            with_fields(Maybe<&1, State & List<&2, Field>>, decode.add(field, acc, seen), fields => was_field =>
              decode.go(p, ended, cursor, state, fields, was_field)))))

Uses (17):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.bind
  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=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=Cursor
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=Field
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.add
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=decode.one
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=with_end
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=with_fields
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=with_step