Http2.client.data.updates.end: def of bend-kit-http2@0.4.0.0
Import: import bend-kit-http2@0.4.0.0/http2.bend as Http2
Lines 1068-1076 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=1068&end_line=1076

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

def client.data.updates.end(end_stream: Bool, +count: U32, id: U32,
    connection: Bytes.Bytes) -> Maybe<&1, List<&1, Bytes.Bytes>>:
  match end_stream:
    case True{}:
      Some{[connection]}
    case False{}:
      Maybe.map(&1, Bytes.Bytes, List<&1, Bytes.Bytes>,
        stream => [connection, stream],
        client.frame(encode(16384, Frame{8, 0, id, Bytes.set.u32be(Bytes.new(4), 0, count)})))

Uses (11):
  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.map
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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-bytes@0.3.3.0/bytes.bend&name=new
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=set.u32be
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=client.frame
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/http2.bend&name=encode