type Doc

bolt@1.27.0.0 · src/lsp/docs.bend:9

import Base
import bolt@1.27.0.0/src/lsp/report.bend as Rep
import bolt@1.27.0.0/src/role.bend as Role

9# an open document: its URI, the text the editor shows, the checker's errors
10# from its last run, and the role marks read with them
11type Doc is Data:
12  Doc{uri: String, text: String, errors: List<&2, Rep.Diag>, marks: List<&2, Role.Mark>}