Id

The main types

data Var

type Id

isId

In and Out variants

type InVar

type InId

type OutVar

type OutId

Simple construction

mkGlobalId

mkVanillaGlobal

mkVanillaGlobalWithInfo

mkLocalId

mkLocalCoVar

mkLocalIdOrCoVar

mkLocalIdOrCoVarWithInfo

mkLocalIdWithInfo

mkExportedLocalId

mkExportedVanillaId

mkSysLocal

mkSysLocalM

mkSysLocalOrCoVar

mkSysLocalOrCoVarM

mkUserLocal

mkUserLocalOrCoVar

mkTemplateLocals

mkTemplateLocalsNum

mkTemplateLocal

mkWorkerId

Taking an Id apart

idName

idType

idUnique

idInfo

idDetails

recordSelectorTyCon

Modifying an Id

setIdName

setIdUnique

setIdType

setIdExported

setIdNotExported

globaliseId

localiseId

setIdInfo

lazySetIdInfo

modifyIdInfo

maybeModifyIdInfo

zapLamIdInfo

zapIdDemandInfo

zapIdUsageInfo

zapIdUsageEnvInfo

zapIdUsedOnceInfo

zapIdTailCallInfo

zapFragileIdInfo

zapIdStrictness

transferPolyIdInfo

Predicates on Ids

isImplicitId

isDeadBinder

isStrictId

isExportedId

isLocalId

isGlobalId

isRecordSelector

isNaughtyRecordSelector

isPatSynRecordSelector

isDataConRecordSelector

isClassOpId_maybe

isDFunId

isPrimOpId

isPrimOpId_maybe

isFCallId

isFCallId_maybe

isDataConWorkId

isDataConWorkId_maybe

isDataConId_maybe

idDataCon

isConLikeId

isBottomingId

idIsFrom

hasNoBinding

Evidence variables

type DictId

isDictId

isEvVar

Join variables

type JoinId

isJoinId

isJoinId_maybe

idJoinArity

asJoinId

asJoinId_maybe

zapJoinId

Inline pragma stuff

idInlinePragma

setInlinePragma

modifyInlinePragma

idInlineActivation

setInlineActivation

idRuleMatchInfo

One-shot lambdas

isOneShotBndr

isProbablyOneShotLambda

setOneShotLambda

clearOneShotLambda

updOneShotInfo

setIdOneShotInfo

isStateHackType

stateHackOneShot

typeOneShot

Reading IdInfo fields

idArity

idCallArity

idFunRepArity

idUnfolding

realIdUnfolding

idSpecialisation

idCoreRules

idHasRules

idCafInfo

idOneShotInfo

idStateHackOneShotInfo

idOccInfo

isNeverLevPolyId

Writing IdInfo fields

setIdUnfolding

setCaseBndrEvald

setIdArity

setIdCallArity

setIdSpecialisation

setIdCafInfo

setIdOccInfo

zapIdOccInfo

setIdDemandInfo

setIdStrictness

idDemandInfo

idStrictness