def client.flush.done

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

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

735def client.flush.done(m: Maybe<&1, Flushed>, input: Bytes.Bytes, encoder: Hpack.State,
736    decoder: Hpack.State, control: Control) -> Reply:
737  match m:
738    case None{}:
739      client.fail(1, True{}, 0)
740    case Some{Flushed{streams, +connection, writes}}:
741      Control{next, active, frame_max, initial, max_streams, previous, recv_window,
742        first, ack, continuation, goaway} = control
743      Advanced{Client{input, streams, encoder, decoder,
744        Control{next, active, frame_max, initial, max_streams, connection, recv_window,
745          first, ack, continuation, goaway}}, writes, Nil{}}