def header.parse

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

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

189# Header lines, "Name: value" each; a line with no colon is skipped.
190def header.parse(lines: List<&2, String>) -> List<&2, Header>:
191  match lines:
192    case Nil{}:
193      Nil{}
194    case Con{l, t}:
195      header.line(cut(l, ":"), header.parse(t))

Uses (5)

Used by (2)