<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <!--Rendered using the Haskell Html Library v0.2--> <HTML ><HEAD ><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8" ><TITLE >Id</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ></HEAD ><BODY ><DIV CLASS="outer" ><DIV CLASS="mini-topbar" >Id</DIV ><DIV CLASS="mini-synopsis" ><H1 >The main types </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Id.html#t%3AId" TARGET="main" >Id</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Id.html#t%3ADictId" TARGET="main" >DictId</A > </DIV > <H2 >Simple construction </H2 > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkGlobalId" TARGET="main" >mkGlobalId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkVanillaGlobal" TARGET="main" >mkVanillaGlobal</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkVanillaGlobalWithInfo" TARGET="main" >mkVanillaGlobalWithInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkLocalId" TARGET="main" >mkLocalId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkLocalIdWithInfo" TARGET="main" >mkLocalIdWithInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkExportedLocalId" TARGET="main" >mkExportedLocalId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkSysLocal" TARGET="main" >mkSysLocal</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkSysLocalM" TARGET="main" >mkSysLocalM</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkUserLocal" TARGET="main" >mkUserLocal</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkUserLocalM" TARGET="main" >mkUserLocalM</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkTemplateLocals" TARGET="main" >mkTemplateLocals</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkTemplateLocalsNum" TARGET="main" >mkTemplateLocalsNum</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkTemplateLocal" TARGET="main" >mkTemplateLocal</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmkWorkerId" TARGET="main" >mkWorkerId</A ></DIV > <H2 >Taking an Id apart </H2 > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidName" TARGET="main" >idName</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidType" TARGET="main" >idType</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidUnique" TARGET="main" >idUnique</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidInfo" TARGET="main" >idInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidDetails" TARGET="main" >idDetails</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisId" TARGET="main" >isId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidPrimRep" TARGET="main" >idPrimRep</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3ArecordSelectorFieldLabel" TARGET="main" >recordSelectorFieldLabel</A ></DIV > <H2 >Modifying an Id </H2 > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdName" TARGET="main" >setIdName</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdUnique" TARGET="main" >setIdUnique</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdType" TARGET="main" >setIdType</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdExported" TARGET="main" >setIdExported</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdNotExported" TARGET="main" >setIdNotExported</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AglobaliseId" TARGET="main" >globaliseId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AlocaliseId" TARGET="main" >localiseId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdInfo" TARGET="main" >setIdInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AlazySetIdInfo" TARGET="main" >lazySetIdInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmodifyIdInfo" TARGET="main" >modifyIdInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmaybeModifyIdInfo" TARGET="main" >maybeModifyIdInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AzapLamIdInfo" TARGET="main" >zapLamIdInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AzapDemandIdInfo" TARGET="main" >zapDemandIdInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AzapFragileIdInfo" TARGET="main" >zapFragileIdInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AtransferPolyIdInfo" TARGET="main" >transferPolyIdInfo</A ></DIV > <H2 >Predicates on Ids </H2 > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisImplicitId" TARGET="main" >isImplicitId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisDeadBinder" TARGET="main" >isDeadBinder</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisDictId" TARGET="main" >isDictId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisStrictId" TARGET="main" >isStrictId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisExportedId" TARGET="main" >isExportedId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisLocalId" TARGET="main" >isLocalId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisGlobalId" TARGET="main" >isGlobalId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisRecordSelector" TARGET="main" >isRecordSelector</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisNaughtyRecordSelector" TARGET="main" >isNaughtyRecordSelector</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisClassOpId_maybe" TARGET="main" >isClassOpId_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisDFunId" TARGET="main" >isDFunId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisPrimOpId" TARGET="main" >isPrimOpId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisPrimOpId_maybe" TARGET="main" >isPrimOpId_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisFCallId" TARGET="main" >isFCallId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisFCallId_maybe" TARGET="main" >isFCallId_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisDataConWorkId" TARGET="main" >isDataConWorkId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisDataConWorkId_maybe" TARGET="main" >isDataConWorkId_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisDataConId_maybe" TARGET="main" >isDataConId_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidDataCon" TARGET="main" >idDataCon</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisConLikeId" TARGET="main" >isConLikeId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisBottomingId" TARGET="main" >isBottomingId</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidIsFrom" TARGET="main" >idIsFrom</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisTickBoxOp" TARGET="main" >isTickBoxOp</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisTickBoxOp_maybe" TARGET="main" >isTickBoxOp_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AhasNoBinding" TARGET="main" >hasNoBinding</A ></DIV > <H2 >Inline pragma stuff </H2 > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidInlinePragma" TARGET="main" >idInlinePragma</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetInlinePragma" TARGET="main" >setInlinePragma</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AmodifyInlinePragma" TARGET="main" >modifyInlinePragma</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidInlineActivation" TARGET="main" >idInlineActivation</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetInlineActivation" TARGET="main" >setInlineActivation</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidRuleMatchInfo" TARGET="main" >idRuleMatchInfo</A ></DIV > <H2 >One-shot lambdas </H2 > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisOneShotBndr" TARGET="main" >isOneShotBndr</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisOneShotLambda" TARGET="main" >isOneShotLambda</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AisStateHackType" TARGET="main" >isStateHackType</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetOneShotLambda" TARGET="main" >setOneShotLambda</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AclearOneShotLambda" TARGET="main" >clearOneShotLambda</A ></DIV > <H2 >Reading <TT ><A HREF="IdInfo.html#t%3AIdInfo" >IdInfo</A ></TT > fields </H2 > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidArity" TARGET="main" >idArity</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidNewDemandInfo" TARGET="main" >idNewDemandInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidNewDemandInfo_maybe" TARGET="main" >idNewDemandInfo_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidNewStrictness" TARGET="main" >idNewStrictness</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidNewStrictness_maybe" TARGET="main" >idNewStrictness_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidWorkerInfo" TARGET="main" >idWorkerInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidUnfolding" TARGET="main" >idUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidSpecialisation" TARGET="main" >idSpecialisation</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidCoreRules" TARGET="main" >idCoreRules</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidHasRules" TARGET="main" >idHasRules</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidCafInfo" TARGET="main" >idCafInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidLBVarInfo" TARGET="main" >idLBVarInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AidOccInfo" TARGET="main" >idOccInfo</A ></DIV > <H2 >Writing <TT ><A HREF="IdInfo.html#t%3AIdInfo" >IdInfo</A ></TT > fields </H2 > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdUnfolding" TARGET="main" >setIdUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdArity" TARGET="main" >setIdArity</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdNewDemandInfo" TARGET="main" >setIdNewDemandInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdNewStrictness" TARGET="main" >setIdNewStrictness</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AzapIdNewStrictness" TARGET="main" >zapIdNewStrictness</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdWorkerInfo" TARGET="main" >setIdWorkerInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdSpecialisation" TARGET="main" >setIdSpecialisation</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdCafInfo" TARGET="main" >setIdCafInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AsetIdOccInfo" TARGET="main" >setIdOccInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Id.html#v%3AzapIdOccInfo" TARGET="main" >zapIdOccInfo</A ></DIV ></DIV ></DIV ></BODY ></HTML >