~/jendhub

def ledgers

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

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

216# the ledgers the command leaves, when its own plan, as the workspace runs it,
217# is `pl` and its ledger held `was` before
218def ledgers(root: Rooted, pl: LP.Plan, was: Maybe<&2, String>) -> Ledgers:
219  Rooted{_at, rel, +text, fs, _listing, _lock} = root
220  ledgers.at(rel, new.of(R.ledger(pl, was)), text, fs)

Uses (8)

Used by (2)