<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <!--Rendered using the Haskell Html Library v0.2--> <HTML ><HEAD ><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8" ><TITLE >Var</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ></HEAD ><BODY ><DIV CLASS="outer" ><DIV CLASS="mini-topbar" >Var</DIV ><DIV CLASS="mini-synopsis" ><H1 >The main data type </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Var.html#t%3AVar" TARGET="main" >Var</A > </DIV > <H2 >Taking <TT ><A HREF="Var.html#t%3AVar" >Var</A ></TT >s apart </H2 > <DIV CLASS="decl" ><A HREF="Var.html#v%3AvarName" TARGET="main" >varName</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AvarUnique" TARGET="main" >varUnique</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AvarType" TARGET="main" >varType</A ></DIV > <H2 >Modifying <TT ><A HREF="Var.html#t%3AVar" >Var</A ></TT >s </H2 > <DIV CLASS="decl" ><A HREF="Var.html#v%3AsetVarName" TARGET="main" >setVarName</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AsetVarUnique" TARGET="main" >setVarUnique</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AsetVarType" TARGET="main" >setVarType</A ></DIV > <H2 >Constructing, taking apart, modifying <TT ><A HREF="Var.html#t%3AId" >Id</A ></TT >s </H2 > <DIV CLASS="decl" ><A HREF="Var.html#v%3AmkGlobalVar" TARGET="main" >mkGlobalVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AmkLocalVar" TARGET="main" >mkLocalVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AmkExportedLocalVar" TARGET="main" >mkExportedLocalVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AidInfo" TARGET="main" >idInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AidDetails" TARGET="main" >idDetails</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AlazySetIdInfo" TARGET="main" >lazySetIdInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AsetIdDetails" TARGET="main" >setIdDetails</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AglobaliseId" TARGET="main" >globaliseId</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AsetIdExported" TARGET="main" >setIdExported</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AsetIdNotExported" TARGET="main" >setIdNotExported</A ></DIV > <H2 >Predicates </H2 > <DIV CLASS="decl" ><A HREF="Var.html#v%3AisCoVar" TARGET="main" >isCoVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AisId" TARGET="main" >isId</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AisTyVar" TARGET="main" >isTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AisTcTyVar" TARGET="main" >isTcTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AisLocalVar" TARGET="main" >isLocalVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AisLocalId" TARGET="main" >isLocalId</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AisGlobalId" TARGET="main" >isGlobalId</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AisExportedId" TARGET="main" >isExportedId</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AmustHaveLocalBinding" TARGET="main" >mustHaveLocalBinding</A ></DIV > <H1 >Type variable data type </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Var.html#t%3ATyVar" TARGET="main" >TyVar</A > </DIV > <H2 >Constructing <TT ><A HREF="Var.html#t%3ATyVar" >TyVar</A ></TT >s </H2 > <DIV CLASS="decl" ><A HREF="Var.html#v%3AmkTyVar" TARGET="main" >mkTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AmkTcTyVar" TARGET="main" >mkTcTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AmkWildCoVar" TARGET="main" >mkWildCoVar</A ></DIV > <H2 >Taking <TT ><A HREF="Var.html#t%3ATyVar" >TyVar</A ></TT >s apart </H2 > <DIV CLASS="decl" ><A HREF="Var.html#v%3AtyVarName" TARGET="main" >tyVarName</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AtyVarKind" TARGET="main" >tyVarKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AtcTyVarDetails" TARGET="main" >tcTyVarDetails</A ></DIV > <H2 >Modifying <TT ><A HREF="Var.html#t%3ATyVar" >TyVar</A ></TT >s </H2 > <DIV CLASS="decl" ><A HREF="Var.html#v%3AsetTyVarName" TARGET="main" >setTyVarName</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AsetTyVarUnique" TARGET="main" >setTyVarUnique</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AsetTyVarKind" TARGET="main" >setTyVarKind</A ></DIV > <H1 >Coercion variable data type </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Var.html#t%3ACoVar" TARGET="main" >CoVar</A > </DIV > <H2 >Constructing <TT ><A HREF="Var.html#t%3ACoVar" >CoVar</A ></TT >s </H2 > <DIV CLASS="decl" ><A HREF="Var.html#v%3AmkCoVar" TARGET="main" >mkCoVar</A ></DIV > <H2 >Taking <TT ><A HREF="Var.html#t%3ACoVar" >CoVar</A ></TT >s apart </H2 > <DIV CLASS="decl" ><A HREF="Var.html#v%3AcoVarName" TARGET="main" >coVarName</A ></DIV > <H2 >Modifying <TT ><A HREF="Var.html#t%3ACoVar" >CoVar</A ></TT >s </H2 > <DIV CLASS="decl" ><A HREF="Var.html#v%3AsetCoVarUnique" TARGET="main" >setCoVarUnique</A ></DIV > <DIV CLASS="decl" ><A HREF="Var.html#v%3AsetCoVarName" TARGET="main" >setCoVarName</A ></DIV > <H1 ><TT ><A HREF="Var.html#t%3AVar" >Var</A ></TT > type synonyms </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Var.html#t%3AId" TARGET="main" >Id</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Var.html#t%3ADictId" TARGET="main" >DictId</A > </DIV ></DIV ></DIV ></BODY ></HTML >