def pub.change

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

import Base
import bolt@1.27.0.0/src/lsp/proto.bend as Proto
import bolt@1.27.0.0/src/lsp/docs.bend as Docs
import bolt@1.27.0.0/src/lsp/enc.bend as Enc

291# change: the new text kept, and its lint published with the checker's last
292# errors and the marks read with them
293def pub.change(
294  ee: Enc.Enc,
295  +uri: String,
296  +text: String,
297  rs: List<&2, Maybe<&2, String>>,
298  +docs: List<&2, Docs.Doc>
299) -> Work:
300  noted([pub.note(Enc.cols(ee, text), uri, Docs.errors(docs, uri),
301    pub.lint(Proto.path(uri), text, rs, Docs.marks(docs, uri)))], Docs.set(docs, uri, text))