Commit 10128e71 authored by Duncan Coutts's avatar Duncan Coutts
Browse files

Add PackageIndex.dependencyCycles

Finds any cycles (strongly connected components) in the dependencies
of set of packages. This is useful for checking the correctness of
installation plans.
parent d9265390
......@@ -42,12 +42,14 @@ module Distribution.Simple.PackageIndex (
) where
import Prelude hiding (lookup)
import Control.Exception (assert)
import qualified Data.Map as Map
import Data.Map (Map)
import qualified Data.Graph as Graph
import Data.List (nubBy, group, sort, groupBy, sortBy, find)
import Data.Monoid (Monoid(..))
import Data.Maybe (isNothing)
......@@ -298,3 +300,19 @@ dependencyInconsistencies index =
else concat groups)
. groupBy (equating snd)
. sortBy (comparing snd)
-- | Find if there are any cycles in the dependency graph. If there are no
-- cycles the result is @[]@.
-- This actually computes the strongly connected components. So it gives us a
-- list of groups of packages where within each group they all depend on each
-- other, directly or indirectly.
dependencyCycles :: PackageFixedDeps pkg
=> PackageIndex pkg
-> [[pkg]]
dependencyCycles index =
[ vs | Graph.CyclicSCC vs <- Graph.stronglyConnComp adjacencyList ]
adjacencyList = [ (pkg, packageId pkg, depends pkg)
| pkg <- allPackages index ]
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment