<!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>BlockId</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();setSynopsis("mini_BlockId.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">ghc-7.4.2: The GHC API</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">BlockId</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:BlockId" class="def">BlockId</a> = <a href="../hoopl-3.8.7.3/Compiler-Hoopl.html#t:Label">Label</a></p></div><div class="top"><p class="src"><a name="v:mkBlockId" class="def">mkBlockId</a> :: <a href="Unique.html#t:Unique">Unique</a> -> <a href="BlockId.html#t:BlockId">BlockId</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:BlockSet" class="def">BlockSet</a> = <a href="../hoopl-3.8.7.3/Compiler-Hoopl.html#t:LabelSet">LabelSet</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:BlockEnv" class="def">BlockEnv</a> a = <a href="../hoopl-3.8.7.3/Compiler-Hoopl.html#t:LabelMap">LabelMap</a> a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:IsSet" class="def">IsSet</a> set <span class="keyword">where</span><a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#IsSet" class="link">Source</a></p><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a name="t:ElemOf" class="def">ElemOf</a> set :: *<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#ElemOf" class="link">Source</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:setNull" class="def">setNull</a> :: set -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a><a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setNull" class="link">Source</a></p><p class="src"><a name="v:setSize" class="def">setSize</a> :: set -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a><a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setSize" class="link">Source</a></p><p class="src"><a name="v:setMember" class="def">setMember</a> :: <a href="BlockId.html#t:ElemOf">ElemOf</a> set -> set -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a><a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setMember" class="link">Source</a></p><p class="src"><a name="v:setEmpty" class="def">setEmpty</a> :: set<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setEmpty" class="link">Source</a></p><p class="src"><a name="v:setSingleton" class="def">setSingleton</a> :: <a href="BlockId.html#t:ElemOf">ElemOf</a> set -> set<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setSingleton" class="link">Source</a></p><p class="src"><a name="v:setInsert" class="def">setInsert</a> :: <a href="BlockId.html#t:ElemOf">ElemOf</a> set -> set -> set<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setInsert" class="link">Source</a></p><p class="src"><a name="v:setDelete" class="def">setDelete</a> :: <a href="BlockId.html#t:ElemOf">ElemOf</a> set -> set -> set<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setDelete" class="link">Source</a></p><p class="src"><a name="v:setUnion" class="def">setUnion</a> :: set -> set -> set<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setUnion" class="link">Source</a></p><p class="src"><a name="v:setDifference" class="def">setDifference</a> :: set -> set -> set<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setDifference" class="link">Source</a></p><p class="src"><a name="v:setIntersection" class="def">setIntersection</a> :: set -> set -> set<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setIntersection" class="link">Source</a></p><p class="src"><a name="v:setIsSubsetOf" class="def">setIsSubsetOf</a> :: set -> set -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a><a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setIsSubsetOf" class="link">Source</a></p><p class="src"><a name="v:setFold" class="def">setFold</a> :: (<a href="BlockId.html#t:ElemOf">ElemOf</a> set -> b -> b) -> b -> set -> b<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setFold" class="link">Source</a></p><p class="src"><a name="v:setElems" class="def">setElems</a> :: set -> [<a href="BlockId.html#t:ElemOf">ElemOf</a> set]<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setElems" class="link">Source</a></p><p class="src"><a name="v:setFromList" class="def">setFromList</a> :: [<a href="BlockId.html#t:ElemOf">ElemOf</a> set] -> set<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setFromList" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:IsSet" class="caption collapser" onclick="toggleSection('i:IsSet')">Instances</p><div id="section.i:IsSet" class="show"><table><tr><td class="src"><a href="BlockId.html#t:IsSet">IsSet</a> <a href="../hoopl-3.8.7.3/Compiler-Hoopl.html#t:LabelSet">LabelSet</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="BlockId.html#t:IsSet">IsSet</a> <a href="../hoopl-3.8.7.3/Compiler-Hoopl.html#t:UniqueSet">UniqueSet</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:setInsertList" class="def">setInsertList</a> :: <a href="BlockId.html#t:IsSet">IsSet</a> set => [<a href="BlockId.html#t:ElemOf">ElemOf</a> set] -> set -> set<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setInsertList" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:setDeleteList" class="def">setDeleteList</a> :: <a href="BlockId.html#t:IsSet">IsSet</a> set => [<a href="BlockId.html#t:ElemOf">ElemOf</a> set] -> set -> set<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setDeleteList" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:setUnions" class="def">setUnions</a> :: <a href="BlockId.html#t:IsSet">IsSet</a> set => [set] -> set<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#setUnions" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:IsMap" class="def">IsMap</a> map <span class="keyword">where</span><a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#IsMap" class="link">Source</a></p><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a name="t:KeyOf" class="def">KeyOf</a> map :: *<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#KeyOf" class="link">Source</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:mapNull" class="def">mapNull</a> :: map a -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a><a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapNull" class="link">Source</a></p><p class="src"><a name="v:mapSize" class="def">mapSize</a> :: map a -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a><a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapSize" class="link">Source</a></p><p class="src"><a name="v:mapMember" class="def">mapMember</a> :: <a href="BlockId.html#t:KeyOf">KeyOf</a> map -> map a -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a><a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapMember" class="link">Source</a></p><p class="src"><a name="v:mapLookup" class="def">mapLookup</a> :: <a href="BlockId.html#t:KeyOf">KeyOf</a> map -> map a -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapLookup" class="link">Source</a></p><p class="src"><a name="v:mapFindWithDefault" class="def">mapFindWithDefault</a> :: a -> <a href="BlockId.html#t:KeyOf">KeyOf</a> map -> map a -> a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapFindWithDefault" class="link">Source</a></p><p class="src"><a name="v:mapEmpty" class="def">mapEmpty</a> :: map a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapEmpty" class="link">Source</a></p><p class="src"><a name="v:mapSingleton" class="def">mapSingleton</a> :: <a href="BlockId.html#t:KeyOf">KeyOf</a> map -> a -> map a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapSingleton" class="link">Source</a></p><p class="src"><a name="v:mapInsert" class="def">mapInsert</a> :: <a href="BlockId.html#t:KeyOf">KeyOf</a> map -> a -> map a -> map a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapInsert" class="link">Source</a></p><p class="src"><a name="v:mapDelete" class="def">mapDelete</a> :: <a href="BlockId.html#t:KeyOf">KeyOf</a> map -> map a -> map a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapDelete" class="link">Source</a></p><p class="src"><a name="v:mapUnion" class="def">mapUnion</a> :: map a -> map a -> map a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapUnion" class="link">Source</a></p><p class="src"><a name="v:mapUnionWithKey" class="def">mapUnionWithKey</a> :: (<a href="BlockId.html#t:KeyOf">KeyOf</a> map -> a -> a -> a) -> map a -> map a -> map a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapUnionWithKey" class="link">Source</a></p><p class="src"><a name="v:mapDifference" class="def">mapDifference</a> :: map a -> map a -> map a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapDifference" class="link">Source</a></p><p class="src"><a name="v:mapIntersection" class="def">mapIntersection</a> :: map a -> map a -> map a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapIntersection" class="link">Source</a></p><p class="src"><a name="v:mapIsSubmapOf" class="def">mapIsSubmapOf</a> :: <a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> a => map a -> map a -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a><a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapIsSubmapOf" class="link">Source</a></p><p class="src"><a name="v:mapMap" class="def">mapMap</a> :: (a -> b) -> map a -> map b<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapMap" class="link">Source</a></p><p class="src"><a name="v:mapMapWithKey" class="def">mapMapWithKey</a> :: (<a href="BlockId.html#t:KeyOf">KeyOf</a> map -> a -> b) -> map a -> map b<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapMapWithKey" class="link">Source</a></p><p class="src"><a name="v:mapFold" class="def">mapFold</a> :: (a -> b -> b) -> b -> map a -> b<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapFold" class="link">Source</a></p><p class="src"><a name="v:mapFoldWithKey" class="def">mapFoldWithKey</a> :: (<a href="BlockId.html#t:KeyOf">KeyOf</a> map -> a -> b -> b) -> b -> map a -> b<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapFoldWithKey" class="link">Source</a></p><p class="src"><a name="v:mapElems" class="def">mapElems</a> :: map a -> [a]<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapElems" class="link">Source</a></p><p class="src"><a name="v:mapKeys" class="def">mapKeys</a> :: map a -> [<a href="BlockId.html#t:KeyOf">KeyOf</a> map]<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapKeys" class="link">Source</a></p><p class="src"><a name="v:mapToList" class="def">mapToList</a> :: map a -> [(<a href="BlockId.html#t:KeyOf">KeyOf</a> map, a)]<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapToList" class="link">Source</a></p><p class="src"><a name="v:mapFromList" class="def">mapFromList</a> :: [(<a href="BlockId.html#t:KeyOf">KeyOf</a> map, a)] -> map a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapFromList" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:IsMap" class="caption collapser" onclick="toggleSection('i:IsMap')">Instances</p><div id="section.i:IsMap" class="show"><table><tr><td class="src"><a href="BlockId.html#t:IsMap">IsMap</a> <a href="../hoopl-3.8.7.3/Compiler-Hoopl.html#t:LabelMap">LabelMap</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="BlockId.html#t:IsMap">IsMap</a> <a href="../hoopl-3.8.7.3/Compiler-Hoopl.html#t:UniqueMap">UniqueMap</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:mapInsertList" class="def">mapInsertList</a> :: <a href="BlockId.html#t:IsMap">IsMap</a> map => [(<a href="BlockId.html#t:KeyOf">KeyOf</a> map, a)] -> map a -> map a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapInsertList" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:mapDeleteList" class="def">mapDeleteList</a> :: <a href="BlockId.html#t:IsMap">IsMap</a> map => [<a href="BlockId.html#t:KeyOf">KeyOf</a> map] -> map a -> map a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapDeleteList" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:mapUnions" class="def">mapUnions</a> :: <a href="BlockId.html#t:IsMap">IsMap</a> map => [map a] -> map a<a href="../hoopl-3.8.7.3/src/Compiler-Hoopl-Collections.html#mapUnions" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:emptyBlockSet" class="def">emptyBlockSet</a> :: <a href="BlockId.html#t:BlockSet">BlockSet</a></p></div><div class="top"><p class="src"><a name="v:emptyBlockMap" class="def">emptyBlockMap</a> :: <a href="BlockId.html#t:BlockEnv">BlockEnv</a> a</p></div><div class="top"><p class="src"><a name="v:blockLbl" class="def">blockLbl</a> :: <a href="BlockId.html#t:BlockId">BlockId</a> -> <a href="CLabel.html#t:CLabel">CLabel</a></p></div><div class="top"><p class="src"><a name="v:infoTblLbl" class="def">infoTblLbl</a> :: <a href="BlockId.html#t:BlockId">BlockId</a> -> <a href="CLabel.html#t:CLabel">CLabel</a></p></div><div class="top"><p class="src"><a name="v:retPtLbl" class="def">retPtLbl</a> :: <a href="BlockId.html#t:BlockId">BlockId</a> -> <a href="CLabel.html#t:CLabel">CLabel</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>
distrib
>
Mageia
>
5
>
x86_64
>
media
>
core-release
>
by-pkgid
>
956c458aa5fe9afc4d2c00cb7b491287
>
files
>
2767
