GHC.Unit.Module.Graph

Documentation

data ModuleGraph

A 'ModuleGraph' contains all the nodes from the home package (only). See 'ModuleGraphNode' for information about the nodes.

Modules need to be compiled. hs-boots need to be typechecked before the associated "real" module so modules with {-# SOURCE #-} imports can be built. Instantiations also need to be typechecked to ensure that the module fits the signature. Substantiation typechecking is roughly comparable to the check that the module and its hs-boot agree.

The graph is not necessarily stored in topologically-sorted order. Use topSortModuleGraph and flattenSCC to achieve this.

data ModuleGraphNode

A 'ModuleGraphNode' is a node in the 'ModuleGraph'. Edges between nodes mark dependencies arising from module imports and dependencies arising from backpack instantiations.

Constructors

InstantiationNode UnitId InstantiatedUnit

Instantiation nodes track the instantiation of other units (backpack dependencies) with the holes (signatures) of the current package.

ModuleNode [NodeKey] ModSummary

There is a module summary node for each module, signature, and boot module being built.

LinkNode [NodeKey] UnitId

Link nodes are whether are are creating a linked product (ie executable/shared object etc) for a unit.

Instances

Outputable ModuleGraphNode

Defined in GHC.Unit.Module.Graph

Methods

ppr :: ModuleGraphNode -> SDoc

Eq ModuleGraphNode

Defined in GHC.Unit.Module.Graph

Methods

(==) :: ModuleGraphNode -> ModuleGraphNode -> Bool

(/=) :: ModuleGraphNode -> ModuleGraphNode -> Bool

Ord ModuleGraphNode

Defined in GHC.Unit.Module.Graph

Methods

compare :: ModuleGraphNode -> ModuleGraphNode -> Ordering

(<) :: ModuleGraphNode -> ModuleGraphNode -> Bool

(<=) :: ModuleGraphNode -> ModuleGraphNode -> Bool

(>) :: ModuleGraphNode -> ModuleGraphNode -> Bool

(>=) :: ModuleGraphNode -> ModuleGraphNode -> Bool

max :: ModuleGraphNode -> ModuleGraphNode -> ModuleGraphNode

min :: ModuleGraphNode -> ModuleGraphNode -> ModuleGraphNode

nodeDependencies :: Bool -> ModuleGraphNode -> [NodeKey]

Collect the immediate dependencies of a ModuleGraphNode, optionally avoiding hs-boot dependencies. If the drop_hs_boot_nodes flag is False, and if this is a .hs and there is an equivalent .hs-boot, add a link from the former to the latter. This has the effect of detecting bogus cases where the .hs-boot depends on the .hs, by introducing a cycle. Additionally, it ensures that we will always process the .hs-boot before the .hs, and so the HomePackageTable will always have the most up to date information.

emptyMG :: ModuleGraph

mkModuleGraph :: [ModuleGraphNode] -> ModuleGraph

extendMG :: ModuleGraph -> [NodeKey] -> ModSummary -> ModuleGraph

Add an ExtendedModSummary to ModuleGraph. Assumes that the new ModSummary is not an element of the ModuleGraph.

extendMGInst :: ModuleGraph -> UnitId -> InstantiatedUnit -> ModuleGraph

extendMG' :: ModuleGraph -> ModuleGraphNode -> ModuleGraph

unionMG :: ModuleGraph -> ModuleGraph -> ModuleGraph

isTemplateHaskellOrQQNonBoot :: ModSummary -> Bool

filterToposortToModules :: [SCC ModuleGraphNode] -> [SCC ModSummary]

This function filters out all the instantiation nodes from each SCC of a topological sort. Use this with care, as the resulting "strongly connected components" may not really be strongly connected in a direct way, as instantiations have been removed. It would probably be best to eliminate uses of this function where possible.

mapMG :: (ModSummary -> ModSummary) -> ModuleGraph -> ModuleGraph

Map a function f over all the ModSummaries. To preserve invariants f can't change the isBoot status.

mgModSummaries :: ModuleGraph -> [ModSummary]

mgModSummaries' :: ModuleGraph -> [ModuleGraphNode]

mgLookupModule :: ModuleGraph -> Module -> Maybe ModSummary

Look up a ModSummary in the ModuleGraph Looks up the non-boot ModSummary Linear in the size of the module graph

mgTransDeps :: ModuleGraph -> Map NodeKey (Set NodeKey)

showModMsg :: DynFlags -> Bool -> ModuleGraphNode -> SDoc

moduleGraphNodeModule :: ModuleGraphNode -> Maybe ModuleName

moduleGraphNodeModSum :: ModuleGraphNode -> Maybe ModSummary

moduleGraphNodes :: Bool -> [ModuleGraphNode] -> (Graph SummaryNode, NodeKey -> Maybe SummaryNode)

Turn a list of graph nodes into an efficient queriable graph. The first boolean parameter indicates whether nodes corresponding to hs-boot files should be collapsed into their relevant hs nodes.

type SummaryNode = Node Int ModuleGraphNode

summaryNodeSummary :: SummaryNode -> ModuleGraphNode

data NodeKey

Constructors

NodeKey_Unit !InstantiatedUnit

NodeKey_Module !ModNodeKeyWithUid

NodeKey_Link !UnitId

Instances

Outputable NodeKey

Defined in GHC.Unit.Module.Graph

Methods

ppr :: NodeKey -> SDoc

Eq NodeKey

Defined in GHC.Unit.Module.Graph

Methods

(==) :: NodeKey -> NodeKey -> Bool

(/=) :: NodeKey -> NodeKey -> Bool

Ord NodeKey

Defined in GHC.Unit.Module.Graph

Methods

compare :: NodeKey -> NodeKey -> Ordering

(<) :: NodeKey -> NodeKey -> Bool

(<=) :: NodeKey -> NodeKey -> Bool

(>) :: NodeKey -> NodeKey -> Bool

(>=) :: NodeKey -> NodeKey -> Bool

max :: NodeKey -> NodeKey -> NodeKey

min :: NodeKey -> NodeKey -> NodeKey

nodeKeyUnitId :: NodeKey -> UnitId

nodeKeyModName :: NodeKey -> Maybe ModuleName

type ModNodeKey = ModuleNameWithIsBoot

mkNodeKey :: ModuleGraphNode -> NodeKey

msKey :: ModSummary -> ModNodeKeyWithUid

moduleGraphNodeUnitId :: ModuleGraphNode -> UnitId

data ModNodeKeyWithUid

Constructors

ModNodeKeyWithUid

Fields

• mnkModuleName :: !ModuleNameWithIsBoot
• mnkUnitId :: !UnitId

Instances

Outputable ModNodeKeyWithUid

Defined in GHC.Unit.Module.Graph

Methods

ppr :: ModNodeKeyWithUid -> SDoc

Eq ModNodeKeyWithUid

Defined in GHC.Unit.Module.Graph

Methods

(==) :: ModNodeKeyWithUid -> ModNodeKeyWithUid -> Bool

(/=) :: ModNodeKeyWithUid -> ModNodeKeyWithUid -> Bool

Ord ModNodeKeyWithUid

Defined in GHC.Unit.Module.Graph

Methods

compare :: ModNodeKeyWithUid -> ModNodeKeyWithUid -> Ordering

(<) :: ModNodeKeyWithUid -> ModNodeKeyWithUid -> Bool

(<=) :: ModNodeKeyWithUid -> ModNodeKeyWithUid -> Bool

(>) :: ModNodeKeyWithUid -> ModNodeKeyWithUid -> Bool

(>=) :: ModNodeKeyWithUid -> ModNodeKeyWithUid -> Bool

max :: ModNodeKeyWithUid -> ModNodeKeyWithUid -> ModNodeKeyWithUid

min :: ModNodeKeyWithUid -> ModNodeKeyWithUid -> ModNodeKeyWithUid