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)})))

Uses (11)

Used by (1)