Data.Graph.Inductive.Query.DFS
type
CFun
a b c
dfs
dfs'
dff
dff'
dfsWith
dfsWith'
dffWith
dffWith'
xdfsWith
xdfWith
xdffWith
Undirected DFS
udfs
udfs'
udff
udff'
Reverse DFS
rdff
rdff'
rdfs
rdfs'
Applications of DFS/DFF
topsort
topsort'
scc
reachable
Applications of UDFS/UDFF
components
noComponents
isConnected