<!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 >Digraph</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_Digraph.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" >ghc-6.12.3: The GHC API</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" >Digraph</FONT ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></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" >data</SPAN > <A NAME="t:Graph" ><A NAME="t%3AGraph" ></A ></A ><B >Graph</B > node </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:Graph')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:Graph" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > node => <A HREF="Outputable.html#t%3AOutputable" >Outputable</A > (<A HREF="Digraph.html#t%3AGraph" >Graph</A > node)</TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:graphFromVerticesAndAdjacency" ><A NAME="v%3AgraphFromVerticesAndAdjacency" ></A ></A ><B >graphFromVerticesAndAdjacency</B > :: <A HREF="../base-4.2.0.2/Data-Ord.html#t%3AOrd" >Ord</A > key => [(node, key)] -> [(key, key)] -> <A HREF="Digraph.html#t%3AGraph" >Graph</A > (node, key)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:graphFromEdgedVertices" ><A NAME="v%3AgraphFromEdgedVertices" ></A ></A ><B >graphFromEdgedVertices</B > :: <A HREF="../base-4.2.0.2/Data-Ord.html#t%3AOrd" >Ord</A > key => [(node, key, [key])] -> <A HREF="Digraph.html#t%3AGraph" >Graph</A > (node, key, [key])</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:SCC" ><A NAME="t%3ASCC" ></A ></A ><B >SCC</B > vertex </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:AcyclicSCC" ><A NAME="v%3AAcyclicSCC" ></A ></A ><B >AcyclicSCC</B > vertex</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:CyclicSCC" ><A NAME="v%3ACyclicSCC" ></A ></A ><B >CyclicSCC</B > [vertex]</TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:SCC')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:SCC" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="../base-4.2.0.2/Control-Monad.html#t%3AFunctor" >Functor</A > <A HREF="Digraph.html#t%3ASCC" >SCC</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > a => <A HREF="Outputable.html#t%3AOutputable" >Outputable</A > (<A HREF="Digraph.html#t%3ASCC" >SCC</A > a)</TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:flattenSCC" ><A NAME="v%3AflattenSCC" ></A ></A ><B >flattenSCC</B > :: <A HREF="Digraph.html#t%3ASCC" >SCC</A > a -> [a]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:flattenSCCs" ><A NAME="v%3AflattenSCCs" ></A ></A ><B >flattenSCCs</B > :: [<A HREF="Digraph.html#t%3ASCC" >SCC</A > a] -> [a]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:stronglyConnCompG" ><A NAME="v%3AstronglyConnCompG" ></A ></A ><B >stronglyConnCompG</B > :: <A HREF="Digraph.html#t%3AGraph" >Graph</A > node -> [<A HREF="Digraph.html#t%3ASCC" >SCC</A > node]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:topologicalSortG" ><A NAME="v%3AtopologicalSortG" ></A ></A ><B >topologicalSortG</B > :: <A HREF="Digraph.html#t%3AGraph" >Graph</A > node -> [node]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:verticesG" ><A NAME="v%3AverticesG" ></A ></A ><B >verticesG</B > :: <A HREF="Digraph.html#t%3AGraph" >Graph</A > node -> [node]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:edgesG" ><A NAME="v%3AedgesG" ></A ></A ><B >edgesG</B > :: <A HREF="Digraph.html#t%3AGraph" >Graph</A > node -> [Edge node]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:hasVertexG" ><A NAME="v%3AhasVertexG" ></A ></A ><B >hasVertexG</B > :: <A HREF="Digraph.html#t%3AGraph" >Graph</A > node -> node -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:reachableG" ><A NAME="v%3AreachableG" ></A ></A ><B >reachableG</B > :: <A HREF="Digraph.html#t%3AGraph" >Graph</A > node -> node -> [node]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:transposeG" ><A NAME="v%3AtransposeG" ></A ></A ><B >transposeG</B > :: <A HREF="Digraph.html#t%3AGraph" >Graph</A > node -> <A HREF="Digraph.html#t%3AGraph" >Graph</A > node</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:outdegreeG" ><A NAME="v%3AoutdegreeG" ></A ></A ><B >outdegreeG</B > :: <A HREF="Digraph.html#t%3AGraph" >Graph</A > node -> node -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="../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:indegreeG" ><A NAME="v%3AindegreeG" ></A ></A ><B >indegreeG</B > :: <A HREF="Digraph.html#t%3AGraph" >Graph</A > node -> node -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="../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:vertexGroupsG" ><A NAME="v%3AvertexGroupsG" ></A ></A ><B >vertexGroupsG</B > :: <A HREF="Digraph.html#t%3AGraph" >Graph</A > node -> [[node]]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:emptyG" ><A NAME="v%3AemptyG" ></A ></A ><B >emptyG</B > :: <A HREF="Digraph.html#t%3AGraph" >Graph</A > node -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:componentsG" ><A NAME="v%3AcomponentsG" ></A ></A ><B >componentsG</B > :: <A HREF="Digraph.html#t%3AGraph" >Graph</A > node -> [[node]]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:stronglyConnCompFromEdgedVertices" ><A NAME="v%3AstronglyConnCompFromEdgedVertices" ></A ></A ><B >stronglyConnCompFromEdgedVertices</B > :: <A HREF="../base-4.2.0.2/Data-Ord.html#t%3AOrd" >Ord</A > key => [(node, key, [key])] -> [<A HREF="Digraph.html#t%3ASCC" >SCC</A > node]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:stronglyConnCompFromEdgedVerticesR" ><A NAME="v%3AstronglyConnCompFromEdgedVerticesR" ></A ></A ><B >stronglyConnCompFromEdgedVerticesR</B > :: <A HREF="../base-4.2.0.2/Data-Ord.html#t%3AOrd" >Ord</A > key => [(node, key, [key])] -> [<A HREF="Digraph.html#t%3ASCC" >SCC</A > (node, key, [key])]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tabulate" ><A NAME="v%3Atabulate" ></A ></A ><B >tabulate</B > :: Bounds -> [Vertex] -> Table <A HREF="../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:preArr" ><A NAME="v%3ApreArr" ></A ></A ><B >preArr</B > :: Bounds -> Forest Vertex -> Table <A HREF="../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:components" ><A NAME="v%3Acomponents" ></A ></A ><B >components</B > :: IntGraph -> Forest Vertex</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:undirected" ><A NAME="v%3Aundirected" ></A ></A ><B >undirected</B > :: IntGraph -> IntGraph</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:back" ><A NAME="v%3Aback" ></A ></A ><B >back</B > :: IntGraph -> Table <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> IntGraph</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:cross" ><A NAME="v%3Across" ></A ></A ><B >cross</B > :: IntGraph -> Table <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> Table <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> IntGraph</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:forward" ><A NAME="v%3Aforward" ></A ></A ><B >forward</B > :: IntGraph -> IntGraph -> Table <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> IntGraph</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:path" ><A NAME="v%3Apath" ></A ></A ><B >path</B > :: IntGraph -> Vertex -> Vertex -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:bcc" ><A NAME="v%3Abcc" ></A ></A ><B >bcc</B > :: IntGraph -> Forest [Vertex]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:do_label" ><A NAME="v%3Ado_label" ></A ></A ><B >do_label</B > :: IntGraph -> Table <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> Tree Vertex -> Tree (Vertex, <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A >, <A HREF="../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:bicomps" ><A NAME="v%3Abicomps" ></A ></A ><B >bicomps</B > :: Tree (Vertex, <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A >, <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A >) -> Forest [Vertex]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:collect" ><A NAME="v%3Acollect" ></A ></A ><B >collect</B > :: Tree (Vertex, <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A >, <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A >) -> (<A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A >, Tree [Vertex])</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 >