~/jendhub

def checked

bolt@1.27.0.0 · src/lsp/checker/bend.bend:41

import bolt@1.27.0.0/src/lsp/checker/bend.bend as Bend
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/report.bend as Rep

41# the diagnostics of a run, settled by the run that follows it
42def checked(+ds: List<&2, Rep.Diag>, +path: String) -> IO(S.Answer):  # noqa: L001 checker effect
43  settle(Argv.followup(ds, path), ds)

Uses (7)

Used by (1)