def values

emerging-ezhttp@0.21.0.0 · src/echo.bend:133

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

133# the values of the Set-Cookie fields among response headers, in order (field
134# names compared case-insensitively, RFC 9110 §5.1)
135def values(hs: List<&2, Http.Header>) -> List<&2, String>:
136  match hs:
137    case []:
138      []
139    case Http.H{name, value} <> t:
140      values.put(value, values(t), String.eq(String.to_lower(name),
141        "set-cookie"))