<!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.Monad</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-Monad.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.Monad</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"
>Classes
</A
></DT
><DT
><A HREF="#2"
>Operations
</A
></DT
><DD
><DL
><DT
><A HREF="#3"
>Graph Folds and Maps
</A
></DT
><DT
><A HREF="#4"
>Graph Projection
</A
></DT
><DT
><A HREF="#5"
>Graph Construction and Destruction
</A
></DT
><DT
><A HREF="#6"
>Graph Inspection
</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"
>Monadic Graphs
</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"
>class</SPAN
> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Control-Monad.html#t%3AMonad"
>Monad</A
> m => <A HREF="#t%3AGraphM"
>GraphM</A
> m gr <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="#v%3AemptyM"
>emptyM</A
> :: m (gr a b)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisEmptyM"
>isEmptyM</A
> :: m (gr a b) -> m <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="decl"
><A HREF="#v%3AmatchM"
>matchM</A
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
> -> m (gr a b) -> m (<A HREF="Data-Graph-Inductive-Graph.html#t%3ADecomp"
>Decomp</A
> gr a b)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkGraphM"
>mkGraphM</A
> :: [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a] -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
> b] -> m (gr a b)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AlabNodesM"
>labNodesM</A
> :: m (gr a b) -> m [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a]</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmatchAnyM"
>matchAnyM</A
> :: m (gr a b) -> m (<A HREF="Data-Graph-Inductive-Graph.html#t%3AGDecomp"
>GDecomp</A
> gr a b)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AnoNodesM"
>noNodesM</A
> :: m (gr a b) -> m <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="decl"
><A HREF="#v%3AnodeRangeM"
>nodeRangeM</A
> :: m (gr a b) -> m (<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>, <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AlabEdgesM"
>labEdgesM</A
> :: m (gr a b) -> m [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
> b]</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AufoldM"
>ufoldM</A
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => (<A HREF="Data-Graph-Inductive-Graph.html#t%3AContext"
>Context</A
> a b -> c -> c) -> c -> m (gr a b) -> m c</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AnodesM"
>nodesM</A
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => m (gr a b) -> m [<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%3AedgesM"
>edgesM</A
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => m (gr a b) -> m [<A HREF="Data-Graph-Inductive-Graph.html#t%3AEdge"
>Edge</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AnewNodesM"
>newNodesM</A
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Int.html#t%3AInt"
>Int</A
> -> m (gr a b) -> m [<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%3AdelNodeM"
>delNodeM</A
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
> -> m (gr a b) -> m (gr a b)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdelNodesM"
>delNodesM</A
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> m (gr a b) -> m (gr a b)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkUGraphM"
>mkUGraphM</A
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3AEdge"
>Edge</A
>] -> m (gr <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
> <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%3AcontextM"
>contextM</A
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => m (gr a b) -> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
> -> m (<A HREF="Data-Graph-Inductive-Graph.html#t%3AContext"
>Context</A
> a b)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AlabM"
>labM</A
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => m (gr a b) -> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
> -> m (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> 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"
>Classes
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>class</SPAN
> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Control-Monad.html#t%3AMonad"
>Monad</A
> m => <A NAME="t:GraphM"
><A NAME="t%3AGraphM"
></A
></A
><B
>GraphM</B
> m gr <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
>Methods</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A NAME="v:emptyM"
><A NAME="v%3AemptyM"
></A
></A
><B
>emptyM</B
> :: m (gr a b)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isEmptyM"
><A NAME="v%3AisEmptyM"
></A
></A
><B
>isEmptyM</B
> :: m (gr a b) -> m <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="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:matchM"
><A NAME="v%3AmatchM"
></A
></A
><B
>matchM</B
> :: <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
> -> m (gr a b) -> m (<A HREF="Data-Graph-Inductive-Graph.html#t%3ADecomp"
>Decomp</A
> gr a b)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkGraphM"
><A NAME="v%3AmkGraphM"
></A
></A
><B
>mkGraphM</B
> :: [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode"
>LNode</A
> a] -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
> b] -> m (gr a b)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:labNodesM"
><A NAME="v%3AlabNodesM"
></A
></A
><B
>labNodesM</B
> :: m (gr a b) -> m [<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 NAME="v:matchAnyM"
><A NAME="v%3AmatchAnyM"
></A
></A
><B
>matchAnyM</B
> :: m (gr a b) -> m (<A HREF="Data-Graph-Inductive-Graph.html#t%3AGDecomp"
>GDecomp</A
> gr a b)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:noNodesM"
><A NAME="v%3AnoNodesM"
></A
></A
><B
>noNodesM</B
> :: m (gr a b) -> m <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 NAME="v:nodeRangeM"
><A NAME="v%3AnodeRangeM"
></A
></A
><B
>nodeRangeM</B
> :: m (gr a b) -> m (<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</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 NAME="v:labEdgesM"
><A NAME="v%3AlabEdgesM"
></A
></A
><B
>labEdgesM</B
> :: m (gr a b) -> m [<A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge"
>LEdge</A
> b]</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:GraphM')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:GraphM" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/System-IO.html#t%3AIO"
>IO</A
> <A HREF="Data-Graph-Inductive-Monad-IOArray.html#t%3ASGr"
>SGr</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="2"
><A NAME="2"
>Operations
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section2"
><A NAME="3"
><A NAME="3"
>Graph Folds and Maps
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:ufoldM"
><A NAME="v%3AufoldM"
></A
></A
><B
>ufoldM</B
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => (<A HREF="Data-Graph-Inductive-Graph.html#t%3AContext"
>Context</A
> a b -> c -> c) -> c -> m (gr a b) -> m c</TD
></TR
><TR
><TD CLASS="doc"
>graph fold
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section2"
><A NAME="4"
><A NAME="4"
>Graph Projection
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:nodesM"
><A NAME="v%3AnodesM"
></A
></A
><B
>nodesM</B
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => m (gr a b) -> m [<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:edgesM"
><A NAME="v%3AedgesM"
></A
></A
><B
>edgesM</B
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => m (gr a b) -> m [<A HREF="Data-Graph-Inductive-Graph.html#t%3AEdge"
>Edge</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:newNodesM"
><A NAME="v%3AnewNodesM"
></A
></A
><B
>newNodesM</B
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Int.html#t%3AInt"
>Int</A
> -> m (gr a b) -> m [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section2"
><A NAME="5"
><A NAME="5"
>Graph Construction and Destruction
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:delNodeM"
><A NAME="v%3AdelNodeM"
></A
></A
><B
>delNodeM</B
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
> -> m (gr a b) -> m (gr a b)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:delNodesM"
><A NAME="v%3AdelNodesM"
></A
></A
><B
>delNodesM</B
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> m (gr a b) -> m (gr a b)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkUGraphM"
><A NAME="v%3AmkUGraphM"
></A
></A
><B
>mkUGraphM</B
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => [<A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
>] -> [<A HREF="Data-Graph-Inductive-Graph.html#t%3AEdge"
>Edge</A
>] -> m (gr <A HREF="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29"
>()</A
> <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="section2"
><A NAME="6"
><A NAME="6"
>Graph Inspection
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:contextM"
><A NAME="v%3AcontextM"
></A
></A
><B
>contextM</B
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => m (gr a b) -> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
> -> m (<A HREF="Data-Graph-Inductive-Graph.html#t%3AContext"
>Context</A
> a b)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:labM"
><A NAME="v%3AlabM"
></A
></A
><B
>labM</B
> :: <A HREF="Data-Graph-Inductive-Monad.html#t%3AGraphM"
>GraphM</A
> m gr => m (gr a b) -> <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode"
>Node</A
> -> m (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> 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
>
