rzk-0.7.5: An experimental proof assistant for synthetic ∞-categories
Safe HaskellNone
LanguageHaskell2010

Language.Rzk.VSCode.Env

Synopsis

Documentation

cacheTypecheckedModules :: RzkTypecheckCache -> LSP () Source #

Override the cache with given typechecked modules.

resetCacheForAllFiles :: LSP () Source #

Completely invalidate the cache of typechecked files.

resetCacheForFiles :: [FilePath] -> LSP () Source #

Invalidate the cache for a list of file paths.

getCachedTypecheckedModules :: LSP RzkTypecheckCache Source #

Get the current state of the cache.