Data.Graph transitive closure

Johannes Waldmann johannes.waldmann at
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
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