Sophie

Sophie

distrib > Fedora > 14 > x86_64 > by-pkgid > de32ea27bd707d1312968a7e865c03b7 > files > 81

ghc-fgl-devel-5.4.2.3-1.fc14.i686.rpm

<!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.NodeMap</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-NodeMap.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.NodeMap</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"
>Functional Construction
</A
></DT
><DD
><DL
><DT
><A HREF="#2"
>Map Construction
</A
></DT
><DT
><A HREF="#3"
>Graph Construction
</A
></DT
></DL
></DD
><DT
><A HREF="#4"
>Monadic Construction
</A
></DT
><DD
><DL
><DT
><A HREF="#5"
>Map Construction
</A
></DT
><DT
><A HREF="#6"
>Graph Construction
</A
></DT
></DL
></DD
></DL
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Description</TD
></TR
><TR
><TD CLASS="doc"
>Utility methods to automatically generate and keep track of a mapping
 between node labels and <TT
><A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
></TT
>s.
</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"
>data</SPAN
> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="#t%3ANodeMap"
>NodeMap</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Anew"
>new</A
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AfromGraph"
>fromGraph</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> g) =&gt; g a b -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkNode"
>mkNode</A
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; a -&gt; (<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a, <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkNode_"
>mkNode_</A
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; a -&gt; <A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkNodes"
>mkNodes</A
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [a] -&gt; ([<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a], <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkNodes_"
>mkNodes_</A
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [a] -&gt; [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkEdge"
>mkEdge</A
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; (a, a, b) -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
> b)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkEdges"
>mkEdges</A
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [(a, a, b)] -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
> b]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AinsMapNode"
>insMapNode</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; a -&gt; g a b -&gt; (g a b, <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AinsMapNode_"
>insMapNode_</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; a -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AinsMapEdge"
>insMapEdge</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; (a, a, b) -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdelMapNode"
>delMapNode</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; a -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdelMapEdge"
>delMapEdge</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; (a, a) -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AinsMapNodes"
>insMapNodes</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [a] -&gt; g a b -&gt; (g a b, <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a, [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a])</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AinsMapNodes_"
>insMapNodes_</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [a] -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AinsMapEdges"
>insMapEdges</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [(a, a, b)] -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdelMapNodes"
>delMapNodes</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [a] -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdelMapEdges"
>delMapEdges</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [(a, a)] -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkMapGraph"
>mkMapGraph</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [a] -&gt; [(a, a, b)] -&gt; (g a b, <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ANodeMapM"
>NodeMapM</A
> a b g r = <A HREF="/usr/share/doc/ghc/html/libraries/mtl-1.1.0.2/Control-Monad-State-Lazy.html#t%3AState"
>State</A
> (<A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a, g a b) r</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Arun"
>run</A
> :: (<A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g, <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a) =&gt; g a b -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g r -&gt; (r, (<A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a, g a b))</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Arun_"
>run_</A
> :: (<A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g, <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a) =&gt; g a b -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g r -&gt; g a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkNodeM"
>mkNodeM</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; a -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g (<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkNodesM"
>mkNodesM</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [a] -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkEdgeM"
>mkEdgeM</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; (a, a, b) -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
> b))</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkEdgesM"
>mkEdgesM</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [(a, a, b)] -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
> b])</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AinsMapNodeM"
>insMapNodeM</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; a -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g (<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AinsMapEdgeM"
>insMapEdgeM</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; (a, a, b) -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdelMapNodeM"
>delMapNodeM</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; a -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdelMapEdgeM"
>delMapEdgeM</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; (a, a) -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AinsMapNodesM"
>insMapNodesM</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [a] -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AinsMapEdgesM"
>insMapEdgesM</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [(a, a, b)] -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdelMapNodesM"
>delMapNodesM</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [a] -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdelMapEdgesM"
>delMapEdgesM</A
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [(a, a)] -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="1"
><A NAME="1"
>Functional Construction
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A NAME="t:NodeMap"
><A NAME="t%3ANodeMap"
></A
></A
><B
>NodeMap</B
> a </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:NodeMap')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:NodeMap" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
>(<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> a) =&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> (<A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section2"
><A NAME="2"
><A NAME="2"
>Map Construction
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:new"
><A NAME="v%3Anew"
></A
></A
><B
>new</B
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a</TD
></TR
><TR
><TD CLASS="doc"
>Create a new, empty mapping.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:fromGraph"
><A NAME="v%3AfromGraph"
></A
></A
><B
>fromGraph</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
> g) =&gt; g a b -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a</TD
></TR
><TR
><TD CLASS="doc"
>Generate a mapping containing the nodes in the given graph.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkNode"
><A NAME="v%3AmkNode"
></A
></A
><B
>mkNode</B
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; a -&gt; (<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a, <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a)</TD
></TR
><TR
><TD CLASS="doc"
>Generate a labelled node from the given label.  Will return the same node
 for the same label.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkNode_"
><A NAME="v%3AmkNode_"
></A
></A
><B
>mkNode_</B
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; a -&gt; <A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a</TD
></TR
><TR
><TD CLASS="doc"
>Generate a labelled node and throw away the modified <TT
><A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
></TT
>.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkNodes"
><A NAME="v%3AmkNodes"
></A
></A
><B
>mkNodes</B
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [a] -&gt; ([<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a], <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a)</TD
></TR
><TR
><TD CLASS="doc"
>Construct a list of nodes.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkNodes_"
><A NAME="v%3AmkNodes_"
></A
></A
><B
>mkNodes_</B
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [a] -&gt; [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a]</TD
></TR
><TR
><TD CLASS="doc"
>Construct a list of nodes and throw away the modified <TT
><A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
></TT
>.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkEdge"
><A NAME="v%3AmkEdge"
></A
></A
><B
>mkEdge</B
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; (a, a, b) -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
> b)</TD
></TR
><TR
><TD CLASS="doc"
>Generate a <TT
><A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
></TT
> from the node labels.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkEdges"
><A NAME="v%3AmkEdges"
></A
></A
><B
>mkEdges</B
> :: <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [(a, a, b)] -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
> b]</TD
></TR
><TR
><TD CLASS="doc"
>Generates a list of <TT
><A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
></TT
>s.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section2"
><A NAME="3"
><A NAME="3"
>Graph Construction
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="doc"
>These functions mirror the construction and destruction functions in
 Data.Graph.Inductive.Graph, but use the given <TT
