def client.data.updates.end
bend-kit-http2@0.4.0.0 · http2.bend:1068
import bend-kit-http2@0.4.0.0/http2.bend as Http2
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
1068def client.data.updates.end(end_stream: Bool, +count: U32, id: U32,
1069 connection: Bytes.Bytes) -> Maybe<&1, List<&1, Bytes.Bytes>>:
1070 match end_stream:
1071 case True{}:
1072 Some{[connection]}
1073 case False{}:
1074 Maybe.map(&1, Bytes.Bytes, List<&1, Bytes.Bytes>,
1075 stream => [connection, stream],
1076 client.frame(encode(16384, Frame{8, 0, id, Bytes.set.u32be(Bytes.new(4), 0, count)})))