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