Relock.add.plan: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock Lines 327-332 of ezx@1.11.0.0/src/ws/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/relock.bend&start_line=327&end_line=332 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 # `ez add` in a workspace: the add, then the root's lock over what it leaves, # run from where the add runs def add.plan(+root: Rooted, world: AR.World) -> LP.Plan: AR.World{+aw, +listing, +locks} = world +lk = add.lock(root, AR.World{aw, listing, locks}) R.join(add.edit(root, aw), at.plan(rooted.at(root), lock.plan(lk)), add.notes(lk, aw), AR.tail(aw)) Uses (11): https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=World https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=tail https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Plan https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/relock/relock.bend&name=join https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=Rooted https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=add.edit https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=add.lock https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=add.notes https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=at.plan https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=lock.plan https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=rooted.at