def hover

bolt@1.27.0.0 · src/lsp/nav.bend:301

import Base
import bolt@1.27.0.0/src/lsp/files/service.bend as F
import bolt@1.27.0.0/src/lsp/docs.bend as Docs
import bolt@1.27.0.0/src/lsp/proto.bend as Proto

301# what a hover at a position should show. Definition stays on `at`: an item's
302# own name is still that binder
303def hover(~fs: F.Files, +docs: List<&2, Docs.Doc>, +uri: String, line: U32, col: U32) -> IO(Maybe<&2, Found>):
304  do IO<Maybe<&2, Found>>:
305    text : String <- load(~fs, docs, uri, Proto.path(uri))
306    hover.in(~fs, text, docs, uri, line, col)