Digraph
data Graph node
graphFromEdgedVertices
data SCC vertex
type Node key payload
flattenSCC
flattenSCCs
stronglyConnCompG
topologicalSortG
dfsTopSortG
verticesG
edgesG
hasVertexG
reachableG
reachablesG
transposeG
outdegreeG
indegreeG
vertexGroupsG
emptyG
componentsG
findCycle
stronglyConnCompFromEdgedVertices
stronglyConnCompFromEdgedVerticesR