def Http.find

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

import Base

68# The first header named name (case-insensitive).
69def Http.find(hs: List<&2, Header>, +name: String) -> Maybe<&2, String>:
70  match hs:
71    case Nil{}:
72      None{}
73    case Con{+h, t}:
74      Maybe.or(&2, String, Http.header(name, [h]), Http.find(t, name))