Language.PureScript.Ide.State

Functions to access psc-ide's state

Documentation

getLoadedModulenames :: Ide m => m [ModuleName]

Gets the loaded Modulenames

getExternFiles :: Ide m => m (ModuleMap ExternsFile)

Gets all loaded ExternFiles

resetIdeState :: Ide m => m ()

Resets all State inside psc-ide

cacheRebuild :: Ide m => ExternsFile -> m ()

Sets rebuild cache to the given ExternsFile

insertExterns :: Ide m => ExternsFile -> m ()

Adds an ExternsFile into psc-ide's State Stage1. This does not populate the following Stages, which needs to be done after all the necessary Exterms have been loaded.

insertModule :: Ide m => (FilePath, Module) -> m ()

Insert a Module into Stage1 of the State

insertExternsSTM :: TVar IdeState -> ExternsFile -> STM ()

STM version of insertExterns

getAllModules :: Ide m => Maybe ModuleName -> m [(ModuleName, [IdeDeclarationAnn])]

Checks if the given ModuleName matches the last rebuild cache and if it does returns all loaded definitions + the definitions inside the rebuild cache

populateStage2 :: (Ide m, MonadLogger m) => m ()

Extracts source spans from the parsed ASTs

populateStage3 :: (Ide m, MonadLogger m) => m ()

Resolves reexports and populates Stage3 with data to be used in queries.

populateStage3STM :: TVar IdeState -> STM (ModuleMap (ReexportResult [IdeDeclarationAnn]))

STM version of populateStage3

resolveOperatorsForModule :: ModuleMap [IdeDeclarationAnn] -> [IdeDeclarationAnn] -> [IdeDeclarationAnn]

Looks up the types and kinds for operators and assigns them to their declarations

resolveInstances :: ModuleMap ExternsFile -> ModuleMap [IdeDeclarationAnn] -> ModuleMap [IdeDeclarationAnn]