def world.moved

ezx@1.11.0.0 · src/ws/moved.bend:322

import Base
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/pkg/pkg.bend as K
import ezx@1.11.0.0/src/ws/joint.bend as J

322# the World the upgrade plans on: the committed files rewritten with every
323# move, and the joint ledger and the answers for its members made again over
324# them, so the lock walks the members as the rewrite leaves them
325def world.moved(
326  +jj: J.Joint,
327  +files: List<&2, K.Source>,
328  world: LW.World
329) -> LW.World:
330  LW.World{args, +ledger, _listing, replies, ups} = world
331  LW.World{args, J.joint.text(jj, ledger), LW.Listed{sources(files)},
332    List.append(&2, LW.Reply, replies, J.seeds(jj, files)), ups}