~/jendhub

def plan.up

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

import ezx@1.11.0.0/src/ws/up.bend as Up
import Base
import ezx@1.11.0.0/src/lock/plan.bend as LP

358# an upgrade's plan on the World it rewrote: the files it rewrote written
359# first, so a source the lock planner rewrites too is left as the planner
360# writes it, and then the planner's plan with the ledgers written back
361def plan.up(got: Up, +back: Back) -> LP.Plan:
362  Up{+w2, eds} = got
363  edits.put(LP.refuses(w2), eds, plan.back(LP.plan(w2), writes(back, LP.ledger.next(w2))))

Uses (9)

Used by (1)