Server.pub.answers: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/lsp/server.bend as Server Lines 334-343 of bolt@1.27.0.0/src/lsp/server.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/server.bend&start_line=334&end_line=343 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 # every question answered, in order def pub.answers(~fs: F.Files, asks: List<&2, W.Ask>) -> IO(List<&2, W.Reply>): match asks: case Nil{}: IO.pure(List<&2, W.Reply>, []) case Con{+a, rest}: do IO>: r : W.Answer <- pub.answer(~fs, a) more : List<&2, W.Reply> <- pub.answers(~fs, rest) return W.Reply{a, r} <> more Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=Answer https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=Ask https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=Reply https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/files/service.bend&name=Files https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=pub.answer