~/jendhub

def header.find

gralha-http-core@0.1.0.0 · http.bend:167

import gralha-http-core@0.1.0.0/http.bend as Http
import Base

167# The value of the first header named name, any case.
168def header.find(headers: List<&2, Header>, +name: String) -> Maybe<&2, String>:
169  match headers:
170    case Nil{}:
171      None{}
172    case Con{Header{n, v}, t}:
173      when(Maybe<&2, String>, String.eq(String.to_lower(n), name),
174        _ => Some{v}, _ => header.find(t, name))

Uses (7)

Used by (1)