ghcide-2.5.0.0: The core of an IDE
Safe HaskellSafe-Inferred
LanguageHaskell2010

Development.IDE.Import.DependencyInformation

Synopsis

Documentation

data DependencyInformation Source #

Constructors

DependencyInformation 

Fields

newtype ModuleImports Source #

The imports for a given module.

Constructors

ModuleImports 

Fields

Instances

Instances details
Show ModuleImports Source # 
Instance details

Defined in Development.IDE.Import.DependencyInformation

data RawDependencyInformation Source #

Unprocessed results that we find by following imports recursively.

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
Generic NodeError Source # 
Instance details

Defined in Development.IDE.Import.DependencyInformation

Associated Types

type Rep NodeError :: Type -> Type #

Show NodeError Source # 
Instance details

Defined in Development.IDE.Import.DependencyInformation

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

data ModuleParseError Source #

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

Constructors

ModuleParseError 

Instances

Instances details
Generic ModuleParseError Source # 
Instance details

Defined in Development.IDE.Import.DependencyInformation

Associated Types

type Rep ModuleParseError :: Type -> Type #

Show ModuleParseError Source # 
Instance details

Defined in Development.IDE.Import.DependencyInformation

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-2.5.0.0-FXD8of4zg5MGRRhTNvOFwl" 'False) (C1 ('MetaCons "ModuleParseError" 'PrefixI 'False) (U1 :: Type -> Type))

newtype TransitiveDependencies Source #

Constructors

TransitiveDependencies 

Fields

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

data NamedModuleDep Source #

Instances

Instances details
Generic NamedModuleDep Source # 
Instance details

Defined in Development.IDE.Import.DependencyInformation

Associated Types

type Rep NamedModuleDep :: Type -> Type #

Show NamedModuleDep Source # 
Instance details

Defined in Development.IDE.Import.DependencyInformation

NFData NamedModuleDep Source # 
Instance details

Defined in Development.IDE.Import.DependencyInformation

Methods

rnf :: NamedModuleDep -> () #

Eq NamedModuleDep Source # 
Instance details

Defined in Development.IDE.Import.DependencyInformation

type Rep NamedModuleDep Source # 
Instance details

Defined in Development.IDE.Import.DependencyInformation

type Rep NamedModuleDep = D1 ('MetaData "NamedModuleDep" "Development.IDE.Import.DependencyInformation" "ghcide-2.5.0.0-FXD8of4zg5MGRRhTNvOFwl" '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)))))

data PathIdMap Source #

Instances

Instances details
Generic PathIdMap Source # 
Instance details

Defined in Development.IDE.Import.DependencyInformation

Associated Types

type Rep PathIdMap :: Type -> Type #

Show PathIdMap Source # 
Instance details

Defined in Development.IDE.Import.DependencyInformation

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

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

returns all transitive dependencies in topological order.

type BootIdMap = FilePathIdMap FilePathId Source #