Var
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
varName
varUnique
varType
setVarName
setVarUnique
setVarType
updateVarType
updateVarTypeM
Id
mkGlobalVar
mkLocalVar
mkExportedLocalVar
mkCoVar
idInfo
idDetails
lazySetIdInfo
setIdDetails
globaliseId
setIdExported
setIdNotExported
isId
isTKVar
isTyVar
isTcTyVar
isLocalVar
isLocalId
isCoVar
isNonCoVarId
isTyCoVar
isGlobalId
isExportedId
mustHaveLocalBinding
TyVar
mkTyVar
mkTcTyVar
tyVarName
tyVarKind
tcTyVarDetails
setTcTyVarDetails
setTyVarName
setTyVarUnique
setTyVarKind
updateTyVarKind
updateTyVarKindM
nonDetCmpVar