Id

The main types

data Var

type Id

isId

Simple construction

mkGlobalId

mkVanillaGlobal

mkVanillaGlobalWithInfo

mkLocalId

mkLocalIdWithInfo

mkExportedLocalId

mkSysLocal

mkSysLocalM

mkUserLocal

mkUserLocalM

mkTemplateLocals

mkTemplateLocalsNum

mkTemplateLocal

mkWorkerId

mkWiredInIdName

Taking an Id apart

idName

idType

idUnique

idInfo

idDetails

idPrimRep

recordSelectorFieldLabel

Modifying an Id

setIdName

setIdUnique

setIdType

setIdExported

setIdNotExported

globaliseId

localiseId

setIdInfo

lazySetIdInfo

modifyIdInfo

maybeModifyIdInfo

zapLamIdInfo

zapDemandIdInfo

zapFragileIdInfo

transferPolyIdInfo

Predicates on Ids

isImplicitId

isDeadBinder

isStrictId

isExportedId

isLocalId

isGlobalId

isRecordSelector

isNaughtyRecordSelector

isClassOpId_maybe

isDFunId

isPrimOpId

isPrimOpId_maybe

isFCallId

isFCallId_maybe

isDataConWorkId

isDataConWorkId_maybe

isDataConId_maybe

idDataCon

isConLikeId

isBottomingId

idIsFrom

isTickBoxOp

isTickBoxOp_maybe

hasNoBinding

Evidence variables

type DictId

isDictId

isEvVar

evVarPred

Inline pragma stuff

idInlinePragma

setInlinePragma

modifyInlinePragma

idInlineActivation

setInlineActivation

idRuleMatchInfo

One-shot lambdas

isOneShotBndr

isOneShotLambda

isStateHackType

setOneShotLambda

clearOneShotLambda

Reading IdInfo fields

idArity

idDemandInfo

idDemandInfo_maybe

idStrictness

idStrictness_maybe

idUnfolding

realIdUnfolding

idSpecialisation

idCoreRules

idHasRules

idCafInfo

idLBVarInfo

idOccInfo

Writing IdInfo fields

setIdUnfoldingLazily

setIdUnfolding

setIdArity

setIdDemandInfo

setIdStrictness

zapIdStrictness

setIdSpecialisation

setIdCafInfo

setIdOccInfo

zapIdOccInfo