Safe Haskell	None
Language	Haskell2010

Development.IDE.Import.DependencyInformation

Synopsis

data DependencyInformation = DependencyInformation {
- depErrorNodes :: !(FilePathIdMap (NonEmpty NodeError))
- depModuleNames :: !(FilePathIdMap ShowableModuleName)
- depModuleDeps :: !(FilePathIdMap FilePathIdSet)
- depReverseModuleDeps :: !(IntMap IntSet)
- depPathIdMap :: !PathIdMap
- depBootMap :: !BootIdMap
}
newtype ModuleImports = ModuleImports {
- moduleImports :: [(Located ModuleName, Maybe FilePathId)]
}
data RawDependencyInformation = RawDependencyInformation {
- rawImports :: !(FilePathIdMap (Either ModuleParseError ModuleImports))
- rawPathIdMap :: !PathIdMap
- rawBootMap :: !BootIdMap
}
data NodeError
- = PartOfCycle (Located ModuleName) [FilePathId]
- | FailedToLocateImport (Located ModuleName)
- | ParseError ModuleParseError
- | ParentOfErrorNode (Located ModuleName)
data ModuleParseError = ModuleParseError
newtype TransitiveDependencies = TransitiveDependencies {
- transitiveModuleDeps :: [NormalizedFilePath]
}
newtype FilePathId = FilePathId {
- getFilePathId :: Int
}
data NamedModuleDep = NamedModuleDep {
- nmdFilePath :: !NormalizedFilePath
- nmdModuleName :: !ModuleName
- nmdModLocation :: !(Maybe ModLocation)
}
newtype ShowableModuleName = ShowableModuleName {
- showableModuleName :: ModuleName
}
data PathIdMap
emptyPathIdMap :: PathIdMap
getPathId :: ArtifactsLocation -> PathIdMap -> (FilePathId, PathIdMap)
lookupPathToId :: PathIdMap -> NormalizedFilePath -> Maybe FilePathId
insertImport :: FilePathId -> Either ModuleParseError ModuleImports -> RawDependencyInformation -> RawDependencyInformation
pathToId :: PathIdMap -> NormalizedFilePath -> FilePathId
idToPath :: PathIdMap -> FilePathId -> NormalizedFilePath
reachableModules :: DependencyInformation -> [NormalizedFilePath]
processDependencyInformation :: RawDependencyInformation -> DependencyInformation
transitiveDeps :: DependencyInformation -> NormalizedFilePath -> Maybe TransitiveDependencies
transitiveReverseDependencies :: NormalizedFilePath -> DependencyInformation -> Maybe [NormalizedFilePath]
immediateReverseDependencies :: NormalizedFilePath -> DependencyInformation -> Maybe [NormalizedFilePath]
type BootIdMap = FilePathIdMap FilePathId
insertBootId :: FilePathId -> FilePathId -> BootIdMap -> BootIdMap

Documentation

data DependencyInformation Source #

Constructors

DependencyInformation

Fields

depErrorNodes :: !(FilePathIdMap (NonEmpty NodeError))
Nodes that cannot be processed correctly.
depModuleNames :: !(FilePathIdMap ShowableModuleName)
depModuleDeps :: !(FilePathIdMap FilePathIdSet)
For a non-error node, this contains the set of module immediate dependencies in the same package.
depReverseModuleDeps :: !(IntMap IntSet)
Contains a reverse mapping from a module to all those that immediately depend on it.
depPathIdMap :: !PathIdMap
Map from FilePath to FilePathId
depBootMap :: !BootIdMap
Map from hs-boot file to the corresponding hs file

Instances

Instances details

Show DependencyInformation Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods showsPrec :: Int -> DependencyInformation -> ShowS # show :: DependencyInformation -> String # showList :: [DependencyInformation] -> ShowS #
Generic DependencyInformation Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Associated Types type Rep DependencyInformation :: Type -> Type # Methods from :: DependencyInformation -> Rep DependencyInformation x # to :: Rep DependencyInformation x -> DependencyInformation #
NFData DependencyInformation Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods rnf :: DependencyInformation -> () #
type Rep DependencyInformation Source #
Instance details Defined in Development.IDE.Import.DependencyInformation type Rep DependencyInformation

newtype ModuleImports Source #

The imports for a given module.

Constructors

ModuleImports
Fields moduleImports :: [(Located ModuleName, Maybe FilePathId)] Imports of a module in the current package and the file path of that module on disk (if we found it)

Instances

Instances details

Show ModuleImports Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods showsPrec :: Int -> ModuleImports -> ShowS # show :: ModuleImports -> String # showList :: [ModuleImports] -> ShowS #

data RawDependencyInformation Source #

