def complete.with

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

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/nav.bend as Nav
import bolt@1.27.0.0/src/lsp/files/service.bend as F
import bolt@1.27.0.0/src/lsp/enc.bend as Enc
import bolt@1.27.0.0/src/syntax/outline.bend as Outline

462def complete.with(
463  ~fs: F.Files,
464  cc: Enc.Cols,
465  +prefix: String,
466  +docs: List<&2, Docs.Doc>,
467  uri: String,
468  +line: U32,
469  +col: U32
470) -> IO(Work):
471  do IO<Work>:
472    items : List<&2, Outline.Item> <- Nav.candidates(~fs, docs, uri, prefix, line)
473    return answered(Proto.completions(cc, items, line, (col - U32.from_nat(String.length(prefix)) : U32), col), docs)