def client.headers.open.valid
bend-kit-http2@0.4.0.0 · http2.bend:1032
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
import bend-kit-http2@0.4.0.0/hpack.bend as Hpack
1032def client.headers.open.valid(valid: Bool, +id: U32, end_headers: Bool, end_stream: Bool,
1033 fragment: Bytes.Bytes, s: Stream, tail: List<&1, Stream>, input: Bytes.Bytes,
1034 encoder: Hpack.State, decoder: Hpack.State, control: Control) -> Reply:
1035 match valid:
1036 case False{}:
1037 client.fail(5, False{}, id)
1038 case True{}:
1039 Stream{stream, send_window, recv_window, local_end, remote_end, head,
1040 headers, partial, body, outgoing} = s
1041 client.headers.accumulate(end_headers, fragment,
1042 Stream{stream, send_window, recv_window, local_end, end_stream, head,
1043 headers, partial, body, outgoing}, tail, input, encoder, decoder, control)