Data.Graph.Inductive.Query.DFS
type CFun a b c
dfs
dfs'
dff
dff'
dfsWith
dfsWith'
dffWith
dffWith'
xdfsWith
xdfWith
xdffWith
udfs
udfs'
udff
udff'
rdff
rdff'
rdfs
rdfs'
topsort
topsort'
scc
reachable
components
noComponents
isConnected