def client.window.stream.valid

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

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

765def client.window.stream.valid(m: Maybe<&1, U32>, +id: U32, s: Stream, tail: List<&1, Stream>,
766    input: Bytes.Bytes, encoder: Hpack.State, decoder: Hpack.State, +control: Control) -> Reply:
767  match m:
768    case None{}:
769      client.fail(3, False{}, id)
770    case Some{w}:
771      Stream{id, previous, recv_window, local_end, remote_end, head, headers, partial, body, outgoing} = s
772      Control{next, active, +frame_max, initial, max_streams, +connection, recv, first, ack, continuation, goaway} = control
773      client.flush.done(client.flush.go(
774        Con{Stream{id, w, recv_window, local_end, remote_end,
775          head, headers, partial, body, outgoing}, tail}, connection, frame_max),
776        input, encoder, decoder, control)