def header.line

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

import Base

182def header.line(c: Maybe<&1, String & String>, rest: List<&2, Header>) -> List<&2, Header>:
183  match c:
184    case None{}:
185      rest
186    case Some{(n, v)}:
187      Header{String.trim(n), String.trim(v)} <> rest