def client.headers.open

bend-kit-http2@0.4.0.0 · http2.bend:1045

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

1045def client.headers.open(end_headers: Bool, +end_stream: Bool, fragment: Bytes.Bytes,
1046    s: Stream, tail: List<&1, Stream>, input: Bytes.Bytes,
1047    encoder: Hpack.State, decoder: Hpack.State, control: Control) -> Reply:
1048  Stream{+id, send_window, recv_window, local_end, +remote_end, +head,
1049    headers, partial, body, outgoing} = s
1050  client.headers.open.valid(Bool.and(Bool.not(remote_end), Bool.or(Bool.not(head), end_stream)),
1051    id, end_headers, end_stream, fragment,
1052    Stream{id, send_window, recv_window, local_end, remote_end, head,
1053      headers, partial, body, outgoing}, tail, input, encoder, decoder, control)

Uses (11)

Used by (1)