-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathTypedGraph-DPO-OccurenceRelation.html
5 lines (5 loc) · 30.2 KB
/
TypedGraph-DPO-OccurenceRelation.html
1
2
3
4
5
<!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.DPO.OccurenceRelation</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-DPO-OccurenceRelation.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/TypedGraph.DPO.OccurenceRelation.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.DPO.OccurenceRelation</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:RelationItem">RelationItem</a><ul class="subs"><li>= <a href="#v:Node">Node</a> <a href="Graph-Graph.html#t:NodeId">NodeId</a></li><li>| <a href="#v:Edge">Edge</a> <a href="Graph-Graph.html#t:EdgeId">EdgeId</a></li><li>| <a href="#v:Rule">Rule</a> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a></li></ul></li><li class="src short"><span class="keyword">type</span> <a href="#t:Relation">Relation</a> = <a href="../containers-0.5.7.1/Data-Set.html#t:Set">Set</a> (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>)</li><li class="src short"><span class="keyword">type</span> <a href="#t:AbstractRelation">AbstractRelation</a> = <a href="../containers-0.5.7.1/Data-Set.html#t:Set">Set</a> (<a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a>, (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>), (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>))</li><li class="src short"><span class="keyword">data</span> <a href="#t:AbstractType">AbstractType</a><ul class="subs"><li>= <a href="#v:AbstractProduceForbid">AbstractProduceForbid</a></li><li>| <a href="#v:AbstractDeleteForbid">AbstractDeleteForbid</a></li></ul></li><li class="src short"><a href="#v:isRuleAndElement">isRuleAndElement</a> :: (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>) -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:filterRulesOccurrenceRelation">filterRulesOccurrenceRelation</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a></li><li class="src short"><a href="#v:filterElementsOccurrenceRelation">filterElementsOccurrenceRelation</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a></li><li class="src short"><a href="#v:filterCreationRelation">filterCreationRelation</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a></li><li class="src short"><a href="#v:filterDeletionRelation">filterDeletionRelation</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a></li><li class="src short"><a href="#v:isCreation">isCreation</a> :: (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>) -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isDeletion">isDeletion</a> :: (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>) -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isNode">isNode</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:happensAfterAction">happensAfterAction</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:happensBeforeAction">happensBeforeAction</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:relatedItens">relatedItens</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>) -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:neverDeleted">neverDeleted</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:present">present</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:findOrder">findOrder</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="../containers-0.5.7.1/Data-Set.html#t:Set">Set</a> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>]</li><li class="src short"><a href="#v:buildTransitivity">buildTransitivity</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a></li><li class="src short"><a href="#v:relationToString">relationToString</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a></li><li class="src short"><a href="#v:restrictionToString">restrictionToString</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractRelation">AbstractRelation</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:RelationItem" class="def">RelationItem</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#RelationItem" class="link">Source</a> <a href="#t:RelationItem" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Node" class="def">Node</a> <a href="Graph-Graph.html#t:NodeId">NodeId</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Edge" class="def">Edge</a> <a href="Graph-Graph.html#t:EdgeId">EdgeId</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Rule" class="def">Rule</a> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:RelationItem" class="caption collapser" onclick="toggleSection('i:RelationItem')">Instances</p><div id="section.i:RelationItem" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:RelationItem:Eq:1" class="instance expander" onclick="toggleSection('i:id:RelationItem:Eq:1')"></span> <a href="../base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a></span> <a href="src/TypedGraph.DPO.OccurenceRelation.html#line-37" class="link">Source</a> <a href="#t:RelationItem" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:RelationItem:Eq:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:RelationItem:Ord:2" class="instance expander" onclick="toggleSection('i:id:RelationItem:Ord:2')"></span> <a href="../base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a></span> <a href="src/TypedGraph.DPO.OccurenceRelation.html#line-37" class="link">Source</a> <a href="#t:RelationItem" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:RelationItem:Ord:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:RelationItem:Show:3" class="instance expander" onclick="toggleSection('i:id:RelationItem:Show:3')"></span> <a href="../base-4.9.1.0/Text-Show.html#t:Show">Show</a> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a></span> <a href="src/TypedGraph.DPO.OccurenceRelation.html#line-37" class="link">Source</a> <a href="#t:RelationItem" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:RelationItem:Show:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="../base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>] -> <a href="../base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:Relation" class="def">Relation</a> = <a href="../containers-0.5.7.1/Data-Set.html#t:Set">Set</a> (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>) <a href="src/TypedGraph.DPO.OccurenceRelation.html#Relation" class="link">Source</a> <a href="#t:Relation" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:AbstractRelation" class="def">AbstractRelation</a> = <a href="../containers-0.5.7.1/Data-Set.html#t:Set">Set</a> (<a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a>, (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>), (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>)) <a href="src/TypedGraph.DPO.OccurenceRelation.html#AbstractRelation" class="link">Source</a> <a href="#t:AbstractRelation" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:AbstractType" class="def">AbstractType</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#AbstractType" class="link">Source</a> <a href="#t:AbstractType" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:AbstractProduceForbid" class="def">AbstractProduceForbid</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:AbstractDeleteForbid" class="def">AbstractDeleteForbid</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:AbstractType" class="caption collapser" onclick="toggleSection('i:AbstractType')">Instances</p><div id="section.i:AbstractType" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:AbstractType:Eq:1" class="instance expander" onclick="toggleSection('i:id:AbstractType:Eq:1')"></span> <a href="../base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a></span> <a href="src/TypedGraph.DPO.OccurenceRelation.html#line-40" class="link">Source</a> <a href="#t:AbstractType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:AbstractType:Eq:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:AbstractType:Ord:2" class="instance expander" onclick="toggleSection('i:id:AbstractType:Ord:2')"></span> <a href="../base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a></span> <a href="src/TypedGraph.DPO.OccurenceRelation.html#line-40" class="link">Source</a> <a href="#t:AbstractType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:AbstractType:Ord:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="../base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:AbstractType:Show:3" class="instance expander" onclick="toggleSection('i:id:AbstractType:Show:3')"></span> <a href="../base-4.9.1.0/Text-Show.html#t:Show">Show</a> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a></span> <a href="src/TypedGraph.DPO.OccurenceRelation.html#line-40" class="link">Source</a> <a href="#t:AbstractType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:AbstractType:Show:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="../base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="../base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractType">AbstractType</a>] -> <a href="../base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:isRuleAndElement" class="def">isRuleAndElement</a> :: (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>) -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#isRuleAndElement" class="link">Source</a> <a href="#v:isRuleAndElement" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:filterRulesOccurrenceRelation" class="def">filterRulesOccurrenceRelation</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#filterRulesOccurrenceRelation" class="link">Source</a> <a href="#v:filterRulesOccurrenceRelation" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:filterElementsOccurrenceRelation" class="def">filterElementsOccurrenceRelation</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#filterElementsOccurrenceRelation" class="link">Source</a> <a href="#v:filterElementsOccurrenceRelation" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:filterCreationRelation" class="def">filterCreationRelation</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#filterCreationRelation" class="link">Source</a> <a href="#v:filterCreationRelation" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:filterDeletionRelation" class="def">filterDeletionRelation</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#filterDeletionRelation" class="link">Source</a> <a href="#v:filterDeletionRelation" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:isCreation" class="def">isCreation</a> :: (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>) -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#isCreation" class="link">Source</a> <a href="#v:isCreation" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:isDeletion" class="def">isDeletion</a> :: (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>) -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#isDeletion" class="link">Source</a> <a href="#v:isDeletion" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:isNode" class="def">isNode</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#isNode" class="link">Source</a> <a href="#v:isNode" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:happensAfterAction" class="def">happensAfterAction</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#happensAfterAction" class="link">Source</a> <a href="#v:happensAfterAction" class="selflink">#</a></p><div class="doc"><p>Tests wether an item appears after a rule in a given occurrence relation</p></div></div><div class="top"><p class="src"><a id="v:happensBeforeAction" class="def">happensBeforeAction</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#happensBeforeAction" class="link">Source</a> <a href="#v:happensBeforeAction" class="selflink">#</a></p><div class="doc"><p>Tests wether an item appears before a rule in a given occurrence relation</p></div></div><div class="top"><p class="src"><a id="v:relatedItens" class="def">relatedItens</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> (<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>, <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>) -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#relatedItens" class="link">Source</a> <a href="#v:relatedItens" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:neverDeleted" class="def">neverDeleted</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#neverDeleted" class="link">Source</a> <a href="#v:neverDeleted" class="selflink">#</a></p><div class="doc"><p>Given a relation item <code>i</code> and the deletion relation of an doubly typed grammar,
it returns True if the item is deleted by some rule in this relation and False otherwise</p></div></div><div class="top"><p class="src"><a id="v:present" class="def">present</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#present" class="link">Source</a> <a href="#v:present" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:findOrder" class="def">findOrder</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="../containers-0.5.7.1/Data-Set.html#t:Set">Set</a> <a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a> -> <a href="../base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="TypedGraph-DPO-OccurenceRelation.html#t:RelationItem">RelationItem</a>] <a href="src/TypedGraph.DPO.OccurenceRelation.html#findOrder" class="link">Source</a> <a href="#v:findOrder" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:buildTransitivity" class="def">buildTransitivity</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#buildTransitivity" class="link">Source</a> <a href="#v:buildTransitivity" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:relationToString" class="def">relationToString</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:Relation">Relation</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#relationToString" class="link">Source</a> <a href="#v:relationToString" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:restrictionToString" class="def">restrictionToString</a> :: <a href="TypedGraph-DPO-OccurenceRelation.html#t:AbstractRelation">AbstractRelation</a> -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/TypedGraph.DPO.OccurenceRelation.html#restrictionToString" class="link">Source</a> <a href="#v:restrictionToString" 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>