def walk.bends

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

import bolt@1.27.0.0/src/lint/plan.bend as Plan
import Base

77# the `.bend` files of a listing, as paths (a directory's name ends in "/")
78def walk.bends(es: List<&2, String>, +dir: String) -> List<&2, String>:
79  match es:
80    case Nil{}:
81      Nil{}
82    case Con{+e, rest}:
83      +more = walk.bends(rest, dir)
84      Bool.pick(List<&2, String>, String.ends_with(e, ".bend"), walk.under(dir, e) <> more, more)

Uses (5)

Used by (1)