-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathXML-GGXWriter.html
4 lines (4 loc) · 11.8 KB
/
XML-GGXWriter.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>XML.GGXWriter</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_XML-GGXWriter.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/XML.GGXWriter.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">XML.GGXWriter</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">type</span> <a href="#t:Grammars">Grammars</a> a b = (<a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b), <a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="SndOrder-Morphism.html#t:RuleMorphism">RuleMorphism</a> a b))</li><li class="src short"><a href="#v:writeConfDepFile">writeConfDepFile</a> :: <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> ()</li><li class="src short"><a href="#v:writeConflictsFile">writeConflictsFile</a> :: <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> ()</li><li class="src short"><a href="#v:writeDependenciesFile">writeDependenciesFile</a> :: <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> ()</li><li class="src short"><a href="#v:writeSndOderConfDepFile">writeSndOderConfDepFile</a> :: <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> ()</li><li class="src short"><a href="#v:writeSndOderConflictsFile">writeSndOderConflictsFile</a> :: <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> ()</li><li class="src short"><a href="#v:writeSndOderDependenciesFile">writeSndOderDependenciesFile</a> :: <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> ()</li><li class="src short"><a href="#v:writeGrammarFile">writeGrammarFile</a> :: <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> ()</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:Grammars" class="def">Grammars</a> a b = (<a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b), <a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="SndOrder-Morphism.html#t:RuleMorphism">RuleMorphism</a> a b)) <a href="src/XML.GGXWriter.html#Grammars" class="link">Source</a> <a href="#t:Grammars" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:writeConfDepFile" class="def">writeConfDepFile</a> :: <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> () <a href="src/XML.GGXWriter.html#writeConfDepFile" class="link">Source</a> <a href="#v:writeConfDepFile" class="selflink">#</a></p><div class="doc"><p>Writes grammar, conflicts and dependencies (.cpx)</p></div></div><div class="top"><p class="src"><a id="v:writeConflictsFile" class="def">writeConflictsFile</a> :: <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> () <a href="src/XML.GGXWriter.html#writeConflictsFile" class="link">Source</a> <a href="#v:writeConflictsFile" class="selflink">#</a></p><div class="doc"><p>Writes the grammar and the conflicts (.cpx)</p></div></div><div class="top"><p class="src"><a id="v:writeDependenciesFile" class="def">writeDependenciesFile</a> :: <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> () <a href="src/XML.GGXWriter.html#writeDependenciesFile" class="link">Source</a> <a href="#v:writeDependenciesFile" class="selflink">#</a></p><div class="doc"><p>Writes the grammar and the dependencies (.cpx)</p></div></div><div class="top"><p class="src"><a id="v:writeSndOderConfDepFile" class="def">writeSndOderConfDepFile</a> :: <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> () <a href="src/XML.GGXWriter.html#writeSndOderConfDepFile" class="link">Source</a> <a href="#v:writeSndOderConfDepFile" class="selflink">#</a></p><div class="doc"><p>Writes grammar, second order conflicts and dependencies (.ggx)</p></div></div><div class="top"><p class="src"><a id="v:writeSndOderConflictsFile" class="def">writeSndOderConflictsFile</a> :: <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> () <a href="src/XML.GGXWriter.html#writeSndOderConflictsFile" class="link">Source</a> <a href="#v:writeSndOderConflictsFile" class="selflink">#</a></p><div class="doc"><p>Writes the grammar and the second order conflicts (.ggx)</p></div></div><div class="top"><p class="src"><a id="v:writeSndOderDependenciesFile" class="def">writeSndOderDependenciesFile</a> :: <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> () <a href="src/XML.GGXWriter.html#writeSndOderDependenciesFile" class="link">Source</a> <a href="#v:writeSndOderDependenciesFile" class="selflink">#</a></p><div class="doc"><p>Writes the grammar and the second order dependencies (.ggx)</p></div></div><div class="top"><p class="src"><a id="v:writeGrammarFile" class="def">writeGrammarFile</a> :: <a href="XML-GGXWriter.html#t:Grammars">Grammars</a> a b -> <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>)] -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> () <a href="src/XML.GGXWriter.html#writeGrammarFile" class="link">Source</a> <a href="#v:writeGrammarFile" class="selflink">#</a></p><div class="doc"><p>Writes only the grammar (.ggx)</p></div></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>