Cookie.cookie.receive: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/cookie.bend as Cookie
Lines 388-396 of emerging-ezhttp@0.21.0.0/src/cookie.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/cookie.bend&start_line=388&end_line=396

import Base

# store the response host on a host-only cookie and fill default-path
def cookie.receive(host: String, req_path: String, c: Cookie) -> Cookie:
  match c:
    case Cookie{name, value, expires, max_age, domain, path, secure, http_only,
      same_site, +host_only}:
      Cookie{name, value, expires, max_age,
        cookie.fill_domain(domain, host_only, String.to_lower(host)),
        cookie.fill_path(path, req_path), secure, http_only, same_site,
        host_only}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.to_lower
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/cookie.bend&name=Cookie
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/cookie.bend&name=cookie.fill_domain
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/cookie.bend&name=cookie.fill_path