def writes.joint

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

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/ws/workspace.bend as W
import ezx@1.11.0.0/src/ws/joint.bend as J

221# every ledger the upgrade changed, once the joint ledger it leaves was read
222def writes.joint(joint: M.Read, +text: String, +spec: W.Spec, +fs: List<&2, J.Found>) -> List<&2, LP.Effect>:
223  match joint:
224    case M.Bad{_why}:
225      []
226    case M.Good{+jm}:
227      writes.members(W.members(spec, W.root.of(text), J.ledgers(fs)), text, spec, fs, jm)