<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!--Rendered using the Haskell Html Library v0.2-->
<HTML
><HEAD
><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8"
><TITLE
>Data.Graph.Inductive.Query.DFS</TITLE
><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css"
><SCRIPT SRC="haddock-util.js" TYPE="text/javascript"
></SCRIPT
><SCRIPT TYPE="text/javascript"
>window.onload = function () {setSynopsis("mini_Data-Graph-Inductive-Query-DFS.html")};</SCRIPT
></HEAD
><BODY
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="topbar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" "
></TD
><TD CLASS="title"
>fgl-5.4.2.3: Martin Erwig's Functional Graph Library</TD
><TD CLASS="topbut"
><A HREF="index.html"
>Contents</A
></TD
><TD CLASS="topbut"
><A HREF="doc-index.html"
>Index</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="modulebar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><FONT SIZE="6"
>Data.Graph.Inductive.Query.DFS</FONT
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
><B
>Contents</B
></TD
></TR
><TR
><TD
><DL
><DT
><A HREF="#1"
>Undirected DFS
</A
></DT
><DT
><A HREF="#2"
>Reverse DFS
</A
></DT
><DT
><A HREF="#3"
>Applications of DFS/DFF
</A
></DT
><DT
><A HREF="#4"
>Applications of UDFS/UDFF
</A
></DT
></DL
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Description</TD
></TR
><TR
><TD CLASS="doc"
>Depth-First Search
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Synopsis</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ACFun"
>CFun</A
> a b c = <A HREF="Data-Graph-Inductive-Graph.html#t%3AContext"
>Context</A
> a b -> c</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Adfs"
>dfs</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Adfs%27"
>dfs'</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Adff"
>dff</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Adff%27"
>dff'</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdfsWith"
>dfsWith</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [c]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdfsWith%27"
>dfsWith'</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> gr a b -> [c]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdffWith"
>dffWith</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> c]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdffWith%27"
>dffWith'</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> c]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AxdfsWith"
>xdfsWith</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [c]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AxdfWith"
>xdfWith</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> ([<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> c], gr a b)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AxdffWith"
>xdffWith</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> c]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Audfs"
>udfs</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Audfs%27"
>udfs'</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Audff"
>udff</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Audff%27"
>udff'</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Ardff"
>rdff</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Ardff%27"
>rdff'</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Ardfs"
>rdfs</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Ardfs%27"
>rdfs'</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Atopsort"
>topsort</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Atopsort%27"
>topsort'</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [a]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Ascc"
>scc</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [[<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Areachable"
>reachable</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
> -> gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Acomponents"
>components</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [[<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AnoComponents"
>noComponents</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Int.html#t%3AInt"
>Int</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisConnected"
>isConnected</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Documentation</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:CFun"
><A NAME="t%3ACFun"
></A
></A
><B
>CFun</B
> a b c = <A HREF="Data-Graph-Inductive-Graph.html#t%3AContext"
>Context</A
> a b -> c</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:dfs"
><A NAME="v%3Adfs"
></A
></A
><B
>dfs</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:dfs'"
><A NAME="v%3Adfs%27"
></A
></A
><B
>dfs'</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:dff"
><A NAME="v%3Adff"
></A
></A
><B
>dff</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:dff'"
><A NAME="v%3Adff%27"
></A
></A
><B
>dff'</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:dfsWith"
><A NAME="v%3AdfsWith"
></A
></A
><B
>dfsWith</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [c]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:dfsWith'"
><A NAME="v%3AdfsWith%27"
></A
></A
><B
>dfsWith'</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> gr a b -> [c]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:dffWith"
><A NAME="v%3AdffWith"
></A
></A
><B
>dffWith</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> c]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:dffWith'"
><A NAME="v%3AdffWith%27"
></A
></A
><B
>dffWith'</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> c]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:xdfsWith"
><A NAME="v%3AxdfsWith"
></A
></A
><B
>xdfsWith</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [c]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:xdfWith"
><A NAME="v%3AxdfWith"
></A
></A
><B
>xdfWith</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> ([<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> c], gr a b)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:xdffWith"
><A NAME="v%3AxdffWith"
></A
></A
><B
>xdffWith</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> <A HREF="Data-Graph-Inductive-Query-DFS.html#t%3ACFun"
>CFun</A
> a b c -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> c]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="1"
><A NAME="1"
>Undirected DFS
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:udfs"
><A NAME="v%3Audfs"
></A
></A
><B
>udfs</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:udfs'"
><A NAME="v%3Audfs%27"
></A
></A
><B
>udfs'</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:udff"
><A NAME="v%3Audff"
></A
></A
><B
>udff</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:udff'"
><A NAME="v%3Audff%27"
></A
></A
><B
>udff'</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="2"
><A NAME="2"
>Reverse DFS
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:rdff"
><A NAME="v%3Ardff"
></A
></A
><B
>rdff</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:rdff'"
><A NAME="v%3Ardff%27"
></A
></A
><B
>rdff'</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="/usr/share/doc/ghc/html/libraries/containers-0.3.0.0/Data-Tree.html#t%3ATree"
>Tree</A
> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:rdfs"
><A NAME="v%3Ardfs"
></A
></A
><B
>rdfs</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:rdfs'"
><A NAME="v%3Ardfs%27"
></A
></A
><B
>rdfs'</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="3"
><A NAME="3"
>Applications of DFS/DFF
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:topsort"
><A NAME="v%3Atopsort"
></A
></A
><B
>topsort</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:topsort'"
><A NAME="v%3Atopsort%27"
></A
></A
><B
>topsort'</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [a]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:scc"
><A NAME="v%3Ascc"
></A
></A
><B
>scc</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [[<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:reachable"
><A NAME="v%3Areachable"
></A
></A
><B
>reachable</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
> -> gr a b -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="4"
><A NAME="4"
>Applications of UDFS/UDFF
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:components"
><A NAME="v%3Acomponents"
></A
></A
><B
>components</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> [[<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:noComponents"
><A NAME="v%3AnoComponents"
></A
></A
><B
>noComponents</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Int.html#t%3AInt"
>Int</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isConnected"
><A NAME="v%3AisConnected"
></A
></A
><B
>isConnected</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> gr => gr a b -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="botbar"
>Produced by <A HREF="http://www.haskell.org/haddock/"
>Haddock</A
> version 2.6.1</TD
></TR
></TABLE
></BODY
></HTML
>
