def relock.world

ezx@1.11.0.0 · src/doctor/plan.bend:613

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/lock/world.bend as W

613# the World doctor puts to the lock planner: a plain lock over the ledger's
614# text as it is, the sources as git listed them, the lock as it is, which
615# answers the lock's question about the names it records, every tree
616# BEND_LIB held, and every name's file it held, never the network. The
617# directory a lock runs in only anchors the questions it asks, which doctor
618# answers by hash from BEND_LIB, so it is left empty.
619def relock.world(
620  ledger: Maybe<&2, String>,
621  lock: Maybe<&2, String>,
622  listing: W.Listing,
623  +rs: List<&2, DW.Reply>
624) -> W.World:
625  W.World{W.Args{False{}, "", ""}, ledger, listing,
626    List.append(&2, W.Reply, trees(rs), W.Reply{W.Lock{}, W.Locked{lock.text(lock)}} <> held(rs)),
627    []}