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 JoinId

type TyVar

type TypeVar

type KindVar

type TKVar

type TyCoVar

In and Out variants

type InVar

type InCoVar

type InId

type InTyVar

type OutVar

type OutCoVar

type OutId

type OutTyVar

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

isTyVar

isTcTyVar

isLocalVar

isLocalId

isCoVar

isNonCoVarId

isTyCoVar

isGlobalId

isExportedId

mustHaveLocalBinding

TyVar's

data TyVarBndr tyvar argf

data ArgFlag

type TyVarBinder

binderVar

binderVars

binderArgFlag

binderKind

isVisibleArgFlag

isInvisibleArgFlag

sameVis

Constructing TyVar's

mkTyVar

mkTcTyVar

Taking TyVars apart

tyVarName

tyVarKind

tcTyVarDetails

setTcTyVarDetails

Modifying TyVars

setTyVarName

setTyVarUnique

setTyVarKind

updateTyVarKind

updateTyVarKindM

nonDetCmpVar