def source.named

ezx@1.11.0.0 · src/ledger/manifest.bend:88

import Base

88# a hub source, with the `<name>@<version>` a dependency's section records
89# under `hub`, "" for none. A git source keeps no name, and neither does a
90# tool: a tool is not imported, so nothing names it.
91def source.named(named: String, src: Source) -> Source:
92  match src:
93    case Hub{_old}:
94      Hub{named}
95    case Git{url, rev, tag, root, nar, vend}:
96      Git{url, rev, tag, root, nar, vend}
97    case Member{path, nv}:
98      Member{path, nv}