<!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 ></HEAD ><BODY ><DIV CLASS="outer" ><DIV CLASS="mini-topbar" >Data.Graph.Inductive.NodeMap</DIV ><DIV CLASS="mini-synopsis" ><H1 >Functional Construction </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMap" TARGET="main" >NodeMap</A > a</DIV > <H2 >Map Construction </H2 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3Anew" TARGET="main" >new</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AfromGraph" TARGET="main" >fromGraph</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AmkNode" TARGET="main" >mkNode</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AmkNode_" TARGET="main" >mkNode_</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AmkNodes" TARGET="main" >mkNodes</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AmkNodes_" TARGET="main" >mkNodes_</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AmkEdge" TARGET="main" >mkEdge</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AmkEdges" TARGET="main" >mkEdges</A ></DIV > <H2 >Graph Construction </H2 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AinsMapNode" TARGET="main" >insMapNode</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AinsMapNode_" TARGET="main" >insMapNode_</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AinsMapEdge" TARGET="main" >insMapEdge</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AdelMapNode" TARGET="main" >delMapNode</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AdelMapEdge" TARGET="main" >delMapEdge</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AinsMapNodes" TARGET="main" >insMapNodes</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AinsMapNodes_" TARGET="main" >insMapNodes_</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AinsMapEdges" TARGET="main" >insMapEdges</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AdelMapNodes" TARGET="main" >delMapNodes</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AdelMapEdges" TARGET="main" >delMapEdges</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AmkMapGraph" TARGET="main" >mkMapGraph</A ></DIV > <H1 >Monadic Construction </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-NodeMap.html#t%3ANodeMapM" TARGET="main" >NodeMapM</A > a b g r</DIV > <H2 >Map Construction </H2 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3Arun" TARGET="main" >run</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3Arun_" TARGET="main" >run_</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AmkNodeM" TARGET="main" >mkNodeM</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AmkNodesM" TARGET="main" >mkNodesM</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AmkEdgeM" TARGET="main" >mkEdgeM</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AmkEdgesM" TARGET="main" >mkEdgesM</A ></DIV > <H2 >Graph Construction </H2 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AinsMapNodeM" TARGET="main" >insMapNodeM</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AinsMapEdgeM" TARGET="main" >insMapEdgeM</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AdelMapNodeM" TARGET="main" >delMapNodeM</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AdelMapEdgeM" TARGET="main" >delMapEdgeM</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AinsMapNodesM" TARGET="main" >insMapNodesM</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AinsMapEdgesM" TARGET="main" >insMapEdgesM</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AdelMapNodesM" TARGET="main" >delMapNodesM</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-NodeMap.html#v%3AdelMapEdgesM" TARGET="main" >delMapEdgesM</A ></DIV ></DIV ></DIV ></BODY ></HTML >