def more.hub

ezx@1.11.0.0 · src/add/run.bend:31

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/add/relock.bend as AR

31# the World with more of the hub's answers in it
32def more.hub(world: AR.World, rs: List<&2, W.Reply>) -> AR.World:
33  AR.World{A.World{args, here, home, ledger, ignore, replies, hubs}, listing, locks} = world
34  AR.World{A.World{args, here, home, ledger, ignore, replies, List.append(&2, W.Reply, hubs, rs)},
35    listing, locks}