Development.IDE.Core.FileStore

Documentation

getFileContents :: NormalizedFilePath -> Action (UTCTime, Maybe Text)

Returns the modification time and the contents. For VFS paths, the modification time is the current time.

$sel:getVirtualFile:VFSHandle :: VFSHandle -> NormalizedUri -> IO (Maybe VirtualFile)

get the contents of a virtual file

setFileModified

Arguments

:: IdeState

-> Bool

Was the file saved?

-> NormalizedFilePath

-> IO ()

Note that some buffer for a specific file has been modified but not with what changes.

setSomethingModified :: IdeState -> [Key] -> String -> IO ()

Note that some keys have been modified and restart the session Only valid if the virtual file system was initialised by LSP, as that independently tracks which files are modified.

fileStoreRules :: VFSHandle -> (NormalizedFilePath -> Action Bool) -> Rules ()

modificationTime :: FileVersion -> Maybe UTCTime

typecheckParents :: IdeState -> NormalizedFilePath -> IO ()

data VFSHandle

haskell-lsp manages the VFS internally and automatically so we cannot use the builtin VFS without spawning up an LSP server. To be able to test things like setBufferModified we abstract over the VFS implementation.

Instances

IsIdeGlobal VFSHandle

Defined in Development.IDE.Core.Shake

makeVFSHandle :: IO VFSHandle

makeLSPVFSHandle :: LanguageContextEnv c -> VFSHandle

resetFileStore :: IdeState -> [(NormalizedFilePath, FileChangeType)] -> IO ()

Reset the GetModificationTime state of watched files Assumes the list does not include any FOIs

resetInterfaceStore :: ShakeExtras -> NormalizedFilePath -> STM ()

Reset the GetModificationTime state of interface files

getModificationTimeImpl :: VFSHandle -> Bool -> NormalizedFilePath -> Action (Maybe ByteString, ([FileDiagnostic], Maybe FileVersion))

addIdeGlobal :: IsIdeGlobal a => a -> Rules ()

getFileContentsImpl :: VFSHandle -> NormalizedFilePath -> Action ([FileDiagnostic], Maybe (FileVersion, Maybe Text))

getModTime :: FilePath -> IO POSIXTime

isWatchSupported :: LspT Config IO Bool

registerFileWatches :: [String] -> LspT Config IO Bool