Check.check_all: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/check.bend as Check
Lines 95-104 of bolt@1.27.0.0/src/check.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/check.bend&start_line=95&end_line=104

import Base
import bolt@1.27.0.0/src/lsp/checker/answer.bend as Checker

# every file checked, in order: what bend reported for each
def check_all(~ck: Checker.Checker, paths: List<&2, String>) -> IO(List<&2, Run>):  # noqa: L001 IO driver
  match paths:
    case Nil{}:
      IO.pure(List<&2, Run>, [])
    case Con{+path, rest}:
      do IO<List<&2, Run>>:
        aa : Checker.Answer <- Checker.check(ck, path)
        more : List<&2, Run> <- check_all(~ck, rest)
        return run_of(path, aa) <> more

Uses (10):
  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=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/check.bend&name=Run
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/check.bend&name=run_of
  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=Checker
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/answer.bend&name=check