bolt/lsp/checker/service.bend source

bolt/lsp/checker/service.bend on the hub · documented module

# checker: an effect service: the diagnostics of the file at a path.import Baseimport ../report.bend as Rep# effect service: a file's diagnosticstype Checker is Type:  Checker{check: String -> IO(List<&2, Rep.Diag>)}# a file's diagnostics, from a checkerdef check(c: Checker, path: String) -> IO(List<&2, Rep.Diag>):  Checker{f} = c  f(path)