verigraph-docs/TypedGraph-Graph.html at gh-pages · Verites/verigraph-docs · GitHub

1
2
3
4
<!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>TypedGraph.Graph</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_TypedGraph-Graph.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/TypedGraph.Graph.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">verigraph-1.1.1: Software specification and verification tool based on graph rewriting.</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">TypedGraph.Graph</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#section.orphans">Orphan instances</a></li></ul></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">type</span> <a href="#t:TypedGraph">TypedGraph</a> a b = <a href="Graph-GraphMorphism.html#t:GraphMorphism">GraphMorphism</a> (<a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) (<a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b)</li><li class="src short"><a href="#v:untypedGraph">untypedGraph</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; <a href="Graph-Graph.html#t:Graph">Graph</a> (<a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) (<a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b)</li><li class="src short"><a href="#v:extractNodeType">extractNodeType</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; <a href="Graph-Graph.html#t:NodeId">NodeId</a> -&gt; <a href="Graph-Graph.html#t:NodeId">NodeId</a></li><li class="src short"><a href="#v:extractEdgeType">extractEdgeType</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; <a href="Graph-Graph.html#t:EdgeId">EdgeId</a> -&gt; <a href="Graph-Graph.html#t:EdgeId">EdgeId</a></li><li class="src short"><a href="#v:typeGraph">typeGraph</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; <a href="Graph-Graph.html#t:Graph">Graph</a> (<a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) (<a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b)</li><li class="src short"><a href="#v:null">null</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:newTypedNodes">newTypedNodes</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; [<a href="Graph-Graph.html#t:NodeId">NodeId</a>]</li><li class="src short"><a href="#v:newTypedEdges">newTypedEdges</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; [<a href="Graph-Graph.html#t:EdgeId">EdgeId</a>]</li><li class="src short"><a href="#v:typedNodes">typedNodes</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; [(<a href="Graph-Graph.html#t:NodeId">NodeId</a>, <a href="Graph-Graph.html#t:NodeId">NodeId</a>)]</li><li class="src short"><a href="#v:typedEdges">typedEdges</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; [(<a href="Graph-Graph.html#t:EdgeId">EdgeId</a>, <a href="Graph-Graph.html#t:NodeId">NodeId</a>, <a href="Graph-Graph.html#t:NodeId">NodeId</a>, <a href="Graph-Graph.html#t:EdgeId">EdgeId</a>)]</li><li class="src short"><a href="#v:untypedNodes">untypedNodes</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; [<a href="Graph-Graph.html#t:NodeId">NodeId</a>]</li><li class="src short"><a href="#v:untypedEdges">untypedEdges</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; [<a href="Graph-Graph.html#t:EdgeId">EdgeId</a>]</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:TypedGraph" class="def">TypedGraph</a> a b = <a href="Graph-GraphMorphism.html#t:GraphMorphism">GraphMorphism</a> (<a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) (<a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b) <a href="src/TypedGraph.Graph.html#TypedGraph" class="link">Source</a> <a href="#t:TypedGraph" class="selflink">#</a></p><div class="doc"><p>A typed graph is a morphism whose codomain is the type graph.</p></div></div><div class="top"><p class="src"><a id="v:untypedGraph" class="def">untypedGraph</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; <a href="Graph-Graph.html#t:Graph">Graph</a> (<a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) (<a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b) <a href="src/TypedGraph.Graph.html#untypedGraph" class="link">Source</a> <a href="#v:untypedGraph" class="selflink">#</a></p><div class="doc"><p>Obtain the untyped version of the typed graph</p></div></div><div class="top"><p class="src"><a id="v:extractNodeType" class="def">extractNodeType</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; <a href="Graph-Graph.html#t:NodeId">NodeId</a> -&gt; <a href="Graph-Graph.html#t:NodeId">NodeId</a> <a href="src/TypedGraph.Graph.html#extractNodeType" class="link">Source</a> <a href="#v:extractNodeType" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:extractEdgeType" class="def">extractEdgeType</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; <a href="Graph-Graph.html#t:EdgeId">EdgeId</a> -&gt; <a href="Graph-Graph.html#t:EdgeId">EdgeId</a> <a href="src/TypedGraph.Graph.html#extractEdgeType" class="link">Source</a> <a href="#v:extractEdgeType" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:typeGraph" class="def">typeGraph</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; <a href="Graph-Graph.html#t:Graph">Graph</a> (<a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a) (<a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> b) <a href="src/TypedGraph.Graph.html#typeGraph" class="link">Source</a> <a href="#v:typeGraph" class="selflink">#</a></p><div class="doc"><p>Obtain the type graph from a typed graph</p></div></div><div class="top"><p class="src"><a id="v:null" class="def">null</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/TypedGraph.Graph.html#null" class="link">Source</a> <a href="#v:null" class="selflink">#</a></p><div class="doc"><p>Test if the typed graph is empty</p></div></div><div class="top"><p class="src"><a id="v:newTypedNodes" class="def">newTypedNodes</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; [<a href="Graph-Graph.html#t:NodeId">NodeId</a>] <a href="src/TypedGraph.Graph.html#newTypedNodes" class="link">Source</a> <a href="#v:newTypedNodes" class="selflink">#</a></p><div class="doc"><p>Infinite list of new node instances of a typed graph</p></div></div><div class="top"><p class="src"><a id="v:newTypedEdges" class="def">newTypedEdges</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; [<a href="Graph-Graph.html#t:EdgeId">EdgeId</a>] <a href="src/TypedGraph.Graph.html#newTypedEdges" class="link">Source</a> <a href="#v:newTypedEdges" class="selflink">#</a></p><div class="doc"><p>Infinite list of new edge instances of a typed graph</p></div></div><div class="top"><p class="src"><a id="v:typedNodes" class="def">typedNodes</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; [(<a href="Graph-Graph.html#t:NodeId">NodeId</a>, <a href="Graph-Graph.html#t:NodeId">NodeId</a>)] <a href="src/TypedGraph.Graph.html#typedNodes" class="link">Source</a> <a href="#v:typedNodes" class="selflink">#</a></p><div class="doc"><p>Obtain a list of tuples <code>(nodeId, typeId)</code> for nodes in the graph.</p></div></div><div class="top"><p class="src"><a id="v:typedEdges" class="def">typedEdges</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; [(<a href="Graph-Graph.html#t:EdgeId">EdgeId</a>, <a href="Graph-Graph.html#t:NodeId">NodeId</a>, <a href="Graph-Graph.html#t:NodeId">NodeId</a>, <a href="Graph-Graph.html#t:EdgeId">EdgeId</a>)] <a href="src/TypedGraph.Graph.html#typedEdges" class="link">Source</a> <a href="#v:typedEdges" class="selflink">#</a></p><div class="doc"><p>Obtain a list of tuples <code>(edgeId, srcId, tgtId, typeId)</code> for edges in the graph.</p></div></div><div class="top"><p class="src"><a id="v:untypedNodes" class="def">untypedNodes</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; [<a href="Graph-Graph.html#t:NodeId">NodeId</a>] <a href="src/TypedGraph.Graph.html#untypedNodes" class="link">Source</a> <a href="#v:untypedNodes" class="selflink">#</a></p><div class="doc"><p>Obtain the list of untyped nodes, i.e., the list of node ids from the typed graph domain</p></div></div><div class="top"><p class="src"><a id="v:untypedEdges" class="def">untypedEdges</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -&gt; [<a href="Graph-Graph.html#t:EdgeId">EdgeId</a>] <a href="src/TypedGraph.Graph.html#untypedEdges" class="link">Source</a> <a href="#v:untypedEdges" class="selflink">#</a></p><div class="doc"><p>Obtain the list of untyped edges, i.e., the list of edge ids from the typed graph domain</p></div></div><h1>Orphan instances</h1><div id="section.orphans" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:o:ic:Cardinality:Cardinality:1" class="instance expander" onclick="toggleSection('i:o:ic:Cardinality:Cardinality:1')"></span> <a href="Abstract-Cardinality.html#t:Cardinality">Cardinality</a> (<a href="Graph-GraphMorphism.html#t:GraphMorphism">GraphMorphism</a> a b)</span> <a href="src/TypedGraph.Graph.html#line-26" class="link">Source</a> <a href="#v:-36-fCardinalityGraphMorphism" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div id="section.i:o:ic:Cardinality:Cardinality:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:cardinality">cardinality</a> :: <a href="Graph-GraphMorphism.html#t:GraphMorphism">GraphMorphism</a> a b -&gt; <a href="../base-4.9.1.0/Data-Int.html#t:Int">Int</a> <a href="src/Abstract.Cardinality.html#cardinality" class="link">Source</a> <a href="#v:cardinality" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>