Futhark.LSP.Tool

Generally useful definition used in various places in the language server implementation.

Documentation

getHoverInfoFromState :: State -> Maybe FilePath -> Int -> Int -> Maybe Hover

Retrieve hover info for the definition referenced at the given file at the given line and column number (the two Ints).

findDefinitionRange :: State -> Maybe FilePath -> Int -> Int -> Maybe Location

Find the location of the definition referenced at the given file at the given line and column number (the two Ints).

rangeFromSrcLoc :: SrcLoc -> Range

Create an LSP Range from a Futhark SrcLoc.

rangeFromLoc :: Loc -> Range

Create an LSP Range from a Futhark Loc.

posToUri :: Pos -> Uri

Convert a Futhark Pos to an LSP Uri.

computeMapping :: State -> Maybe FilePath -> LspM () (Maybe PositionMapping)

Entry point for computing PositionMapping.