Cache.cache.fold: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/cache.bend as Cache Lines 123-129 of emerging-ezhttp@0.21.0.0/src/cache.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/cache.bend&start_line=123&end_line=129 import Base # walk directives. The list shrinks. def cache.fold(ps: List<&2, String>, c: Cc) -> Cc: match ps: case []: c case h <> t: cache.fold(t, cache.one(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/cache.bend&name=Cc https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/cache.bend&name=cache.one