def tools.at

ezx@1.11.0.0 · src/ws/joint.bend:80

import ezx@1.11.0.0/src/ws/joint.bend as Joint
import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

80# every tool read from a member's directory
81def tools.at(+dir: String, ts: List<&2, M.Tool>) -> List<&2, M.Tool>:
82  match ts:
83    case []:
84      []
85    case hd <> tl:
86      tool.at(dir, hd) <> tools.at(dir, tl)

Uses (4)

Used by (1)