Sophie: ghc-0:6.10.4-1mdv2010.0 i586

ghc-6.10.4-1mdv2010.0.i586.rpm

<!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
>&nbsp;<A HREF="Id.html#t%3AId" TARGET="main"
>Id</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
>&nbsp;<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%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%3AmkWildId" TARGET="main"
>mkWildId</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
> <DIV CLASS="decl"
><A HREF="Id.html#v%3AmkExportedLocalId" TARGET="main"
>mkExportedLocalId</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%3AisId" TARGET="main"
>isId</A
></DIV
> <DIV CLASS="decl"
><A HREF="Id.html#v%3AglobalIdDetails" TARGET="main"
>globalIdDetails</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%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%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%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
> <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
></DIV
></BODY
></HTML
>