def client.data.stream

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

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

1129def client.data.stream(+len: U32, end_stream: Bool, content: Bytes.Bytes,
1130    s: Stream, tail: List<&1, Stream>, input: Bytes.Bytes,
1131    encoder: Hpack.State, decoder: Hpack.State, control: Control) -> Reply:
1132  Stream{+id, send_window, +recv_window, local_end, +remote_end, +head,
1133    headers, partial, body, outgoing} = s
1134  client.data.stream.state(Bool.and(head, Bool.not(remote_end)), U32.is_le(len, recv_window),
1135    id, len, end_stream, content,
1136    Stream{id, send_window, recv_window, local_end, remote_end, head,
1137      headers, partial, body, outgoing}, tail, input, encoder, decoder, control)