<!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>NameSet</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">NameSet</p></div><div id="interface"><h1>Names set type
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="NameSet.html#t:NameSet" target="main">NameSet</a> </p></div><h2>Manipulating these sets
</h2><div class="top"><p class="src"><a href="NameSet.html#v:emptyNameSet" target="main">emptyNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:unitNameSet" target="main">unitNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:mkNameSet" target="main">mkNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:unionNameSets" target="main">unionNameSets</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:unionManyNameSets" target="main">unionManyNameSets</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:minusNameSet" target="main">minusNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:elemNameSet" target="main">elemNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:nameSetToList" target="main">nameSetToList</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:addOneToNameSet" target="main">addOneToNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:addListToNameSet" target="main">addListToNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:delFromNameSet" target="main">delFromNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:delListFromNameSet" target="main">delListFromNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:isEmptyNameSet" target="main">isEmptyNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:foldNameSet" target="main">foldNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:filterNameSet" target="main">filterNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:intersectsNameSet" target="main">intersectsNameSet</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:intersectNameSet" target="main">intersectNameSet</a></p></div><h1>Free variables
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="NameSet.html#t:FreeVars" target="main">FreeVars</a> </p></div><h2>Manipulating sets of free variables
</h2><div class="top"><p class="src"><a href="NameSet.html#v:isEmptyFVs" target="main">isEmptyFVs</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:emptyFVs" target="main">emptyFVs</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:plusFVs" target="main">plusFVs</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:plusFV" target="main">plusFV</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:mkFVs" target="main">mkFVs</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:addOneFV" target="main">addOneFV</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:unitFV" target="main">unitFV</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:delFV" target="main">delFV</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:delFVs" target="main">delFVs</a></p></div><h1>Defs and uses
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="NameSet.html#t:Defs" target="main">Defs</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="NameSet.html#t:Uses" target="main">Uses</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="NameSet.html#t:DefUse" target="main">DefUse</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="NameSet.html#t:DefUses" target="main">DefUses</a> </p></div><h2>Manipulating defs and uses
</h2><div class="top"><p class="src"><a href="NameSet.html#v:emptyDUs" target="main">emptyDUs</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:usesOnly" target="main">usesOnly</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:mkDUs" target="main">mkDUs</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:plusDU" target="main">plusDU</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:findUses" target="main">findUses</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:duDefs" target="main">duDefs</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:duUses" target="main">duUses</a></p></div><div class="top"><p class="src"><a href="NameSet.html#v:allUses" target="main">allUses</a></p></div></div></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
3416
