~/jendhub

def add.plan

ezx@1.11.0.0 · src/ws/relock.bend:327

import ezx@1.11.0.0/src/ws/relock.bend as Relock
import Base
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/relock/relock.bend as R
import ezx@1.11.0.0/src/add/relock.bend as AR

327# `ez add` in a workspace: the add, then the root's lock over what it leaves,
328# run from where the add runs
329def add.plan(+root: Rooted, world: AR.World) -> LP.Plan:
330  AR.World{+aw, +listing, +locks} = world
331  +lk = add.lock(root, AR.World{aw, listing, locks})
332  R.join(add.edit(root, aw), at.plan(rooted.at(root), lock.plan(lk)), add.notes(lk, aw), AR.tail(aw))

Uses (11)

Used by (3)