bolt/lsp/checker/service.bend checks
raw source on the hub · import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/checker/service.bend as Service
checker: an effect service: the diagnostics of the file at a path.
2 imports
import Base import ../report.bend as Rep
Types
type Checker source · line 6 · raw
Type
effect service: a file's diagnostics
Checker@check:(@_:String -> IO(List<&2, 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/report.Diag>)) -> Checker
Definitions
def check source · line 10 · raw
@c:Checker -> @path:String -> IO(List<&2, 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/report.Diag>)
a file's diagnostics, from a checker