~/bend-docscommunity

src/lsp/checker/answer.bend checks

raw source on the hub · import 0x582b4b0fdf3dafdeecc8c3bfddc5e4db/src/lsp/checker/answer.bend as Answer

checker/answer: pure: what a run of the checker (bend.bend) gave for a file, read from the text bend.bend's exec returns, and the checker as a service.

2 imports
import Base
import ../report.bend as Rep

Types

type Answer source · line 8 · raw

Data

a checker's answer for a file: the diagnostics bend reported, or that bend could not be run on it at all

type Checker source · line 61 · raw

Type

effect service: the checker's answer for the file at a path (bend.bend's service is the real one)

Definitions

def errors source · line 13 · raw

@aa:Answer -> List<&2, 0x582b4b0fdf3dafdeecc8c3bfddc5e4db/src/lsp/report.Diag>

an answer's diagnostics: none when bend could not be run

def died source · line 22 · raw

@ds:List<&2, 0x582b4b0fdf3dafdeecc8c3bfddc5e4db/src/lsp/report.Diag> -> Answer

a run a signal cut short: what bend reported before it died, or, when that is nothing, no check at all

def answer.tag source · line 32 · raw

@ran:Bool -> @killed:Bool -> @names:Maybe<&2, List<&2, String>> -> @text:String -> Answer

the answer a tag gives: bend ran (r), a signal killed it (s), or neither, and it could not be run; each error placed by the checked file's names, when they are known

def answer source · line 43 · raw

@names:Maybe<&2, List<&2, String>> -> @ss:String -> Answer

exec's text read: its tag, then what bend printed, as diagnostics placed by the checked file's names

def proved source · line 52 · raw

@aa:Answer -> @ds:List<&2, 0x582b4b0fdf3dafdeecc8c3bfddc5e4db/src/lsp/report.Diag> -> Answer

a LAWS.bend's errors, settled by its PROOF.bend's answer: none when that checks clean, and no check at all when bend could not be run on it

def check source · line 65 · raw

@cc:Checker -> @path:String -> IO(Answer)

the checker's answer for the file at a path, from a checker service