Safe Haskell	None
Language	Haskell98

HsDev.Database

Synopsis

Documentation

data Database Source

HsDev database

Constructors

Database
Fields databaseModules :: Map ModuleLocation InspectedModule databaseProjects :: Map FilePath Project

Instances

Eq Database
Ord Database
ToJSON Database
FromJSON Database
Monoid Database
NFData Database
Group Database
MonadReader Database ResolveM

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

projectDB :: Project -> Database -> Database Source

Project database

cabalDB :: Cabal -> Database -> Database Source

Cabal database

standaloneDB :: Database -> Database Source

Standalone database

selectModules :: (Module -> Bool) -> Database -> [Module] Source

Select module by predicate

selectDeclarations :: (ModuleDeclaration -> Bool) -> Database -> [ModuleDeclaration] Source

Select declaration by predicate

lookupModule :: ModuleLocation -> Database -> Maybe Module Source

Lookup module by its location and name

lookupFile :: FilePath -> Database -> Maybe Module Source

Lookup module by its source file

refineProject :: Database -> Project -> Maybe Project Source

Refine project

getInspected :: Database -> Module -> InspectedModule Source

Get inspected module

append :: Database -> Database -> Database Source

Append database

remove :: Database -> Database -> Database Source

Remove database

data Structured Source

Structured database

Constructors

Structured
Fields structuredCabals :: Map Cabal Database structuredProjects :: Map FilePath Database structuredFiles :: Database

Instances

Eq Structured
Ord Structured
ToJSON Structured
FromJSON Structured
Monoid Structured
NFData Structured
Group Structured

structured :: [Database] -> [Database] -> Database -> Either String Structured Source

structurize :: Database -> Structured Source

merge :: Structured -> Database Source