><A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
></TT
> to look up
 the appropriate <TT
><A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
></TT
>s.  Note that the <TT
><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AinsMapNode"
>insMapNode</A
></TT
> family of functions
 will create new nodes as needed, but the other functions will not.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:insMapNode"
><A NAME="v%3AinsMapNode"
></A
></A
><B
>insMapNode</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; a -&gt; g a b -&gt; (g a b, <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:insMapNode_"
><A NAME="v%3AinsMapNode_"
></A
></A
><B
>insMapNode_</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; a -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:insMapEdge"
><A NAME="v%3AinsMapEdge"
></A
></A
><B
>insMapEdge</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; (a, a, b) -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:delMapNode"
><A NAME="v%3AdelMapNode"
></A
></A
><B
>delMapNode</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; a -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:delMapEdge"
><A NAME="v%3AdelMapEdge"
></A
></A
><B
>delMapEdge</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; (a, a) -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:insMapNodes"
><A NAME="v%3AinsMapNodes"
></A
></A
><B
>insMapNodes</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [a] -&gt; g a b -&gt; (g a b, <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a, [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a])</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:insMapNodes_"
><A NAME="v%3AinsMapNodes_"
></A
></A
><B
>insMapNodes_</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [a] -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:insMapEdges"
><A NAME="v%3AinsMapEdges"
></A
></A
><B
>insMapEdges</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [(a, a, b)] -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:delMapNodes"
><A NAME="v%3AdelMapNodes"
></A
></A
><B
>delMapNodes</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [a] -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:delMapEdges"
><A NAME="v%3AdelMapEdges"
></A
></A
><B
>delMapEdges</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a -&gt; [(a, a)] -&gt; g a b -&gt; g a b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkMapGraph"
><A NAME="v%3AmkMapGraph"
></A
></A
><B
>mkMapGraph</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [a] -&gt; [(a, a, b)] -&gt; (g a b, <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="4"
><A NAME="4"
>Monadic Construction
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:NodeMapM"
><A NAME="t%3ANodeMapM"
></A
></A
><B
>NodeMapM</B
> a b g r = <A HREF="/usr/share/doc/ghc/html/libraries/mtl-1.1.0.2/Control-Monad-State-Lazy.html#t%3AState"
>State</A
> (<A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a, g a b) r</TD
></TR
><TR
><TD CLASS="doc"
>Graph construction monad; handles passing both the <TT
><A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
></TT
> and the
 <TT
><A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
></TT
>.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="doc"
>The following mirror the functional construction functions, but handle passing
 <TT
><A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
></TT
>s and <TT
><A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
></TT
>s behind the scenes.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section2"
><A NAME="5"
><A NAME="5"
>Map Construction
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:run"
><A NAME="v%3Arun"
></A
></A
><B
>run</B
> :: (<A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g, <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a) =&gt; g a b -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g r -&gt; (r, (<A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
> a, g a b))</TD
></TR
><TR
><TD CLASS="doc"
>Run a construction; return the value of the computation, the modified
 <TT
><A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap"
>NodeMap</A
></TT
>, and the modified <TT
><A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
></TT
>.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:run_"
><A NAME="v%3Arun_"
></A
></A
><B
>run_</B
> :: (<A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g, <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a) =&gt; g a b -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g r -&gt; g a b</TD
></TR
><TR
><TD CLASS="doc"
>Run a construction and only return the <TT
><A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph"
>Graph</A
></TT
>.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkNodeM"
><A NAME="v%3AmkNodeM"
></A
></A
><B
>mkNodeM</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; a -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g (<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a)</TD
></TR
><TR
><TD CLASS="doc"
>Monadic node construction.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkNodesM"
><A NAME="v%3AmkNodesM"
></A
></A
><B
>mkNodesM</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [a] -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkEdgeM"
><A NAME="v%3AmkEdgeM"
></A
></A
><B
>mkEdgeM</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; (a, a, b) -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
> b))</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkEdgesM"
><A NAME="v%3AmkEdgesM"
></A
></A
><B
>mkEdgesM</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [(a, a, b)] -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
> b])</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section2"
><A NAME="6"
><A NAME="6"
>Graph Construction
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:insMapNodeM"
><A NAME="v%3AinsMapNodeM"
></A
></A
><B
>insMapNodeM</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; a -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g (<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:insMapEdgeM"
><A NAME="v%3AinsMapEdgeM"
></A
></A
><B
>insMapEdgeM</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; (a, a, b) -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:delMapNodeM"
><A NAME="v%3AdelMapNodeM"
></A
></A
><B
>delMapNodeM</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; a -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:delMapEdgeM"
><A NAME="v%3AdelMapEdgeM"
></A
></A
><B
>delMapEdgeM</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; (a, a) -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:insMapNodesM"
><A NAME="v%3AinsMapNodesM"
></A
></A
><B
>insMapNodesM</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [a] -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:insMapEdgesM"
><A NAME="v%3AinsMapEdgesM"
></A
></A
><B
>insMapEdgesM</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [(a, a, b)] -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:delMapNodesM"
><A NAME="v%3AdelMapNodesM"
></A
></A
><B
>delMapNodesM</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [a] -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:delMapEdgesM"
><A NAME="v%3AdelMapEdgesM"
></A
></A
><B
>delMapEdgesM</B
> :: (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> a, <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph"
>DynGraph</A
> g) =&gt; [(a, a)] -&gt; <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM"
>NodeMapM</A
> a b g <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</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
>

Perl :: Catalyst :: PostgreSQL :: RPM Valid HTML 4.01 Transitional