/usr/share/doc/libghc-fgl-doc/html/mini_Data-Graph-Inductive-Graph.html is in libghc-fgl-doc 5.4.2.4-5.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 | <!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 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><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><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: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: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>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: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: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: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></div></body></html>
|