Var

# The main data type and synonyms

data Var

type TyVar

type CoVar

type Id

type DictId

type DFunId

type EvVar

type EvId

type IpId

## Taking `Var`s apart

varName

varUnique

varType

## Modifying `Var`s

setVarName

setVarUnique

setVarType

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

mkGlobalVar

mkLocalVar

mkExportedLocalVar

idInfo

idDetails

lazySetIdInfo

setIdDetails

globaliseId

setIdExported

setIdNotExported

## Predicates

isCoVar

isId

isTyCoVar

isTyVar

isTcTyVar

isLocalVar

isLocalId

isGlobalId

isExportedId

mustHaveLocalBinding

## Constructing `TyVar`s

mkTyVar

mkTcTyVar

mkWildCoVar

## Taking `TyVar`s apart

tyVarName

tyVarKind

tcTyVarDetails

setTcTyVarDetails

## Modifying `TyVar`s

setTyVarName

setTyVarUnique

setTyVarKind

## Constructing `CoVar`s

mkCoVar

## Taking `CoVar`s apart

coVarName

## Modifying `CoVar`s

setCoVarUnique

setCoVarName