def dep.back.src

ezx@1.11.0.0 · src/ws/up.bend:49

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

49# a dependency with the pin the joint ledger gives its name, by its own
50# source: a workspace member's section is kept as it is written, since the
51# hash and entry the joint ledger gives it are no ledger's to record
52def dep.back.src(own: M.Source, +nn: String, +hh: String, +ee: String, joint: M.Dep) -> M.Dep:
53  match own:
54    case M.Member{path, nv}:
55      M.Dep{nn, hh, ee, M.Member{path, nv}}
56    case M.Hub{nv}:
57      M.Dep{_jn, jh, je, js} = joint
58      M.Dep{nn, jh, je, source.back(M.Hub{nv}, js)}
59    case M.Git{url, rev, tag, root, nar, vend}:
60      M.Dep{_jn, jh, je, js} = joint
61      M.Dep{nn, jh, je, source.back(M.Git{url, rev, tag, root, nar, vend}, js)}