Futhark.LSP.State

The language server state definition.

Documentation

data State

The state of the language server.

Constructors

State

Fields

• stateProgram :: Maybe LoadedProg

  The loaded program.

• staleData :: Map FilePath StaleFile

  The stale data, stored to provide PositionMapping when requested. All files that have been opened have an entry.

emptyState :: State

Initial state.

getStaleContent :: State -> FilePath -> Maybe VirtualFile

Get the contents of a stale (last successfully complied) file's contents.

getStaleMapping :: State -> FilePath -> Maybe PositionMapping

Get the PositionMapping for a file.

updateStaleContent :: FilePath -> VirtualFile -> LoadedProg -> State -> State

Update the state with another pair of file_path and contents. Could do a clean up becausae there is no need to store files that are not in lpFilePaths prog.

updateStaleMapping :: Maybe FilePath -> Maybe PositionMapping -> State -> State

Update the state with another pair of file_path and PositionMapping.