Var

The main data type and synonyms

data Var

type CoVar

type Id

type DictId

type DFunId

type EvVar

type EqVar

type EvId

type IpId

type TyVar

type TypeVar

type KindVar

type TKVar

Taking Vars apart

varName

varUnique

varType

Modifying Vars

setVarName

setVarUnique

setVarType

Constructing, taking apart, modifying Ids

mkGlobalVar

mkLocalVar

mkExportedLocalVar

mkCoVar

idInfo

idDetails

lazySetIdInfo

setIdDetails

globaliseId

setIdExported

setIdNotExported

Predicates

isId

isTKVar

isTyVar

isTcTyVar

isLocalVar

isLocalId

isGlobalId

isExportedId

mustHaveLocalBinding

Constructing TyVars

mkTyVar

mkTcTyVar

mkKindVar

Taking TyVars apart

tyVarName

tyVarKind

tcTyVarDetails

setTcTyVarDetails

Modifying TyVars

setTyVarName

setTyVarUnique

setTyVarKind

updateTyVarKind

updateTyVarKindM