def Http.parse_head.fin

bend-kube-runtime@0.2.0.0 · src/http.bend:186

import Base

186def Http.parse_head.fin(st: Maybe<&1, U32 & String>, hs: List<&2, Header>) -> Maybe<&2, Head>:
187  match st:
188    case Some{(c, r)}:
189      Some{Head{c, r, hs}}
190    case None{}:
191      None{}