def tool.src.ok

ezx@1.11.0.0 · src/ledger/render.bend:207

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

207# whether a pinned CLI's source does. A tool is never imported, so the reader
208# keeps no hub name for one, and one written with a name would read back
209# without it.
210def tool.src.ok(src: M.Source) -> Bool:
211  match src:
212    case M.Hub{named}:
213      String.is_empty(named)
214    case M.Git{url, rev, tag, root, nar, vend}:
215      source.ok(M.Git{url, rev, tag, root, nar, vend})
216    case M.Member{_path, _named}:
217      False{}