Sophie

Sophie

distrib > Mageia > 5 > i586 > media > core-release > by-pkgid > 6e204a966e8c42d976f99a1700ce5f20 > files > 3597

ghc-7.4.2-4.mga5.i586.rpm

<!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>VarEnv</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">VarEnv</p></div><div id="interface"><h1>Var, Id and TyVar environments (maps)
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="VarEnv.html#t:VarEnv" target="main">VarEnv</a> elt</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="VarEnv.html#t:IdEnv" target="main">IdEnv</a> elt</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="VarEnv.html#t:TyVarEnv" target="main">TyVarEnv</a> elt</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="VarEnv.html#t:CoVarEnv" target="main">CoVarEnv</a> elt</p></div><h2>Manipulating these environments
</h2><div class="top"><p class="src"><a href="VarEnv.html#v:emptyVarEnv" target="main">emptyVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:unitVarEnv" target="main">unitVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:mkVarEnv" target="main">mkVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:elemVarEnv" target="main">elemVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:varEnvElts" target="main">varEnvElts</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:varEnvKeys" target="main">varEnvKeys</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:extendVarEnv" target="main">extendVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:extendVarEnv_C" target="main">extendVarEnv_C</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:extendVarEnv_Acc" target="main">extendVarEnv_Acc</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:extendVarEnvList" target="main">extendVarEnvList</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:plusVarEnv" target="main">plusVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:plusVarEnv_C" target="main">plusVarEnv_C</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:alterVarEnv" target="main">alterVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:delVarEnvList" target="main">delVarEnvList</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:delVarEnv" target="main">delVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:minusVarEnv" target="main">minusVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:intersectsVarEnv" target="main">intersectsVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:lookupVarEnv" target="main">lookupVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:lookupVarEnv_NF" target="main">lookupVarEnv_NF</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:lookupWithDefaultVarEnv" target="main">lookupWithDefaultVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:mapVarEnv" target="main">mapVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:zipVarEnv" target="main">zipVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:modifyVarEnv" target="main">modifyVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:modifyVarEnv_Directly" target="main">modifyVarEnv_Directly</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:isEmptyVarEnv" target="main">isEmptyVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:foldVarEnv" target="main">foldVarEnv</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:elemVarEnvByKey" target="main">elemVarEnvByKey</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:lookupVarEnv_Directly" target="main">lookupVarEnv_Directly</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:filterVarEnv_Directly" target="main">filterVarEnv_Directly</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:restrictVarEnv" target="main">restrictVarEnv</a></p></div><h1>The InScopeSet type
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="VarEnv.html#t:InScopeSet" target="main">InScopeSet</a> </p></div><h2>Operations on InScopeSets
</h2><div class="top"><p class="src"><a href="VarEnv.html#v:emptyInScopeSet" target="main">emptyInScopeSet</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:mkInScopeSet" target="main">mkInScopeSet</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:delInScopeSet" target="main">delInScopeSet</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:extendInScopeSet" target="main">extendInScopeSet</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:extendInScopeSetList" target="main">extendInScopeSetList</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:extendInScopeSetSet" target="main">extendInScopeSetSet</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:getInScopeVars" target="main">getInScopeVars</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:lookupInScope" target="main">lookupInScope</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:lookupInScope_Directly" target="main">lookupInScope_Directly</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:unionInScope" target="main">unionInScope</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:elemInScopeSet" target="main">elemInScopeSet</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:uniqAway" target="main">uniqAway</a></p></div><h1>The RnEnv2 type
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="VarEnv.html#t:RnEnv2" target="main">RnEnv2</a> </p></div><h2>Operations on RnEnv2s
</h2><div class="top"><p class="src"><a href="VarEnv.html#v:mkRnEnv2" target="main">mkRnEnv2</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:rnBndr2" target="main">rnBndr2</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:rnBndrs2" target="main">rnBndrs2</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:rnOccL" target="main">rnOccL</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:rnOccR" target="main">rnOccR</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:inRnEnvL" target="main">inRnEnvL</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:inRnEnvR" target="main">inRnEnvR</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:rnOccL_maybe" target="main">rnOccL_maybe</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:rnOccR_maybe" target="main">rnOccR_maybe</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:rnBndrL" target="main">rnBndrL</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:rnBndrR" target="main">rnBndrR</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:nukeRnEnvL" target="main">nukeRnEnvL</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:nukeRnEnvR" target="main">nukeRnEnvR</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:delBndrL" target="main">delBndrL</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:delBndrR" target="main">delBndrR</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:delBndrsL" target="main">delBndrsL</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:delBndrsR" target="main">delBndrsR</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:addRnInScopeSet" target="main">addRnInScopeSet</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:rnEtaL" target="main">rnEtaL</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:rnEtaR" target="main">rnEtaR</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:rnInScope" target="main">rnInScope</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:rnInScopeSet" target="main">rnInScopeSet</a></p></div><div class="top"><p class="src"><a href="VarEnv.html#v:lookupRnInScope" target="main">lookupRnInScope</a></p></div><h1>TidyEnv and its operation
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="VarEnv.html#t:TidyEnv" target="main">TidyEnv</a> </p></div><div class="top"><p class="src"><a href="VarEnv.html#v:emptyTidyEnv" target="main">emptyTidyEnv</a></p></div></div></body></html>