Safe Haskell | None |
---|---|
Language | Haskell98 |
- data Database = Database {}
- databaseIntersection :: Database -> Database -> Database
- nullDatabase :: Database -> Bool
- databaseLocals :: Database -> Database
- allModules :: Database -> [Module]
- allDeclarations :: Database -> [ModuleDeclaration]
- allPackages :: Database -> [ModulePackage]
- 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
- lookupInspected :: ModuleLocation -> Database -> Maybe InspectedModule
- 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
- data Map k a :: * -> * -> *
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
allPackages :: Database -> [ModulePackage] Source
All packages
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
lookupInspected :: ModuleLocation -> Database -> Maybe InspectedModule Source
Lookup inspected module
getInspected :: Database -> Module -> InspectedModule Source
Get inspected module
structured :: [Database] -> [Database] -> Database -> Either String Structured Source
structurize :: Database -> Structured Source
merge :: Structured -> Database Source
data Map k a :: * -> * -> *
A Map from keys k
to values a
.
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) Source | |
((~) * t (Map k' a'), Ord k) => Rewrapped (Map k a) t | Use |
(~) * c d => Each (Map c a) (Map d 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)] |