def request.header

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

import Base

290# A header of the request, any case.
291def request.header(r: Request, name: String) -> Maybe<&2, String>:
292  match r:
293    case Request{m, t, v, h, b}:
294      header.get(h, name)