def run.planned

ezx@1.11.0.0 · src/lock/run.bend:735

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/ws/run.bend as WsRun

735# the loop, on the ledger the lock is planned from, with the workspace's
736# members already answered
737def run.planned(pd: WsRun.Planned, +lib: String, up: Bool, only: String, here: String, ls: W.Listing) -> IO(Unit):
738  WsRun.Planned{led, back, seeds} = pd
739  do IO<Unit>:
740    rs : List<&2, W.Reply> <- settle(seeds, lib)
741    loop(rounds(), lib, back, W.World{W.Args{up, only, here}, led, ls, rs, []})