def client.complete.packet

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

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

889def client.complete.packet(m: Maybe<&1, Bytes.Bytes>, id: U32, headers: List<&2, Hpack.Field>,
890    body: Bytes.Bytes, tail: List<&1, Stream>, input: Bytes.Bytes,
891    encoder: Hpack.State, decoder: Hpack.State, control: Control) -> Reply:
892  match m:
893    case None{}:
894      client.fail(1, True{}, 0)
895    case Some{packet}:
896      client.complete.ready(id, headers, body, tail, input, encoder, decoder, control, [packet])