def loop.step

ezx@1.11.0.0 · src/tool/run.bend:267

import Base
import ezx@1.11.0.0/src/lock/run.bend as Run
import ezx@1.11.0.0/src/lock/up.bend as Up
import ezx@1.11.0.0/src/tool/world.bend as TW
import ezx@1.11.0.0/src/tool/plan.bend as TP

267def loop.step(st: TP.Step, world: TW.World, go: TW.World -> IO(Unit)) -> IO(Unit):
268  match st:
269    case TP.Asking{asks, ups}:
270      do IO<Unit>:
271        rs : List<&2, TW.Reply> <- answer.all(asks)
272        us : List<&2, Up.Reply> <- Run.answer.ups("", ups)
273        go(more(world, rs, us))
274    case TP.Run{pl}:
275      exec.plan(pl)