Var

The main data type and synonyms

data Var

type CoVar

type Id

type NcId

type DictId

type DFunId

type EvVar

type EqVar

type EvId

type IpId

type TyVar

type TypeVar

type KindVar

type TKVar

type TyCoVar

Taking Vars apart

varName

varUnique

varType

Modifying Vars

setVarName

setVarUnique

setVarType

updateVarType

updateVarTypeM

Constructing, taking apart, modifying Ids

mkGlobalVar

mkLocalVar

mkExportedLocalVar

mkCoVar

idInfo

idDetails

lazySetIdInfo

setIdDetails

globaliseId

setIdExported

setIdNotExported

Predicates

isId

isTKVar

isTyVar

isTcTyVar

isLocalVar

isLocalId

isCoVar

isNonCoVarId

isTyCoVar

isGlobalId

isExportedId

mustHaveLocalBinding

Constructing TyVars

mkTyVar

mkTcTyVar

Taking TyVars apart

tyVarName

tyVarKind

tcTyVarDetails

setTcTyVarDetails

Modifying TyVars

setTyVarName

setTyVarUnique

setTyVarKind

updateTyVarKind

updateTyVarKindM

nonDetCmpVar