def head.values

emerging-ezhttp@0.21.0.0 · src/http.bend:414

import emerging-ezhttp@0.21.0.0/src/http.bend as Http
import Base

414# every value a head gave a header, in order (RFC 9112 §6.3 lists Content-Length)
415def head.values(ls: List<&2, String>, +name: String) -> List<&2, String>:
416  match ls:
417    case []:
418      []
419    case +h <> t:
420      head.values.cons(head.hit(h, name), head.value(h, name),
421        _u => head.values(t, name))

Uses (5)

Used by (5)