/usr/share/doc/libghc-fgl-doc/html/mini_Data-Graph-Inductive-Graph.html

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Data.Graph.Inductive.Graph</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Data.Graph.Inductive.Graph</p></div><div id="interface"><h1>General Type Defintions</h1><h2>Node and Edge Types</h2><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:Node" target="main">Node</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:LNode" target="main">LNode</a> a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:UNode" target="main">UNode</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:Edge" target="main">Edge</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:LEdge" target="main">LEdge</a> b</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:UEdge" target="main">UEdge</a></p></div><h2>Types Supporting Inductive Graph View</h2><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:Adj" target="main">Adj</a> b</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:Context" target="main">Context</a> a b</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:MContext" target="main">MContext</a> a b</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:Decomp" target="main">Decomp</a> g a b</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:GDecomp" target="main">GDecomp</a> g a b</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:UContext" target="main">UContext</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:UDecomp" target="main">UDecomp</a> g</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:Path" target="main">Path</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Graph-Inductive-Graph.html#t:LPath" target="main">LPath</a> a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Data-Graph-Inductive-Graph.html#t:UPath" target="main">UPath</a></p></div><h1>Graph Type Classes</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="Data-Graph-Inductive-Graph.html#t:Graph" target="main">Graph</a> gr</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Data-Graph-Inductive-Graph.html#t:DynGraph" target="main">DynGraph</a> gr</p></div><h1>Operations</h1><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:order" target="main">order</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:size" target="main">size</a></p></div><h2>Graph Folds and Maps</h2><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:ufold" target="main">ufold</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:gmap" target="main">gmap</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:nmap" target="main">nmap</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:emap" target="main">emap</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:nemap" target="main">nemap</a></p></div><h2>Graph Projection</h2><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:nodes" target="main">nodes</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:edges" target="main">edges</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:toEdge" target="main">toEdge</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:edgeLabel" target="main">edgeLabel</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:toLEdge" target="main">toLEdge</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:newNodes" target="main">newNodes</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:gelem" target="main">gelem</a></p></div><h2>Graph Construction and Destruction</h2><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:insNode" target="main">insNode</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:insEdge" target="main">insEdge</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:delNode" target="main">delNode</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:delEdge" target="main">delEdge</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:delLEdge" target="main">delLEdge</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:delAllLEdge" target="main">delAllLEdge</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:insNodes" target="main">insNodes</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:insEdges" target="main">insEdges</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:delNodes" target="main">delNodes</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:delEdges" target="main">delEdges</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:buildGr" target="main">buildGr</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:mkUGraph" target="main">mkUGraph</a></p></div><h2>Subgraphs</h2><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:gfiltermap" target="main">gfiltermap</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:nfilter" target="main">nfilter</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:labnfilter" target="main">labnfilter</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:labfilter" target="main">labfilter</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:subgraph" target="main">subgraph</a></p></div><h2>Graph Inspection</h2><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:context" target="main">context</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:lab" target="main">lab</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:neighbors" target="main">neighbors</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:lneighbors" target="main">lneighbors</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:suc" target="main">suc</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:pre" target="main">pre</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:lsuc" target="main">lsuc</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:lpre" target="main">lpre</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:out" target="main">out</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:inn" target="main">inn</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:outdeg" target="main">outdeg</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:indeg" target="main">indeg</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:deg" target="main">deg</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:hasEdge" target="main">hasEdge</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:hasNeighbor" target="main">hasNeighbor</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:hasLEdge" target="main">hasLEdge</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:hasNeighborAdj" target="main">hasNeighborAdj</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:equal" target="main">equal</a></p></div><h2>Context Inspection</h2><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:node-39-" target="main">node'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:lab-39-" target="main">lab'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:labNode-39-" target="main">labNode'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:neighbors-39-" target="main">neighbors'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:lneighbors-39-" target="main">lneighbors'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:suc-39-" target="main">suc'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:pre-39-" target="main">pre'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:lpre-39-" target="main">lpre'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:lsuc-39-" target="main">lsuc'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:out-39-" target="main">out'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:inn-39-" target="main">inn'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:outdeg-39-" target="main">outdeg'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:indeg-39-" target="main">indeg'</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:deg-39-" target="main">deg'</a></p></div><h1>Pretty-printing</h1><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:prettify" target="main">prettify</a></p></div><div class="top"><p class="src"><a href="Data-Graph-Inductive-Graph.html#v:prettyPrint" target="main">prettyPrint</a></p></div><h1>Ordering of Graphs</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Graph-Inductive-Graph.html#t:OrdGr" target="main">OrdGr</a> gr a b</p></div></div></body></html>
libghc-fgl-doc 5.5.4.0-1 / usr / share / doc / libghc-fgl-doc / html / mini_Data-Graph-Inductive-Graph.html
