<!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.Graph</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.Graph</DIV ><DIV CLASS="mini-synopsis" ><H1 >General Type Defintions </H1 > <H2 >Node and Edge Types </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3ANode" TARGET="main" >Node</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3ALNode" TARGET="main" >LNode</A > a</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3AUNode" TARGET="main" >UNode</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3AEdge" TARGET="main" >Edge</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3ALEdge" TARGET="main" >LEdge</A > b</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3AUEdge" TARGET="main" >UEdge</A > </DIV > <H2 >Types Supporting Inductive Graph View </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3AAdj" TARGET="main" >Adj</A > b</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3AContext" TARGET="main" >Context</A > a b</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3AMContext" TARGET="main" >MContext</A > a b</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3ADecomp" TARGET="main" >Decomp</A > g a b</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3AGDecomp" TARGET="main" >GDecomp</A > g a b</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3AUContext" TARGET="main" >UContext</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3AUDecomp" TARGET="main" >UDecomp</A > g</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3APath" TARGET="main" >Path</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3ALPath" TARGET="main" >LPath</A > a</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3AUPath" TARGET="main" >UPath</A > </DIV > <H1 >Graph Type Classes </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3AGraph" TARGET="main" >Graph</A > gr</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-Graph-Inductive-Graph.html#t%3ADynGraph" TARGET="main" >DynGraph</A > gr</DIV > <H1 >Operations </H1 > <H2 >Graph Folds and Maps </H2 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Aufold" TARGET="main" >ufold</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Agmap" TARGET="main" >gmap</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Anmap" TARGET="main" >nmap</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Aemap" TARGET="main" >emap</A ></DIV > <H2 >Graph Projection </H2 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Anodes" TARGET="main" >nodes</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Aedges" TARGET="main" >edges</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AnewNodes" TARGET="main" >newNodes</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Agelem" TARGET="main" >gelem</A ></DIV > <H2 >Graph Construction and Destruction </H2 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AinsNode" TARGET="main" >insNode</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AinsEdge" TARGET="main" >insEdge</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AdelNode" TARGET="main" >delNode</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AdelEdge" TARGET="main" >delEdge</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AdelLEdge" TARGET="main" >delLEdge</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AinsNodes" TARGET="main" >insNodes</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AinsEdges" TARGET="main" >insEdges</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AdelNodes" TARGET="main" >delNodes</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AdelEdges" TARGET="main" >delEdges</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AbuildGr" TARGET="main" >buildGr</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AmkUGraph" TARGET="main" >mkUGraph</A ></DIV > <H2 >Graph Inspection </H2 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Acontext" TARGET="main" >context</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Alab" TARGET="main" >lab</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Aneighbors" TARGET="main" >neighbors</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Asuc" TARGET="main" >suc</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Apre" TARGET="main" >pre</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Alsuc" TARGET="main" >lsuc</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Alpre" TARGET="main" >lpre</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Aout" TARGET="main" >out</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Ainn" TARGET="main" >inn</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Aoutdeg" TARGET="main" >outdeg</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Aindeg" TARGET="main" >indeg</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Adeg" TARGET="main" >deg</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Aequal" TARGET="main" >equal</A ></DIV > <H2 >Context Inspection </H2 > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Anode%27" TARGET="main" >node'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Alab%27" TARGET="main" >lab'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3AlabNode%27" TARGET="main" >labNode'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Aneighbors%27" TARGET="main" >neighbors'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Asuc%27" TARGET="main" >suc'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Apre%27" TARGET="main" >pre'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Alpre%27" TARGET="main" >lpre'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Alsuc%27" TARGET="main" >lsuc'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Aout%27" TARGET="main" >out'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Ainn%27" TARGET="main" >inn'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Aoutdeg%27" TARGET="main" >outdeg'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Aindeg%27" TARGET="main" >indeg'</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Graph-Inductive-Graph.html#v%3Adeg%27" TARGET="main" >deg'</A ></DIV ></DIV ></DIV ></BODY ></HTML >