def loop.step

bolt@1.27.0.0 · src/lint.bend:84

import Base
import bolt@1.27.0.0/src/lint/world.bend as W
import bolt@1.27.0.0/src/lint/plan.bend as Plan

84# the planner's questions answered and the loop gone round again, or, when
85# there are none, its plan carried out
86def loop.step(asks: List<&2, W.Ask>, +world: W.World, go: W.World -> IO(Unit)) -> IO(Unit):
87  match asks:
88    case Nil{}:
89      exec(Plan.plan(world))
90    case Con{a, rest}:
91      do IO<Unit>:
92        rs : List<&2, W.Reply> <- answer.all(a <> rest)
93        go(more(world, rs))