-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathImage-Dot.html
4 lines (4 loc) · 13.5 KB
/
Image-Dot.html
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>Image.Dot</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_Image-Dot.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Image.Dot.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>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Image.Dot</p></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">data</span> <a href="#t:NamingContext">NamingContext</a> = <a href="#v:Ctx">Ctx</a> {<ul class="subs"><li><a href="#v:getNodeTypeName">getNodeTypeName</a> :: <a href="Graph-Graph.html#t:NodeId">NodeId</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a></li><li><a href="#v:getEdgeTypeName">getEdgeTypeName</a> :: <a href="Graph-Graph.html#t:EdgeId">EdgeId</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a></li></ul>}</li><li class="src short"><a href="#v:makeNamingContext">makeNamingContext</a> :: [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="../base-4.9.1.0/Data-String.html#t:String">String</a>)] -> <a href="Image-Dot.html#t:NamingContext">NamingContext</a></li><li class="src short"><a href="#v:printDotGraph">printDotGraph</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> [<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>] -> [Doc] -> [Doc] -> [Doc] -> Doc</li><li class="src short"><a href="#v:printDigraph">printDigraph</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> [<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>] -> [Doc] -> [Doc] -> [Doc] -> Doc</li><li class="src short"><a href="#v:printSubgraph">printSubgraph</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> [<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>] -> [Doc] -> [Doc] -> [Doc] -> Doc</li><li class="src short"><a href="#v:printStateSpace">printStateSpace</a> :: <a href="Abstract-DPO-StateSpace.html#t:StateSpace">StateSpace</a> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b) -> Doc</li><li class="src short"><a href="#v:printTypedGraph">printTypedGraph</a> :: <a href="Image-Dot.html#t:NamingContext">NamingContext</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -> Doc</li><li class="src short"><a href="#v:printSubTypedGraph">printSubTypedGraph</a> :: <a href="Image-Dot.html#t:NamingContext">NamingContext</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -> Doc</li><li class="src short"><a href="#v:printTypedGraphMorphism">printTypedGraphMorphism</a> :: <a href="Image-Dot.html#t:NamingContext">NamingContext</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b -> Doc</li><li class="src short"><a href="#v:printGraphRule">printGraphRule</a> :: <a href="Image-Dot.html#t:NamingContext">NamingContext</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="TypedGraph-DPO-GraphRule.html#t:GraphRule">GraphRule</a> a b -> Doc</li><li class="src short"><a href="#v:printSubGraphRule">printSubGraphRule</a> :: <a href="Image-Dot.html#t:NamingContext">NamingContext</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="TypedGraph-DPO-GraphRule.html#t:GraphRule">GraphRule</a> a b -> Doc</li><li class="src short"><a href="#v:printSndOrderRule">printSndOrderRule</a> :: <a href="Image-Dot.html#t:NamingContext">NamingContext</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="SndOrder-Rule.html#t:SndOrderRule">SndOrderRule</a> a b -> Doc</li><li class="src short"><a href="#v:printNode">printNode</a> :: Doc -> [Doc] -> Doc</li><li class="src short"><a href="#v:printEdge">printEdge</a> :: Doc -> Doc -> [Doc] -> Doc</li><li class="src short"><a href="#v:nodeSubId">nodeSubId</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Graph-Graph.html#t:NodeId">NodeId</a> -> Doc</li><li class="src short"><a href="#v:nodeId">nodeId</a> :: <a href="Graph-Graph.html#t:NodeId">NodeId</a> -> Doc</li><li class="src short"><a href="#v:edgeSubId">edgeSubId</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Graph-Graph.html#t:EdgeId">EdgeId</a> -> Doc</li><li class="src short"><a href="#v:edgeId">edgeId</a> :: <a href="Graph-Graph.html#t:EdgeId">EdgeId</a> -> Doc</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:NamingContext" class="def">NamingContext</a> <a href="src/Image.Dot.html#NamingContext" class="link">Source</a> <a href="#t:NamingContext" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Ctx" class="def">Ctx</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:getNodeTypeName" class="def">getNodeTypeName</a> :: <a href="Graph-Graph.html#t:NodeId">NodeId</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a></dfn><div class="doc empty"> </div></li><li><dfn class="src"><a id="v:getEdgeTypeName" class="def">getEdgeTypeName</a> :: <a href="Graph-Graph.html#t:EdgeId">EdgeId</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div></div><div class="top"><p class="src"><a id="v:makeNamingContext" class="def">makeNamingContext</a> :: [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="../base-4.9.1.0/Data-String.html#t:String">String</a>)] -> <a href="Image-Dot.html#t:NamingContext">NamingContext</a> <a href="src/Image.Dot.html#makeNamingContext" class="link">Source</a> <a href="#v:makeNamingContext" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:printDotGraph" class="def">printDotGraph</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> [<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>] -> [Doc] -> [Doc] -> [Doc] -> Doc <a href="src/Image.Dot.html#printDotGraph" class="link">Source</a> <a href="#v:printDotGraph" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:printDigraph" class="def">printDigraph</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> [<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>] -> [Doc] -> [Doc] -> [Doc] -> Doc <a href="src/Image.Dot.html#printDigraph" class="link">Source</a> <a href="#v:printDigraph" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:printSubgraph" class="def">printSubgraph</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> [<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>] -> [Doc] -> [Doc] -> [Doc] -> Doc <a href="src/Image.Dot.html#printSubgraph" class="link">Source</a> <a href="#v:printSubgraph" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:printStateSpace" class="def">printStateSpace</a> :: <a href="Abstract-DPO-StateSpace.html#t:StateSpace">StateSpace</a> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b) -> Doc <a href="src/Image.Dot.html#printStateSpace" class="link">Source</a> <a href="#v:printStateSpace" class="selflink">#</a></p><div class="doc"><p>Create a dotfile representation of the given state space, labeling states with their IDs</p></div></div><div class="top"><p class="src"><a id="v:printTypedGraph" class="def">printTypedGraph</a> :: <a href="Image-Dot.html#t:NamingContext">NamingContext</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -> Doc <a href="src/Image.Dot.html#printTypedGraph" class="link">Source</a> <a href="#v:printTypedGraph" class="selflink">#</a></p><div class="doc"><p>Create a dotfile representation of the given typed graph, labeling nodes with their types</p></div></div><div class="top"><p class="src"><a id="v:printSubTypedGraph" class="def">printSubTypedGraph</a> :: <a href="Image-Dot.html#t:NamingContext">NamingContext</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -> Doc <a href="src/Image.Dot.html#printSubTypedGraph" class="link">Source</a> <a href="#v:printSubTypedGraph" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:printTypedGraphMorphism" class="def">printTypedGraphMorphism</a> :: <a href="Image-Dot.html#t:NamingContext">NamingContext</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b -> Doc <a href="src/Image.Dot.html#printTypedGraphMorphism" class="link">Source</a> <a href="#v:printTypedGraphMorphism" class="selflink">#</a></p><div class="doc"><p>Create a dotfile representation of the given typed graph morphism</p></div></div><div class="top"><p class="src"><a id="v:printGraphRule" class="def">printGraphRule</a> :: <a href="Image-Dot.html#t:NamingContext">NamingContext</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="TypedGraph-DPO-GraphRule.html#t:GraphRule">GraphRule</a> a b -> Doc <a href="src/Image.Dot.html#printGraphRule" class="link">Source</a> <a href="#v:printGraphRule" class="selflink">#</a></p><div class="doc"><p>Create a dotfile representation of the given graph rule</p></div></div><div class="top"><p class="src"><a id="v:printSubGraphRule" class="def">printSubGraphRule</a> :: <a href="Image-Dot.html#t:NamingContext">NamingContext</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="TypedGraph-DPO-GraphRule.html#t:GraphRule">GraphRule</a> a b -> Doc <a href="src/Image.Dot.html#printSubGraphRule" class="link">Source</a> <a href="#v:printSubGraphRule" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:printSndOrderRule" class="def">printSndOrderRule</a> :: <a href="Image-Dot.html#t:NamingContext">NamingContext</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="SndOrder-Rule.html#t:SndOrderRule">SndOrderRule</a> a b -> Doc <a href="src/Image.Dot.html#printSndOrderRule" class="link">Source</a> <a href="#v:printSndOrderRule" class="selflink">#</a></p><div class="doc"><p>Create a dotfile representation of the given snd order rule</p></div></div><div class="top"><p class="src"><a id="v:printNode" class="def">printNode</a> :: Doc -> [Doc] -> Doc <a href="src/Image.Dot.html#printNode" class="link">Source</a> <a href="#v:printNode" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:printEdge" class="def">printEdge</a> :: Doc -> Doc -> [Doc] -> Doc <a href="src/Image.Dot.html#printEdge" class="link">Source</a> <a href="#v:printEdge" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:nodeSubId" class="def">nodeSubId</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Graph-Graph.html#t:NodeId">NodeId</a> -> Doc <a href="src/Image.Dot.html#nodeSubId" class="link">Source</a> <a href="#v:nodeSubId" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:nodeId" class="def">nodeId</a> :: <a href="Graph-Graph.html#t:NodeId">NodeId</a> -> Doc <a href="src/Image.Dot.html#nodeId" class="link">Source</a> <a href="#v:nodeId" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:edgeSubId" class="def">edgeSubId</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="Graph-Graph.html#t:EdgeId">EdgeId</a> -> Doc <a href="src/Image.Dot.html#edgeSubId" class="link">Source</a> <a href="#v:edgeSubId" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:edgeId" class="def">edgeId</a> :: <a href="Graph-Graph.html#t:EdgeId">EdgeId</a> -> Doc <a href="src/Image.Dot.html#edgeId" class="link">Source</a> <a href="#v:edgeId" class="selflink">#</a></p></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>