def marks

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

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy
import bolt@1.27.0.0/src/role.bend as Role

31# the role marks kept for a document, none when it is not open
32def marks(docs: List<&2, Doc>, +uri: String) -> List<&2, Role.Mark>:
33  match docs:
34    case Nil{}:
35      Nil{}
36    case Con{Doc{u, t, e, m}, r}:
37      Lazy.stop(List<&2, Role.Mark>, String.eq(u, uri), m, _u => marks(r, uri))