def h2.response.status

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

import Base
import bend-kit-http2@0.4.0.0/hpack.bend as Hpack

3199def h2.response.status(xs: List<&2, Hpack.Field>) -> Maybe<&2, U32>:
3200  match xs:
3201    case Nil{}:
3202      None{}
3203    case Con{Hpack.Field{name, +value, mode}, tail}:
3204      match name:
3205        case ":status":
3206          h2.response.status.value(value, Nat.is_eq(String.length(value), 3n))
3207        case other:
3208          h2.response.status(tail)