def dep.hub

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

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

639# the hub's word on the new hash
640def dep.hub(
641  hubbed: Hubbed,
642  +dep: M.Dep,
643  +hash: String,
644  +rev: String,
645  +root: String,
646  +nar: String,
647  manifest: String,
648  srcs: List<&2, String>,
649  +branch: String
650) -> Fate:
651  match hubbed:
652    case Clear{}:
653      dep.moved(dep, hash, rev, root, nar, manifest, srcs, branch)
654    case Clash{}:
655      Halts{"ez: " ++ M.dep.name(dep) ++ ": hub digest does not match " ++ hash}
656    case HubWait{ask}:
657      Waits{[ask]}
658    case HubNo{why}:
659      Halts{why}