Cookie.cookie.fold: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/cookie.bend as Cookie Lines 201-207 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=201&end_line=207 import Base # walk attributes. The list is the shrinking argument. def cookie.fold(ps: List<&2, String>, c: Cookie) -> Cookie: match ps: case []: c case h <> t: cookie.fold(t, cookie.apply(c, String.trim(h))) 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=Base/base.bend&name=String.trim 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.apply