Id
The main types
type
Id
type
DictId
Simple construction
mkGlobalId
mkVanillaGlobal
mkVanillaGlobalWithInfo
mkLocalId
mkLocalIdWithInfo
mkSysLocal
mkSysLocalM
mkUserLocal
mkUserLocalM
mkTemplateLocals
mkTemplateLocalsNum
mkWildId
mkTemplateLocal
mkWorkerId
mkExportedLocalId
Taking an Id apart
idName
idType
idUnique
idInfo
isId
globalIdDetails
idPrimRep
recordSelectorFieldLabel
Modifying an Id
setIdName
setIdUnique
setIdType
setIdExported
setIdNotExported
globaliseId
setIdInfo
lazySetIdInfo
modifyIdInfo
maybeModifyIdInfo
zapLamIdInfo
zapDemandIdInfo
zapFragileIdInfo
transferPolyIdInfo
Predicates on Ids
isImplicitId
isDeadBinder
isDictId
isStrictId
isExportedId
isLocalId
isGlobalId
isRecordSelector
isNaughtyRecordSelector
isClassOpId_maybe
isPrimOpId
isPrimOpId_maybe
isFCallId
isFCallId_maybe
isDataConWorkId
isDataConWorkId_maybe
isDataConId_maybe
idDataCon
isBottomingId
idIsFrom
isTickBoxOp
isTickBoxOp_maybe
hasNoBinding
Inline pragma stuff
idInlinePragma
setInlinePragma
modifyInlinePragma
One-shot lambdas
isOneShotBndr
isOneShotLambda
isStateHackType
setOneShotLambda
clearOneShotLambda
Reading
IdInfo
fields
idArity
idNewDemandInfo
idNewDemandInfo_maybe
idNewStrictness
idNewStrictness_maybe
idWorkerInfo
idUnfolding
idSpecialisation
idCoreRules
idHasRules
idCafInfo
idLBVarInfo
idOccInfo
Writing
IdInfo
fields
setIdUnfolding
setIdArity
setIdNewDemandInfo
setIdNewStrictness
zapIdNewStrictness
setIdWorkerInfo
setIdSpecialisation
setIdCafInfo
setIdOccInfo