Relock.at.effect: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock
Lines 72-86 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=72&end_line=86

import Base
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/pkg/path.bend as P

# an effect of the root's lock as it is run from where the command runs:
# every path it writes taken from the root. Removing a committed tree is
# laying it with no file, which removes what was there and writes nothing.
def at.effect(+at: String, effect: LP.Effect) -> LP.Effect:
  match effect:
    case LP.Write{path, text}:
      LP.Write{P.join(at, path), text}
    case LP.Lay{place, hash, files}:
      LP.Lay{at.place(at, place), hash, files}
    case LP.Drop{hash}:
      LP.Lay{LP.Under{at}, hash, []}
    case LP.Say{text}:
      LP.Say{text}
    case LP.Name{nv, hash}:
      LP.Name{nv, hash}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Effect
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Place
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/path.bend&name=join
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=at.place