def walk.dirs

bolt@1.27.0.0 · src/lint/plan.bend:67

import Base

67# the sub-directories of a listing worth descending into, as paths
68def walk.dirs(es: List<&2, String>, +dir: String) -> List<&2, String>:
69  match es:
70    case Nil{}:
71      Nil{}
72    case Con{+e, rest}:
73      +more = walk.dirs(rest, dir)
74      +keep = Bool.and(String.ends_with(e, "/"), Bool.not(walk.skipped(walk.bare(e))))
75      Bool.pick(List<&2, String>, keep, walk.under(dir, walk.bare(e)) <> more, more)