~/jendhub

def pub.note

bolt@1.27.0.0 · src/lsp/server.bend:222

import bolt@1.27.0.0/src/lsp/server.bend as Server
import Base
import emerging-ezjson@1.2.0.0/main.bend as Ezjson
import bolt@1.27.0.0/src/lsp/proto.bend as Proto
import bolt@1.27.0.0/src/finding.bend as Finding
import bolt@1.27.0.0/src/lsp/report.bend as Rep
import bolt@1.27.0.0/src/lsp/enc.bend as Enc

222# a document's diagnostics, as the notification sent: the checker's errors,
223# then the linter's findings
224def pub.note(cc: Enc.Cols, uri: String, ds: List<&2, Rep.Diag>, gs: List<&2, Finding.Graded>) -> String:
225  Ezjson.print(Proto.publish(cc, uri, ds, gs))

Uses (7)

Used by (3)