Digraph

data Graph node

graphFromVerticesAndAdjacency

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

tabulate

preArr

components

undirected

back

cross

forward

path

bcc

do_label

bicomps

collect