~/jendhub

def entries.bad

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

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

124# the first entry that names no directory a workspace can name, "" for none
125def entries.bad(es: List<&2, Entry>) -> String:
126  match es:
127    case []:
128      ""
129    case +hd <> tl:
130      rest = entries.bad(tl)
131      Bool.pick(String, dir.ok(entry.dir(hd)), rest, entry.text(hd))

Uses (7)

Used by (1)