Var

# The main data type and synonyms

data Var

type CoVar

type Id

type DictId

type DFunId

type EvVar

type EqVar

type EvId

type IpId

type TyVar

type TypeVar

type KindVar

type TKVar

## Taking `Var`s apart

varName

varUnique

varType

## Modifying `Var`s

setVarName

setVarUnique

setVarType

## Constructing, taking apart, modifying `Id`s

mkGlobalVar

mkLocalVar

mkExportedLocalVar

mkCoVar

idInfo

idDetails

lazySetIdInfo

setIdDetails

globaliseId

setIdExported

setIdNotExported

## Predicates

isId

isTKVar

isTyVar

isTcTyVar

isLocalVar

isLocalId

isGlobalId

isExportedId

mustHaveLocalBinding

## Constructing `TyVar`s

mkTyVar

mkTcTyVar

mkKindVar

## Taking `TyVar`s apart

tyVarName

tyVarKind

tcTyVarDetails

setTcTyVarDetails

## Modifying `TyVar`s

setTyVarName

setTyVarUnique

setTyVarKind

updateTyVarKind

updateTyVarKindM