Sophie

Sophie

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

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>Var</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">Var</p></div><div id="interface"><h1>The main data type and synonyms
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Var.html#t:Var" target="main">Var</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Var.html#t:TyVar" target="main">TyVar</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Var.html#t:CoVar" target="main">CoVar</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Var.html#t:Id" target="main">Id</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Var.html#t:KindVar" target="main">KindVar</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Var.html#t:DictId" target="main">DictId</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Var.html#t:DFunId" target="main">DFunId</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Var.html#t:EvVar" target="main">EvVar</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Var.html#t:EqVar" target="main">EqVar</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Var.html#t:EvId" target="main">EvId</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Var.html#t:IpId" target="main">IpId</a> </p></div><h2>Taking <code><a href="Var.html#t:Var">Var</a></code>s apart
</h2><div class="top"><p class="src"><a href="Var.html#v:varName" target="main">varName</a></p></div><div class="top"><p class="src"><a href="Var.html#v:varUnique" target="main">varUnique</a></p></div><div class="top"><p class="src"><a href="Var.html#v:varType" target="main">varType</a></p></div><h2>Modifying <code><a href="Var.html#t:Var">Var</a></code>s
</h2><div class="top"><p class="src"><a href="Var.html#v:setVarName" target="main">setVarName</a></p></div><div class="top"><p class="src"><a href="Var.html#v:setVarUnique" target="main">setVarUnique</a></p></div><div class="top"><p class="src"><a href="Var.html#v:setVarType" target="main">setVarType</a></p></div><h2>Constructing, taking apart, modifying <code><a href="Var.html#t:Id">Id</a></code>s
</h2><div class="top"><p class="src"><a href="Var.html#v:mkGlobalVar" target="main">mkGlobalVar</a></p></div><div class="top"><p class="src"><a href="Var.html#v:mkLocalVar" target="main">mkLocalVar</a></p></div><div class="top"><p class="src"><a href="Var.html#v:mkExportedLocalVar" target="main">mkExportedLocalVar</a></p></div><div class="top"><p class="src"><a href="Var.html#v:mkCoVar" target="main">mkCoVar</a></p></div><div class="top"><p class="src"><a href="Var.html#v:idInfo" target="main">idInfo</a></p></div><div class="top"><p class="src"><a href="Var.html#v:idDetails" target="main">idDetails</a></p></div><div class="top"><p class="src"><a href="Var.html#v:lazySetIdInfo" target="main">lazySetIdInfo</a></p></div><div class="top"><p class="src"><a href="Var.html#v:setIdDetails" target="main">setIdDetails</a></p></div><div class="top"><p class="src"><a href="Var.html#v:globaliseId" target="main">globaliseId</a></p></div><div class="top"><p class="src"><a href="Var.html#v:setIdExported" target="main">setIdExported</a></p></div><div class="top"><p class="src"><a href="Var.html#v:setIdNotExported" target="main">setIdNotExported</a></p></div><h2>Predicates
</h2><div class="top"><p class="src"><a href="Var.html#v:isId" target="main">isId</a></p></div><div class="top"><p class="src"><a href="Var.html#v:isTyVar" target="main">isTyVar</a></p></div><div class="top"><p class="src"><a href="Var.html#v:isTcTyVar" target="main">isTcTyVar</a></p></div><div class="top"><p class="src"><a href="Var.html#v:isLocalVar" target="main">isLocalVar</a></p></div><div class="top"><p class="src"><a href="Var.html#v:isLocalId" target="main">isLocalId</a></p></div><div class="top"><p class="src"><a href="Var.html#v:isGlobalId" target="main">isGlobalId</a></p></div><div class="top"><p class="src"><a href="Var.html#v:isExportedId" target="main">isExportedId</a></p></div><div class="top"><p class="src"><a href="Var.html#v:mustHaveLocalBinding" target="main">mustHaveLocalBinding</a></p></div><h2>Constructing <code><a href="Var.html#t:TyVar">TyVar</a></code>s
</h2><div class="top"><p class="src"><a href="Var.html#v:mkTyVar" target="main">mkTyVar</a></p></div><div class="top"><p class="src"><a href="Var.html#v:mkTcTyVar" target="main">mkTcTyVar</a></p></div><div class="top"><p class="src"><a href="Var.html#v:mkKindVar" target="main">mkKindVar</a></p></div><h2>Taking <code><a href="Var.html#t:TyVar">TyVar</a></code>s apart
</h2><div class="top"><p class="src"><a href="Var.html#v:tyVarName" target="main">tyVarName</a></p></div><div class="top"><p class="src"><a href="Var.html#v:tyVarKind" target="main">tyVarKind</a></p></div><div class="top"><p class="src"><a href="Var.html#v:tcTyVarDetails" target="main">tcTyVarDetails</a></p></div><div class="top"><p class="src"><a href="Var.html#v:setTcTyVarDetails" target="main">setTcTyVarDetails</a></p></div><h2>Modifying <code><a href="Var.html#t:TyVar">TyVar</a></code>s
</h2><div class="top"><p class="src"><a href="Var.html#v:setTyVarName" target="main">setTyVarName</a></p></div><div class="top"><p class="src"><a href="Var.html#v:setTyVarUnique" target="main">setTyVarUnique</a></p></div><div class="top"><p class="src"><a href="Var.html#v:setTyVarKind" target="main">setTyVarKind</a></p></div><div class="top"><p class="src"><a href="Var.html#v:updateTyVarKind" target="main">updateTyVarKind</a></p></div><div class="top"><p class="src"><a href="Var.html#v:updateTyVarKindM" target="main">updateTyVarKindM</a></p></div></div></body></html>