~/jendhub

def remove.plan

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

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/remove/relock.bend as RR

389# `ez remove` in a workspace: the remove, then the root's lock over what it
390# leaves, run from where the remove runs
391def remove.plan(+root: Rooted, world: RR.World) -> LP.Plan:
392  RR.World{+rw, +here, +listing, +locks} = world
393  +lk = remove.lock(root, RR.World{rw, here, listing, locks})
394  R.join(remove.edit(root, rw), at.plan(rooted.at(root), lock.plan(lk)), [], RR.tail())

Uses (11)

Used by (3)