~/jendhub

def pub.answers

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

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

334# every question answered, in order
335def pub.answers(~fs: F.Files, asks: List<&2, W.Ask>) -> IO(List<&2, W.Reply>):
336  match asks:
337    case Nil{}:
338      IO.pure(List<&2, W.Reply>, [])
339    case Con{+a, rest}:
340      do IO<List<&2, W.Reply>>:
341        r : W.Answer <- pub.answer(~fs, a)
342        more : List<&2, W.Reply> <- pub.answers(~fs, rest)
343        return W.Reply{a, r} <> more

Uses (9)

Used by (1)