Http.head.values: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/http.bend as Http
Lines 414-421 of emerging-ezhttp@0.21.0.0/src/http.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&start_line=414&end_line=421

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=head.hit
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=head.value
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=head.values.cons