futhark-0.21.13: An optimising compiler for a functional, array-oriented language.
Safe HaskellNone
LanguageHaskell2010

Futhark.LSP.State

Description

The language server state definition.

Synopsis

Documentation

data State Source #

The state of the language server.

Constructors

State 

Fields

emptyState :: State Source #

Initial state.

getStaleContent :: State -> FilePath -> Maybe VirtualFile Source #

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

getStaleMapping :: State -> FilePath -> Maybe PositionMapping Source #

Get the PositionMapping for a file.

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

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 Source #

Update the state with another pair of file_path and PositionMapping.