~/jendhub

def tools.without

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

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

135# every tool but the one named
136def tools.without(ts: List<&2, M.Tool>, +name: String) -> List<&2, M.Tool>:
137  match ts:
138    case []:
139      []
140    case +hd <> tl:
141      tools.without.put(String.eq(M.tool.name(hd), name), hd, tools.without(tl, name))

Uses (6)

Used by (1)