Var
data Var
type TyVar
type CoVar
type Id
type DictId
type DFunId
type EvVar
type EvId
type IpId
varName
varUnique
varType
setVarName
setVarUnique
setVarType
Id
mkGlobalVar
mkLocalVar
mkExportedLocalVar
idInfo
idDetails
lazySetIdInfo
setIdDetails
globaliseId
setIdExported
setIdNotExported
isCoVar
isId
isTyCoVar
isTyVar
isTcTyVar
isLocalVar
isLocalId
isGlobalId
isExportedId
mustHaveLocalBinding
TyVar
mkTyVar
mkTcTyVar
mkWildCoVar
tyVarName
tyVarKind
tcTyVarDetails
setTyVarName
setTyVarUnique
setTyVarKind
CoVar
mkCoVar
coVarName
setCoVarUnique
setCoVarName