Futhark.LSP.PositionMapping

Provide mapping between position in stale content and current.

Documentation

mappingFromDiff :: [Text] -> [Text] -> PositionMapping

Compute PositionMapping using the diff between two texts.

data PositionMapping

A mapping between current file content and the stale (last successful compiled) file content. Currently, only supports entire line mapping, more detailed mapping might be achieved via referring to haskell-language-server@efb4b94

Instances

Show PositionMapping

Defined in Futhark.LSP.PositionMapping

Methods

showsPrec :: Int -> PositionMapping -> ShowS

show :: PositionMapping -> String

showList :: [PositionMapping] -> ShowS

toStalePos :: Maybe PositionMapping -> Pos -> Maybe Pos

Transform current Pos to the stale pos for query Note: line and col in Pos is larger by one

toCurrentLoc :: Maybe PositionMapping -> Loc -> Maybe Loc

Transform stale Loc gotten from stale AST to current Loc.

data StaleFile

Stale pretty document stored in state.

Constructors

StaleFile

Fields

• staleContent :: VirtualFile

  The last successfully compiled file content. Using VirtualFile for convenience, we can use anything with {version, content}

• staleMapping :: Maybe PositionMapping

  PositionMapping between current and stale file content. Nothing if last type-check is successful.

Instances

Show StaleFile

Defined in Futhark.LSP.PositionMapping

Methods

showsPrec :: Int -> StaleFile -> ShowS

show :: StaleFile -> String

showList :: [StaleFile] -> ShowS