~/jendhub

def pub.world.go

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

import bolt@1.27.0.0/src/lsp/server.bend as Server
import Base
import bolt@1.27.0.0/src/lint/plan.bend as Plan
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

366# the World `bolt <path>` reads, gathered as src/lint.bend gathers it: the
367# planner's questions answered until it asks none, under the same fuel
368def pub.world.go(~fs: F.Files, fuel: Nat, +world: W.World) -> IO(W.World):
369  match fuel:
370    case 0n:
371      IO.pure(W.World, world)
372    case 1n+f:
373      pub.world.step(~fs, Plan.wants(world), world, ww => pub.world.go(~fs, f, ww))

Uses (7)

Used by (1)