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>Id</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">Id</p></div><div id="interface"><h1>The main types
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Id.html#t:Var" target="main">Var</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Id.html#t:Id" target="main">Id</a> </p></div><div class="top"><p class="src"><a href="Id.html#v:isId" target="main">isId</a></p></div><h2>Simple construction
</h2><div class="top"><p class="src"><a href="Id.html#v:mkGlobalId" target="main">mkGlobalId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkVanillaGlobal" target="main">mkVanillaGlobal</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkVanillaGlobalWithInfo" target="main">mkVanillaGlobalWithInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkLocalId" target="main">mkLocalId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkLocalIdWithInfo" target="main">mkLocalIdWithInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkExportedLocalId" target="main">mkExportedLocalId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkSysLocal" target="main">mkSysLocal</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkSysLocalM" target="main">mkSysLocalM</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkUserLocal" target="main">mkUserLocal</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkUserLocalM" target="main">mkUserLocalM</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkTemplateLocals" target="main">mkTemplateLocals</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkTemplateLocalsNum" target="main">mkTemplateLocalsNum</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkTemplateLocal" target="main">mkTemplateLocal</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkWorkerId" target="main">mkWorkerId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:mkWiredInIdName" target="main">mkWiredInIdName</a></p></div><h2>Taking an Id apart
</h2><div class="top"><p class="src"><a href="Id.html#v:idName" target="main">idName</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idType" target="main">idType</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idUnique" target="main">idUnique</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idInfo" target="main">idInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idDetails" target="main">idDetails</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idPrimRep" target="main">idPrimRep</a></p></div><div class="top"><p class="src"><a href="Id.html#v:recordSelectorFieldLabel" target="main">recordSelectorFieldLabel</a></p></div><h2>Modifying an Id
</h2><div class="top"><p class="src"><a href="Id.html#v:setIdName" target="main">setIdName</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setIdUnique" target="main">setIdUnique</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setIdType" target="main">setIdType</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setIdExported" target="main">setIdExported</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setIdNotExported" target="main">setIdNotExported</a></p></div><div class="top"><p class="src"><a href="Id.html#v:globaliseId" target="main">globaliseId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:localiseId" target="main">localiseId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setIdInfo" target="main">setIdInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:lazySetIdInfo" target="main">lazySetIdInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:modifyIdInfo" target="main">modifyIdInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:maybeModifyIdInfo" target="main">maybeModifyIdInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:zapLamIdInfo" target="main">zapLamIdInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:zapDemandIdInfo" target="main">zapDemandIdInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:zapFragileIdInfo" target="main">zapFragileIdInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:transferPolyIdInfo" target="main">transferPolyIdInfo</a></p></div><h2>Predicates on Ids
</h2><div class="top"><p class="src"><a href="Id.html#v:isImplicitId" target="main">isImplicitId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isDeadBinder" target="main">isDeadBinder</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isStrictId" target="main">isStrictId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isExportedId" target="main">isExportedId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isLocalId" target="main">isLocalId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isGlobalId" target="main">isGlobalId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isRecordSelector" target="main">isRecordSelector</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isNaughtyRecordSelector" target="main">isNaughtyRecordSelector</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isClassOpId_maybe" target="main">isClassOpId_maybe</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isDFunId" target="main">isDFunId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isPrimOpId" target="main">isPrimOpId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isPrimOpId_maybe" target="main">isPrimOpId_maybe</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isFCallId" target="main">isFCallId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isFCallId_maybe" target="main">isFCallId_maybe</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isDataConWorkId" target="main">isDataConWorkId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isDataConWorkId_maybe" target="main">isDataConWorkId_maybe</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isDataConId_maybe" target="main">isDataConId_maybe</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idDataCon" target="main">idDataCon</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isConLikeId" target="main">isConLikeId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isBottomingId" target="main">isBottomingId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idIsFrom" target="main">idIsFrom</a></p></div><div class="top"><p class="src"><a href="Id.html#v:hasNoBinding" target="main">hasNoBinding</a></p></div><h2>Evidence variables
</h2><div class="top"><p class="src"><span class="keyword">type</span> <a href="Id.html#t:DictId" target="main">DictId</a> </p></div><div class="top"><p class="src"><a href="Id.html#v:isDictId" target="main">isDictId</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isEvVar" target="main">isEvVar</a></p></div><h2>Inline pragma stuff
</h2><div class="top"><p class="src"><a href="Id.html#v:idInlinePragma" target="main">idInlinePragma</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setInlinePragma" target="main">setInlinePragma</a></p></div><div class="top"><p class="src"><a href="Id.html#v:modifyInlinePragma" target="main">modifyInlinePragma</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idInlineActivation" target="main">idInlineActivation</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setInlineActivation" target="main">setInlineActivation</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idRuleMatchInfo" target="main">idRuleMatchInfo</a></p></div><h2>One-shot lambdas
</h2><div class="top"><p class="src"><a href="Id.html#v:isOneShotBndr" target="main">isOneShotBndr</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isOneShotLambda" target="main">isOneShotLambda</a></p></div><div class="top"><p class="src"><a href="Id.html#v:isStateHackType" target="main">isStateHackType</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setOneShotLambda" target="main">setOneShotLambda</a></p></div><div class="top"><p class="src"><a href="Id.html#v:clearOneShotLambda" target="main">clearOneShotLambda</a></p></div><h2>Reading <code><a href="IdInfo.html#t:IdInfo">IdInfo</a></code> fields
</h2><div class="top"><p class="src"><a href="Id.html#v:idArity" target="main">idArity</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idDemandInfo" target="main">idDemandInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idDemandInfo_maybe" target="main">idDemandInfo_maybe</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idStrictness" target="main">idStrictness</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idStrictness_maybe" target="main">idStrictness_maybe</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idUnfolding" target="main">idUnfolding</a></p></div><div class="top"><p class="src"><a href="Id.html#v:realIdUnfolding" target="main">realIdUnfolding</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idSpecialisation" target="main">idSpecialisation</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idCoreRules" target="main">idCoreRules</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idHasRules" target="main">idHasRules</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idCafInfo" target="main">idCafInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idLBVarInfo" target="main">idLBVarInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:idOccInfo" target="main">idOccInfo</a></p></div><h2>Writing <code><a href="IdInfo.html#t:IdInfo">IdInfo</a></code> fields
</h2><div class="top"><p class="src"><a href="Id.html#v:setIdUnfoldingLazily" target="main">setIdUnfoldingLazily</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setIdUnfolding" target="main">setIdUnfolding</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setIdArity" target="main">setIdArity</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setIdDemandInfo" target="main">setIdDemandInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setIdStrictness" target="main">setIdStrictness</a></p></div><div class="top"><p class="src"><a href="Id.html#v:zapIdStrictness" target="main">zapIdStrictness</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setIdSpecialisation" target="main">setIdSpecialisation</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setIdCafInfo" target="main">setIdCafInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:setIdOccInfo" target="main">setIdOccInfo</a></p></div><div class="top"><p class="src"><a href="Id.html#v:zapIdOccInfo" target="main">zapIdOccInfo</a></p></div></div></body></html>