Var

The main data type and synonyms

data Var

type TyVar

type CoVar

type Id

type DictId

type DFunId

type EvVar

type EvId

type IpId

Taking Vars apart

varName

varUnique

varType

Modifying Vars

setVarName

setVarUnique

setVarType

Constructing, taking apart, modifying Ids

mkGlobalVar

mkLocalVar

mkExportedLocalVar

idInfo

idDetails

lazySetIdInfo

setIdDetails

globaliseId

setIdExported

setIdNotExported

Predicates

isCoVar

isId

isTyCoVar

isTyVar

isTcTyVar

isLocalVar

isLocalId

isGlobalId

isExportedId

mustHaveLocalBinding

Constructing TyVars

mkTyVar

mkTcTyVar

mkWildCoVar

Taking TyVars apart

tyVarName

tyVarKind

tcTyVarDetails

setTcTyVarDetails

Modifying TyVars

setTyVarName

setTyVarUnique

setTyVarKind

Constructing CoVars

mkCoVar

Taking CoVars apart

coVarName

Modifying CoVars

setCoVarUnique

setCoVarName