Bend.check: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/checker/bend.bend as Bend
Lines 53-59 of bolt@1.27.0.0/src/lsp/checker/bend.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/checker/bend.bend&start_line=53&end_line=59

import Base
import bolt@1.27.0.0/src/lsp/checker/answer.bend as S
import bolt@1.27.0.0/src/lsp/checker/argv.bend as Argv
import bolt@1.27.0.0/src/lsp/checker/names.bend as Names
import bolt@1.27.0.0/src/lsp/files/disk.bend as Disk

# bend's report on the file, its errors placed by the names of the file's
# items (read from the file bend read; unknown when it cannot be read)
def check(+path: String) -> IO(S.Answer):  # noqa: L001 checker effect
  do IO<S.Answer>:
    text : String <- launch(Argv.run_of(path))
    src : Maybe<&2, String> <- Disk.read(path)
    settled(S.answer(Names.of(src), text), path)

Uses (11):
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/answer.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/answer.bend&name=answer
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/argv.bend&name=run_of
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/bend.bend&name=launch
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/bend.bend&name=settled
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/names.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/files/disk.bend&name=read