Http2.client.receive.go: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/http2.bend as Http2
Lines 1215-1234 of bend-kit-http2@0.4.0.0/http2.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http2@0.4.0.0/http2.bend&start_line=1215&end_line=1234

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-http2@0.4.0.0/hpack.bend as Hpack

def client.receive.go(n: Nat, d: Decode, streams: List<&1, Stream>,
    encoder: Hpack.State, decoder: Hpack.State, control: Control,
    rev_writes: List<&1, Bytes.Bytes>, rev_events: List<&1, ClientEvent>) -> Reply:
  match n:
    case 0n:
      client.fail(1, True{}, 0)
    case 1n+p:
      match d:
        case Need{input}:
          Advanced{Client{input, streams, encoder, decoder, control},
            List.reverse(&1, Bytes.Bytes, rev_writes), List.reverse(&1, ClientEvent, rev_events)}
        case Bad{error}:
          Failed{error}
        case Got{frame, rest}:
          client.after(client.apply(frame, Client{rest, streams, encoder, decoder, control}),
            next => writes => events =>
              client.receive.advance(next, more => streams2 => enc => dec => ctl =>
                client.receive.go(p, more, streams2, enc, dec, ctl,
                  List.append(&1, Bytes.Bytes, List.reverse(&1, Bytes.Bytes, writes), rev_writes),
                  List.append(&1, ClientEvent, List.reverse(&1, ClientEvent, events), rev_events))))

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.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  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/http2.bend&name=Client
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=ClientEvent
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Control
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Decode
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Stream
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=client.after
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=client.apply
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=client.fail
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=client.receive.advance