Sophie: ghc-7.4.2-4.mga5 i586

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>CoreSubst</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">CoreSubst</p></div><div id="interface"><h1>Main data types
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSubst.html#t:Subst" target="main">Subst</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSubst.html#t:TvSubstEnv" target="main">TvSubstEnv</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="CoreSubst.html#t:IdSubstEnv" target="main">IdSubstEnv</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="CoreSubst.html#t:InScopeSet" target="main">InScopeSet</a> </p></div><h2>Substituting into expressions and related types
</h2><div class="top"><p class="src"><a href="CoreSubst.html#v:deShadowBinds" target="main">deShadowBinds</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substSpec" target="main">substSpec</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substRulesForImportedIds" target="main">substRulesForImportedIds</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substTy" target="main">substTy</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substCo" target="main">substCo</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substExpr" target="main">substExpr</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substExprSC" target="main">substExprSC</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substBind" target="main">substBind</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substBindSC" target="main">substBindSC</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substUnfolding" target="main">substUnfolding</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substUnfoldingSC" target="main">substUnfoldingSC</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substUnfoldingSource" target="main">substUnfoldingSource</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:lookupIdSubst" target="main">lookupIdSubst</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:lookupTvSubst" target="main">lookupTvSubst</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:lookupCvSubst" target="main">lookupCvSubst</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substIdOcc" target="main">substIdOcc</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substTickish" target="main">substTickish</a></p></div><h2>Operations on substitutions
</h2><div class="top"><p class="src"><a href="CoreSubst.html#v:emptySubst" target="main">emptySubst</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:mkEmptySubst" target="main">mkEmptySubst</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:mkSubst" target="main">mkSubst</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:mkOpenSubst" target="main">mkOpenSubst</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substInScope" target="main">substInScope</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:isEmptySubst" target="main">isEmptySubst</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:extendIdSubst" target="main">extendIdSubst</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:extendIdSubstList" target="main">extendIdSubstList</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:extendTvSubst" target="main">extendTvSubst</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:extendTvSubstList" target="main">extendTvSubstList</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:extendCvSubst" target="main">extendCvSubst</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:extendCvSubstList" target="main">extendCvSubstList</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:extendSubst" target="main">extendSubst</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:extendSubstList" target="main">extendSubstList</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:extendSubstWithVar" target="main">extendSubstWithVar</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:zapSubstEnv" target="main">zapSubstEnv</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:addInScopeSet" target="main">addInScopeSet</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:extendInScope" target="main">extendInScope</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:extendInScopeList" target="main">extendInScopeList</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:extendInScopeIds" target="main">extendInScopeIds</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:isInScope" target="main">isInScope</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:setInScope" target="main">setInScope</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:delBndr" target="main">delBndr</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:delBndrs" target="main">delBndrs</a></p></div><h2>Substituting and cloning binders
</h2><div class="top"><p class="src"><a href="CoreSubst.html#v:substBndr" target="main">substBndr</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substBndrs" target="main">substBndrs</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:substRecBndrs" target="main">substRecBndrs</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:cloneBndr" target="main">cloneBndr</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:cloneBndrs" target="main">cloneBndrs</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:cloneIdBndr" target="main">cloneIdBndr</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:cloneIdBndrs" target="main">cloneIdBndrs</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:cloneRecIdBndrs" target="main">cloneRecIdBndrs</a></p></div><h2>Simple expression optimiser
</h2><div class="top"><p class="src"><a href="CoreSubst.html#v:simpleOptPgm" target="main">simpleOptPgm</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:simpleOptExpr" target="main">simpleOptExpr</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:simpleOptExprWith" target="main">simpleOptExprWith</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:exprIsConApp_maybe" target="main">exprIsConApp_maybe</a></p></div><div class="top"><p class="src"><a href="CoreSubst.html#v:exprIsLiteral_maybe" target="main">exprIsLiteral_maybe</a></p></div></div></body></html>