def publish

bolt@1.27.0.0 · src/lsp/proto.bend:103

import Base
import emerging-ezjson@1.2.0.0/main.bend as Ezjson
import emerging-ezjson@1.2.0.0/src/value.bend as J
import bolt@1.27.0.0/src/lsp/report.bend as Rep
import bolt@1.27.0.0/src/finding.bend as Lint
import bolt@1.27.0.0/src/lsp/enc.bend as Enc

103# the publishDiagnostics notification for a document: the checker's errors,
104# then the linter's findings
105def publish(+cc: Enc.Cols, uri: String, ds: List<&2, Rep.Diag>, gs: List<&2, Lint.Graded>) -> J.Json:
106  notify("textDocument/publishDiagnostics",
107    Ezjson.obj([("uri", J.JStr{uri}), ("diagnostics", Ezjson.arr(List.append(&2, J.Json, diagnostics(ds, cc), findings(gs, cc))))]))