~/jendhub

def absent

ezx@1.11.0.0 · src/ws/workspace.bend:285

import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
import Base

285# the first entry naming a directory as it is that names none there, "" for
286# none
287def absent(es: List<&2, Entry>, +found: List<&2, List<&2, String>>) -> String:
288  match es:
289    case []:
290      ""
291    case +hd <> tl:
292      rest = absent(tl, found)
293      Bool.pick(String, present.one(hd, found), rest, entry.text(hd))

Uses (6)

Used by (1)