def entries.ok

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

import Base

115# whether every entry names a directory a workspace can name
116def entries.ok(es: List<&2, Entry>) -> Bool:
117  match es:
118    case []:
119      True{}
120    case +hd <> tl:
121      rest = entries.ok(tl)
122      Bool.and(dir.ok(entry.dir(hd)), rest)