~/jendhub

def edit.at

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

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

158# the command's own plan, run at the path `rel` from the root, whose ledger
159# is `old`: at the root, with the root's ledger keeping its table, and in a
160# member as it is
161def edit.at(rel: List<&2, String>, +old: String, pl: LP.Plan) -> LP.Plan:
162  match rel:
163    case []:
164      LP.Plan{es, outcome} = pl
165      LP.Plan{keep.effects(old, es), outcome}
166    case _hd <> _tl:
167      pl

Uses (4)

Used by (1)