Safe Haskell | None |
---|---|
Language | Haskell98 |
- findDeclaration :: Database -> String -> ErrorT String IO [ModuleDeclaration]
- findModule :: Database -> String -> ErrorT String IO [Module]
- fileModule :: Database -> FilePath -> ErrorT String IO Module
- lookupSymbol :: Database -> Cabal -> FilePath -> String -> ErrorT String IO [ModuleDeclaration]
- whois :: Database -> Cabal -> FilePath -> String -> ErrorT String IO [ModuleDeclaration]
- scopeModules :: Database -> Cabal -> FilePath -> ErrorT String IO [Module]
- scope :: Database -> Cabal -> FilePath -> Bool -> ErrorT String IO [ModuleDeclaration]
- completions :: Database -> Cabal -> FilePath -> String -> ErrorT String IO [ModuleDeclaration]
- moduleCompletions :: Database -> [Module] -> String -> ErrorT String IO [String]
- checkModule :: (ModuleId -> Bool) -> ModuleDeclaration -> Bool
- checkDeclaration :: (Declaration -> Bool) -> ModuleDeclaration -> Bool
- restrictCabal :: Cabal -> ModuleId -> Bool
- visibleFrom :: Maybe Project -> Module -> ModuleId -> Bool
- splitIdentifier :: String -> (Maybe String, String)
- fileCtx :: Database -> FilePath -> ErrorT String IO (FilePath, Module, Maybe Project)
- fileCtxMaybe :: Database -> FilePath -> ErrorT String IO (FilePath, Maybe Module, Maybe Project)
Commands
findDeclaration :: Database -> String -> ErrorT String IO [ModuleDeclaration] Source
Find declaration by name
lookupSymbol :: Database -> Cabal -> FilePath -> String -> ErrorT String IO [ModuleDeclaration] Source
Lookup visible symbol
whois :: Database -> Cabal -> FilePath -> String -> ErrorT String IO [ModuleDeclaration] Source
Whois symbol in scope
scope :: Database -> Cabal -> FilePath -> Bool -> ErrorT String IO [ModuleDeclaration] Source
Symbols in scope
completions :: Database -> Cabal -> FilePath -> String -> ErrorT String IO [ModuleDeclaration] Source
Completions
moduleCompletions :: Database -> [Module] -> String -> ErrorT String IO [String] Source
Module completions
Filters
checkModule :: (ModuleId -> Bool) -> ModuleDeclaration -> Bool Source
Check module
checkDeclaration :: (Declaration -> Bool) -> ModuleDeclaration -> Bool Source
Check declaration
restrictCabal :: Cabal -> ModuleId -> Bool Source
Allow only selected cabal sandbox
visibleFrom :: Maybe Project -> Module -> ModuleId -> Bool Source
Check whether module is visible from source file
splitIdentifier :: String -> (Maybe String, String) Source
Split identifier into module name and identifier itself