Safe Haskell | Safe-Infered |
---|
This module provides the infos collected by the server before
- getIdentifierDescr :: (SymbolTable alpha, SymbolTable beta) => String -> alpha -> beta -> [Descr]
- getIdentifiersStartingWith :: (SymbolTable alpha, SymbolTable beta) => String -> alpha -> beta -> [String]
- getCompletionOptions :: String -> IDEM [String]
- getDescription :: String -> IDEM String
- getActivePackageDescr :: IDEM (Maybe PackageDescr)
- searchMeta :: Scope -> String -> SearchMode -> IDEM [Descr]
- initInfo :: IDEAction -> IDEAction
- updateSystemInfo :: IDEAction
- rebuildSystemInfo :: IDEAction
- updateWorkspaceInfo :: IDEAction
- rebuildWorkspaceInfo :: IDEAction
- getPackageInfo :: IDEM (Maybe (GenScope, GenScope))
- getWorkspaceInfo :: IDEM (Maybe (GenScope, GenScope))
- getSystemInfo :: IDEM (Maybe GenScope)
- getPackageImportInfo :: IDEPackage -> IDEM (Maybe (GenScope, GenScope))
Documentation
getIdentifierDescr :: (SymbolTable alpha, SymbolTable beta) => String -> alpha -> beta -> [Descr]Source
Lookup of an identifier description
getIdentifiersStartingWith :: (SymbolTable alpha, SymbolTable beta) => String -> alpha -> beta -> [String]Source
Lookup of an identifiers starting with the specified prefix and return a list.
getCompletionOptions :: String -> IDEM [String]Source
getDescription :: String -> IDEM StringSource
searchMeta :: Scope -> String -> SearchMode -> IDEM [Descr]Source
Searching of metadata
initInfo :: IDEAction -> IDEActionSource
Update and initialize metadata for the world -- Called at startup
getPackageImportInfo :: IDEPackage -> IDEM (Maybe (GenScope, GenScope))Source
Only exported items