def h2.response.final

bend-kit-http@0.38.2.0 · http.bend:3222

import Base
import bend-kit-http2@0.4.0.0/hpack.bend as Hpack
import bend-kit-bytes@0.3.3.0/bytes.bend as HBytes
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

3222def h2.response.final(interim: Bool, +status: U32, headers: List<&2, Hpack.Field>,
3223    body: HBytes.Bytes) -> Result<&1, &1, Err, Maybe<&1, Res>>:
3224  match interim:
3225    case True{}:
3226      Done{None{}}
3227    case False{}:
3228      HBytes.Bytes{len, buf} = body
3229      Done{Some{Res{status, h2.response.headers(headers, empty()), Bytes.Bytes{len, buf}}}}