~/jendhub

def names.ruled

ezx@1.11.0.0 · src/lock/plan.bend:514

import ezx@1.11.0.0/src/lock/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

514# the first name of a list the hub rules out, or "" when it rules them all in
515def names.ruled(nvs: List<&2, String>) -> String:
516  match nvs:
517    case []:
518      ""
519    case +h <> t:
520      names.missing.pick(Bool.not(K.name.ok(h)), h, _u => names.ruled(t))

Uses (5)

Used by (1)