Data.Graph transitive closure
Johannes Waldmann
johannes.waldmann at htwk-leipzig.de
Fri Jun 21 18:10:39 UTC 2019
> I've actually wondered why Data.Graph existed since it is obviously not
> written for serious/heavy usage.
But it was!
As I understand, it was originally part of GHC
(ghc-0.29/ghc/compiler/utils/Digraph.lhs)
for computing SCCs (in the graph of dependencies of declarations).
So we can assume that it does this well.
And I guess it's used for the very same purpose in Cabal and Agda.
- J.
More information about the Libraries
mailing list