~/jendhub

def listed

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

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

179# whether any entry names a directory
180def listed(es: List<&2, Entry>, +ds: List<&2, String>) -> Bool:
181  match es:
182    case []:
183      False{}
184    case +hd <> tl:
185      rest = listed(tl, ds)
186      Bool.or(hit(hd, ds), rest)

Uses (6)

Used by (1)