def dep.one

ezx@1.11.0.0 · src/lock/up.bend:780

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

780# one dependency, by what it is asked
781def dep.one(aim: U.Aim, +rs: List<&2, Reply>, +only: String, +hub: String, +dep: M.Dep) -> Fate:
782  match aim:
783    case U.Hold{}:
784      dep.hold(U.chosen(only, M.dep.name(dep)), dep)
785    case U.Follow{ref}:
786      dep.tip(follow(rs, M.source.url(M.source.dep(dep)), ref), rs, hub, dep)
787    case U.Forward{}:
788      dep.tip(forward(rs, M.source.url(M.source.dep(dep))), rs, hub, dep)