Safe Haskell | None |
---|---|
Language | Haskell98 |
- data Database = Database {}
- databaseIntersection :: Database -> Database -> Database
- nullDatabase :: Database -> Bool
- databaseLocals :: Database -> Database
- allModules :: Database -> [Module]
- allDeclarations :: Database -> [ModuleDeclaration]
- fromModule :: InspectedModule -> Database
- fromProject :: Project -> Database
- filterDB :: (ModuleId -> Bool) -> (Project -> Bool) -> Database -> Database
- projectDB :: Project -> Database -> Database
- cabalDB :: Cabal -> Database -> Database
- standaloneDB :: Database -> Database
- selectModules :: (Module -> Bool) -> Database -> [Module]
- selectDeclarations :: (ModuleDeclaration -> Bool) -> Database -> [ModuleDeclaration]
- lookupModule :: ModuleLocation -> Database -> Maybe Module
- lookupFile :: FilePath -> Database -> Maybe Module
- refineProject :: Database -> Project -> Maybe Project
- getInspected :: Database -> Module -> InspectedModule
- append :: Database -> Database -> Database
- remove :: Database -> Database -> Database
- data Structured = Structured {}
- structured :: [Database] -> [Database] -> Database -> Either String Structured
- structurize :: Database -> Structured
- merge :: Structured -> Database
Documentation
HsDev database
databaseIntersection :: Database -> Database -> Database Source
Database intersection, prefers first database data
nullDatabase :: Database -> Bool Source
Check if database is empty
databaseLocals :: Database -> Database Source
Bring all locals to scope
allModules :: Database -> [Module] Source
All modules
allDeclarations :: Database -> [ModuleDeclaration] Source
All declarations
fromModule :: InspectedModule -> Database Source
Make database from module
fromProject :: Project -> Database Source
Make database from project
filterDB :: (ModuleId -> Bool) -> (Project -> Bool) -> Database -> Database Source
Filter database by predicate
standaloneDB :: Database -> Database Source
Standalone database
selectDeclarations :: (ModuleDeclaration -> Bool) -> Database -> [ModuleDeclaration] Source
Select declaration by predicate
lookupModule :: ModuleLocation -> Database -> Maybe Module Source
Lookup module by its location and name
getInspected :: Database -> Module -> InspectedModule Source
Get inspected module
structured :: [Database] -> [Database] -> Database -> Either String Structured Source
structurize :: Database -> Structured Source
merge :: Structured -> Database Source