def pub.save

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

import Base
import bolt@1.27.0.0/src/lsp/docs.bend as Docs
import bolt@1.27.0.0/src/role.bend as Role
import bolt@1.27.0.0/src/lsp/report.bend as Rep
import bolt@1.27.0.0/src/lsp/enc.bend as Enc

280# save: the text the editor shows published with the checker's new errors
281def pub.save(
282  ee: Enc.Enc,
283  +uri: String,
284  ds: List<&2, Rep.Diag>,
285  rs: List<&2, Maybe<&2, String>>,
286  +ms: List<&2, Role.Mark>,
287  +docs: List<&2, Docs.Doc>
288) -> Work:
289  pub.checked(ee, uri, Maybe.default(&2, String, Docs.get(docs, uri), ""), ds, rs, ms, docs)