Http2.client.flush.go: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/http2.bend as Http2
Lines 714-733 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=714&end_line=733

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

def client.flush.go(xs: List<&1, Stream>, +connection: U32, +max: U32) -> Maybe<&1, Flushed>:
  match xs:
    case Nil{}:
      Some{Flushed{Nil{}, connection, Nil{}}}
    case Con{Stream{+id, +stream_window, recv_window, local_end, remote_end,
        head, headers, partial, body, outgoing}, rest}:
      match outgoing:
        case Bytes.Bytes{0, buf}:
          Maybe.map(&1, Flushed, Flushed, tail =>
            client.flush.prepend(Stream{id, stream_window, recv_window, local_end, remote_end,
              head, headers, partial, body, Bytes.Bytes{0, buf}}, Nil{}, tail),
            client.flush.go(rest, connection, max))
        case Bytes.Bytes{+len, buf}:
          Maybe.bind(&1, BodySent, Flushed,
            client.data(id, max, connection, stream_window, Bytes.Bytes{len, buf}), sent =>
              client.with_sent(Maybe<&1, Flushed>, sent, remaining => ended => next_stream => next_connection => packets =>
                Maybe.map(&1, Flushed, Flushed, tail =>
                  client.flush.prepend(Stream{id, next_stream, recv_window, ended, remote_end,
                    head, headers, partial, body, remaining}, packets, tail),
                  client.flush.go(rest, next_connection, max))))

Uses (15):
  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=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=Maybe.map
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  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/http2.bend&name=BodySent
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Flushed
  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.data
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=client.flush.prepend
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=client.with_sent