def under.any

ezx@1.11.0.0 · src/ws/doctor.bend:54

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

54# whether a path is under any member's directory
55def under.any(dirs: List<&2, List<&2, String>>, +at: String) -> Bool:
56  match dirs:
57    case []:
58      False{}
59    case +hd <> tl:
60      rest = under.any(tl, at)
61      Bool.or(Bool.and(Bool.not(List.is_empty(&2, String, hd)), under(W.segs.text(hd), at)), rest)