Digraph

data Graph node

graphFromEdgedVerticesOrd

graphFromEdgedVerticesUniq

data SCC vertex

type Node key payload

flattenSCC

flattenSCCs

stronglyConnCompG

topologicalSortG

dfsTopSortG

verticesG

edgesG

hasVertexG

reachableG

reachablesG

transposeG

outdegreeG

indegreeG

vertexGroupsG

emptyG

componentsG

findCycle

stronglyConnCompFromEdgedVerticesOrd

stronglyConnCompFromEdgedVerticesOrdR

stronglyConnCompFromEdgedVerticesUniq

stronglyConnCompFromEdgedVerticesUniqR