def pub.open

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

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

268# open: the document's text kept, then published with the checker's errors
269def pub.open(
270  ee: Enc.Enc,
271  +uri: String,
272  +text: String,
273  ds: List<&2, Rep.Diag>,
274  rs: List<&2, Maybe<&2, String>>,
275  +ms: List<&2, Role.Mark>,
276  +docs: List<&2, Docs.Doc>
277) -> Work:
278  pub.checked(ee, uri, text, ds, rs, ms, Docs.set(docs, uri, text))