Ignore.once.go: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ledger/ignore.bend as Ignore Lines 217-226 of ezx@1.11.0.0/src/ledger/ignore.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&start_line=217&end_line=226 import Base import ezx@1.11.0.0/src/ledger/manifest.bend as M # each hash once, where it first appears, passing over any `seen` already # holds. An empty hash names no tree; `M.parse` refuses a dependency with # none, so that only guards a model built by hand. def once.go(hs: List<&2, String>, +seen: List<&2, String>) -> List<&2, String>: match hs: case []: [] case +h <> t: +skip = Bool.or(String.is_empty(h), named(seen, h)) once.put(skip, h, once.go(t, once.seen(skip, h, seen))) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or 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.is_empty https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&name=named https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&name=once.put https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&name=once.seen