HsDev.Database

Documentation

data Database

HsDev database

Constructors

Database

Fields

databaseModules :: [InspectedModule]

databaseProjects :: [Project]

Instances

Eq Database

Ord Database

ToJSON Database

FromJSON Database

Monoid Database

NFData Database

Group Database

MonadReader Database ResolveM

databaseIntersection :: Database -> Database -> Database

Database intersection, prefers first database data

nullDatabase :: Database -> Bool

Check if database is empty

databaseLocals :: Database -> Database

Bring all locals to scope

allModules :: Database -> [Module]

All modules

allDeclarations :: Database -> [ModuleDeclaration]

All declarations

allPackages :: Database -> [ModulePackage]

All packages

fromModule :: InspectedModule -> Database

Make database from module

fromProject :: Project -> Database

Make database from project

filterDB :: (ModuleId -> Bool) -> (Project -> Bool) -> Database -> Database

Filter database by predicate

projectDB :: Project -> Database -> Database

Project database

cabalDB :: Cabal -> Database -> Database

Cabal database

standaloneDB :: Database -> Database

Standalone database

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

Select module by predicate

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

Select declaration by predicate

lookupModule :: ModuleLocation -> Database -> Maybe Module

Lookup module by its location and name

lookupInspected :: ModuleLocation -> Database -> Maybe InspectedModule

Lookup inspected module

lookupFile :: FilePath -> Database -> Maybe Module

Lookup module by its source file

refineProject :: Database -> Project -> Maybe Project

Refine project

getInspected :: Database -> Module -> InspectedModule

Get inspected module

append :: Database -> Database -> Database

Append database

remove :: Database -> Database -> Database

Remove database

data Structured

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

structurize :: Database -> Structured

merge :: Structured -> Database

data Map k a :: * -> * -> *

A Map from keys k to values a.

Instances

MonadState ResolvedTree ResolveM

Functor (Map k)

Foldable (Map k)

Traversable (Map k)

Ord k => TrieMap (Map k)

Ord k => IsList (Map k v)

(Eq k, Eq a) => Eq (Map k a)

(Data k, Data a, Ord k) => Data (Map k a)

(Ord k, Ord v) => Ord (Map k v)

(Ord k, Read k, Read e) => Read (Map k e)

(Show k, Show a) => Show (Map k a)

Ord k => Monoid (Map k v)

(NFData k, NFData a) => NFData (Map k a)

(Outputable key, Outputable elt) => Outputable (Map key elt)

Ord k => Semigroup (Map k v)

Ord k => Ixed (Map k a)

Ord k => At (Map k a)

Ord k => Wrapped (Map k a)

(Ord k, Group a) => Group (Map k a)

((~) * t (Map k' a'), Ord k) => Rewrapped (Map k a) t

Use wrapping fromList. unwrapping returns a sorted list.

(~) * c d => Each (Map c a) (Map d b) a b

each :: Traversal (Map c a) (Map c b) a b

type Key (Map k) = k

type Item (Map k v) = (k, v)

type Index (Map k a) = k

type IxValue (Map k a) = a

type Unwrapped (Map k a) = [(k, a)]