def lock.read

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

import Base
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/ws/workspace.bend as W
import ezx@1.11.0.0/src/ws/joint.bend as J
import ezx@1.11.0.0/src/ws/up.bend as U

257# the lock, once the root's ledger is read
258def lock.read(
259  rd: W.Read,
260  +at: String,
261  +text: String,
262  +fs: List<&2, J.Found>,
263  +listing: LW.Listing,
264  +lock: String,
265  rs: List<&2, LW.Reply>
266) -> Lock:
267  match rd:
268    case W.Lone{}:
269      Lock{U.Alone{}, world(at, Some{text}, listing, rs)}
270    case W.Bad{why}:
271      Stop{why}
272    case W.Root{+spec}:
273      lock.joint(J.joint(text, fs, J.files(listing)), at, text, spec, fs, listing, lock, rs)