~/jendhub

def pub.world.step

bolt@1.27.0.0 · src/lsp/server.bend:350

import bolt@1.27.0.0/src/lsp/server.bend as Server
import Base
import bolt@1.27.0.0/src/lint/world.bend as W
import bolt@1.27.0.0/src/lsp/files/service.bend as F

350# the planner's questions answered and the World gone round again, or the
351# World as it is once the planner asks none
352def pub.world.step(
353  ~fs: F.Files,
354  asks: List<&2, W.Ask>,
355  +world: W.World,
356  go: W.World -> IO(W.World)
357) -> IO(W.World):
358  match asks:
359    case Nil{}:
360      IO.pure(W.World, world)
361    case Con{a, rest}:
362      do IO<W.World>:
363        rs : List<&2, W.Reply> <- pub.answers(~fs, a <> rest)
364        go(pub.world.more(world, rs))

Uses (10)

Used by (1)