Unprocessed results that we find by following imports recursively.

Constructors

RawDependencyInformation
Fields rawImports :: !(FilePathIdMap (Either ModuleParseError ModuleImports)) rawPathIdMap :: !PathIdMap rawBootMap :: !BootIdMap

Instances

Instances details

Show RawDependencyInformation Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods showsPrec :: Int -> RawDependencyInformation -> ShowS # show :: RawDependencyInformation -> String # showList :: [RawDependencyInformation] -> ShowS #

data NodeError Source #

An error attached to a node in the dependency graph.

Constructors

PartOfCycle (Located ModuleName) [FilePathId]	This module is part of an import cycle. The module name corresponds to the import that enters the cycle starting from this module. The list of filepaths represents the elements in the cycle in unspecified order.
FailedToLocateImport (Located ModuleName)	This module has an import that couldn’t be located.
ParseError ModuleParseError
ParentOfErrorNode (Located ModuleName)	This module is the parent of a module that cannot be processed (either it cannot be parsed, is part of a cycle or the parent of another error node).

Instances

Instances details

Show NodeError Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods showsPrec :: Int -> NodeError -> ShowS # show :: NodeError -> String # showList :: [NodeError] -> ShowS #
Generic NodeError Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Associated Types type Rep NodeError :: Type -> Type # Methods from :: NodeError -> Rep NodeError x # to :: Rep NodeError x -> NodeError #
NFData NodeError Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods rnf :: NodeError -> () #
type Rep NodeError Source #
Instance details Defined in Development.IDE.Import.DependencyInformation type Rep NodeError = D1 ('MetaData "NodeError" "Development.IDE.Import.DependencyInformation" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) ((C1 ('MetaCons "PartOfCycle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located ModuleName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FilePathId])) :+: C1 ('MetaCons "FailedToLocateImport" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located ModuleName)))) :+: (C1 ('MetaCons "ParseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleParseError)) :+: C1 ('MetaCons "ParentOfErrorNode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located ModuleName)))))

data ModuleParseError Source #

This does not contain the actual parse error as that is already reported by GetParsedModule.

Constructors

ModuleParseError

Instances

Instances details

Show ModuleParseError Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods showsPrec :: Int -> ModuleParseError -> ShowS # show :: ModuleParseError -> String # showList :: [ModuleParseError] -> ShowS #
Generic ModuleParseError Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Associated Types type Rep ModuleParseError :: Type -> Type # Methods from :: ModuleParseError -> Rep ModuleParseError x # to :: Rep ModuleParseError x -> ModuleParseError #
NFData ModuleParseError Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods rnf :: ModuleParseError -> () #
type Rep ModuleParseError Source #
Instance details Defined in Development.IDE.Import.DependencyInformation type Rep ModuleParseError = D1 ('MetaData "ModuleParseError" "Development.IDE.Import.DependencyInformation" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "ModuleParseError" 'PrefixI 'False) (U1 :: Type -> Type))

newtype TransitiveDependencies Source #

Constructors

TransitiveDependencies
Fields transitiveModuleDeps :: [NormalizedFilePath] Transitive module dependencies in topological order. The module itself is not included.

Instances

Instances details

Eq TransitiveDependencies Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods (==) :: TransitiveDependencies -> TransitiveDependencies -> Bool # (/=) :: TransitiveDependencies -> TransitiveDependencies -> Bool #
Show TransitiveDependencies Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods showsPrec :: Int -> TransitiveDependencies -> ShowS # show :: TransitiveDependencies -> String # showList :: [TransitiveDependencies] -> ShowS #
Generic TransitiveDependencies Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Associated Types type Rep TransitiveDependencies :: Type -> Type # Methods from :: TransitiveDependencies -> Rep TransitiveDependencies x # to :: Rep TransitiveDependencies x -> TransitiveDependencies #
NFData TransitiveDependencies Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods rnf :: TransitiveDependencies -> () #
type Rep TransitiveDependencies Source #
Instance details Defined in Development.IDE.Import.DependencyInformation type Rep TransitiveDependencies = D1 ('MetaData "TransitiveDependencies" "Development.IDE.Import.DependencyInformation" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'True) (C1 ('MetaCons "TransitiveDependencies" 'PrefixI 'True) (S1 ('MetaSel ('Just "transitiveModuleDeps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [NormalizedFilePath])))

newtype FilePathId Source #

For processing dependency information, we need lots of maps and sets of filepaths. Comparing Strings is really slow, so we work with IntMap/IntSet instead and only convert at the edges.

Constructors

FilePathId
Fields getFilePathId :: Int

Instances

Instances details

Eq FilePathId Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods (==) :: FilePathId -> FilePathId -> Bool # (/=) :: FilePathId -> FilePathId -> Bool #
Ord FilePathId Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods compare :: FilePathId -> FilePathId -> Ordering # (<) :: FilePathId -> FilePathId -> Bool # (<=) :: FilePathId -> FilePathId -> Bool # (>) :: FilePathId -> FilePathId -> Bool # (>=) :: FilePathId -> FilePathId -> Bool # max :: FilePathId -> FilePathId -> FilePathId # min :: FilePathId -> FilePathId -> FilePathId #
Show FilePathId Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods showsPrec :: Int -> FilePathId -> ShowS # show :: FilePathId -> String # showList :: [FilePathId] -> ShowS #
NFData FilePathId Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods rnf :: FilePathId -> () #

data NamedModuleDep Source #

Constructors

NamedModuleDep
Fields nmdFilePath :: !NormalizedFilePath nmdModuleName :: !ModuleName nmdModLocation :: !(Maybe ModLocation)

Instances

Instances details

Eq NamedModuleDep Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods (==) :: NamedModuleDep -> NamedModuleDep -> Bool # (/=) :: NamedModuleDep -> NamedModuleDep -> Bool #
Show NamedModuleDep Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods showsPrec :: Int -> NamedModuleDep -> ShowS # show :: NamedModuleDep -> String # showList :: [NamedModuleDep] -> ShowS #
Generic NamedModuleDep Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Associated Types type Rep NamedModuleDep :: Type -> Type # Methods from :: NamedModuleDep -> Rep NamedModuleDep x # to :: Rep NamedModuleDep x -> NamedModuleDep #
NFData NamedModuleDep Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods rnf :: NamedModuleDep -> () #
type Rep NamedModuleDep Source #
Instance details Defined in Development.IDE.Import.DependencyInformation type Rep NamedModuleDep = D1 ('MetaData "NamedModuleDep" "Development.IDE.Import.DependencyInformation" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "NamedModuleDep" 'PrefixI 'True) (S1 ('MetaSel ('Just "nmdFilePath") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NormalizedFilePath) :: (S1 ('MetaSel ('Just "nmdModuleName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModuleName) :: S1 ('MetaSel ('Just "nmdModLocation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ModLocation)))))

newtype ShowableModuleName Source #

Constructors

ShowableModuleName
Fields showableModuleName :: ModuleName

Instances

Instances details

Show ShowableModuleName Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods showsPrec :: Int -> ShowableModuleName -> ShowS # show :: ShowableModuleName -> String # showList :: [ShowableModuleName] -> ShowS #
NFData ShowableModuleName Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods rnf :: ShowableModuleName -> () #

data PathIdMap Source #

Instances

Instances details

Show PathIdMap Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods showsPrec :: Int -> PathIdMap -> ShowS # show :: PathIdMap -> String # showList :: [PathIdMap] -> ShowS #
Generic PathIdMap Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Associated Types type Rep PathIdMap :: Type -> Type # Methods from :: PathIdMap -> Rep PathIdMap x # to :: Rep PathIdMap x -> PathIdMap #
NFData PathIdMap Source #
Instance details Defined in Development.IDE.Import.DependencyInformation Methods rnf :: PathIdMap -> () #
type Rep PathIdMap Source #
Instance details Defined in Development.IDE.Import.DependencyInformation type Rep PathIdMap

emptyPathIdMap :: PathIdMap Source #

getPathId :: ArtifactsLocation -> PathIdMap -> (FilePathId, PathIdMap) Source #

lookupPathToId :: PathIdMap -> NormalizedFilePath -> Maybe FilePathId Source #

insertImport :: FilePathId -> Either ModuleParseError ModuleImports -> RawDependencyInformation -> RawDependencyInformation Source #

pathToId :: PathIdMap -> NormalizedFilePath -> FilePathId Source #

idToPath :: PathIdMap -> FilePathId -> NormalizedFilePath Source #

reachableModules :: DependencyInformation -> [NormalizedFilePath] Source #

processDependencyInformation :: RawDependencyInformation -> DependencyInformation Source #

transitiveDeps :: DependencyInformation -> NormalizedFilePath -> Maybe TransitiveDependencies Source #

transitiveReverseDependencies :: NormalizedFilePath -> DependencyInformation -> Maybe [NormalizedFilePath] Source #

Transitive reverse dependencies of a file

immediateReverseDependencies :: NormalizedFilePath -> DependencyInformation -> Maybe [NormalizedFilePath] Source #

Immediate reverse dependencies of a file

type BootIdMap = FilePathIdMap FilePathId Source #

insertBootId :: FilePathId -> FilePathId -> BootIdMap -> BootIdMap Source #