<!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 >Inst</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" >Inst</DIV ><DIV CLASS="mini-synopsis" ><DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Inst.html#t%3AInst" TARGET="main" >Inst</A > </DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3ApprInstances" TARGET="main" >pprInstances</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3ApprDictsTheta" TARGET="main" >pprDictsTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3ApprDictsInFull" TARGET="main" >pprDictsInFull</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AshowLIE" TARGET="main" >showLIE</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3ApprInst" TARGET="main" >pprInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3ApprInsts" TARGET="main" >pprInsts</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3ApprInstInFull" TARGET="main" >pprInstInFull</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AtidyInsts" TARGET="main" >tidyInsts</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AtidyMoreInsts" TARGET="main" >tidyMoreInsts</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AnewDictBndr" TARGET="main" >newDictBndr</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AnewDictBndrs" TARGET="main" >newDictBndrs</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AnewDictBndrsO" TARGET="main" >newDictBndrsO</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AnewDictOccs" TARGET="main" >newDictOccs</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AnewDictOcc" TARGET="main" >newDictOcc</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AinstCall" TARGET="main" >instCall</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AinstStupidTheta" TARGET="main" >instStupidTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AcloneDict" TARGET="main" >cloneDict</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AmkOverLit" TARGET="main" >mkOverLit</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AnewIPDict" TARGET="main" >newIPDict</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AnewMethod" TARGET="main" >newMethod</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AnewMethodFromName" TARGET="main" >newMethodFromName</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AnewMethodWithGivenTy" TARGET="main" >newMethodWithGivenTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AtcInstClassOp" TARGET="main" >tcInstClassOp</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AtcSyntaxName" TARGET="main" >tcSyntaxName</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AtyVarsOfInst" TARGET="main" >tyVarsOfInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AtyVarsOfInsts" TARGET="main" >tyVarsOfInsts</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AtyVarsOfLIE" TARGET="main" >tyVarsOfLIE</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AtcTyVarsOfInst" TARGET="main" >tcTyVarsOfInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AtcTyVarsOfInsts" TARGET="main" >tcTyVarsOfInsts</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AipNamesOfInst" TARGET="main" >ipNamesOfInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AipNamesOfInsts" TARGET="main" >ipNamesOfInsts</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AfdPredsOfInst" TARGET="main" >fdPredsOfInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AfdPredsOfInsts" TARGET="main" >fdPredsOfInsts</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AgrowInstsTyVars" TARGET="main" >growInstsTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AgetDictClassTys" TARGET="main" >getDictClassTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AdictPred" TARGET="main" >dictPred</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AlookupSimpleInst" TARGET="main" >lookupSimpleInst</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Inst.html#t%3ALookupInstResult" TARGET="main" >LookupInstResult</A > </DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AtcExtendLocalInstEnv" TARGET="main" >tcExtendLocalInstEnv</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AtcGetInstEnvs" TARGET="main" >tcGetInstEnvs</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AgetOverlapFlag" TARGET="main" >getOverlapFlag</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AisAbstractableInst" TARGET="main" >isAbstractableInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AisEqInst" TARGET="main" >isEqInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AisDict" TARGET="main" >isDict</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AisClassDict" TARGET="main" >isClassDict</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AisMethod" TARGET="main" >isMethod</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AisImplicInst" TARGET="main" >isImplicInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AisIPDict" TARGET="main" >isIPDict</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AisInheritableInst" TARGET="main" >isInheritableInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AisMethodOrLit" TARGET="main" >isMethodOrLit</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AisTyVarDict" TARGET="main" >isTyVarDict</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AisMethodFor" TARGET="main" >isMethodFor</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AzonkInst" TARGET="main" >zonkInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AzonkInsts" TARGET="main" >zonkInsts</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AinstToId" TARGET="main" >instToId</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AinstToVar" TARGET="main" >instToVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AinstType" TARGET="main" >instType</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AinstName" TARGET="main" >instName</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AinstToDictBind" TARGET="main" >instToDictBind</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AaddInstToDictBind" TARGET="main" >addInstToDictBind</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Inst.html#t%3AInstOrigin" TARGET="main" >InstOrigin</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Inst.html#t%3AInstLoc" TARGET="main" >InstLoc</A > </DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3ApprInstLoc" TARGET="main" >pprInstLoc</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AmkWantedCo" TARGET="main" >mkWantedCo</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AmkGivenCo" TARGET="main" >mkGivenCo</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AisWantedCo" TARGET="main" >isWantedCo</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AeqInstCoType" TARGET="main" >eqInstCoType</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AmkIdEqInstCo" TARGET="main" >mkIdEqInstCo</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AmkSymEqInstCo" TARGET="main" >mkSymEqInstCo</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AmkLeftTransEqInstCo" TARGET="main" >mkLeftTransEqInstCo</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AmkRightTransEqInstCo" TARGET="main" >mkRightTransEqInstCo</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AmkAppEqInstCo" TARGET="main" >mkAppEqInstCo</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AmkTyConEqInstCo" TARGET="main" >mkTyConEqInstCo</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AmkFunEqInstCo" TARGET="main" >mkFunEqInstCo</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AwantedEqInstIsUnsolved" TARGET="main" >wantedEqInstIsUnsolved</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AeitherEqInst" TARGET="main" >eitherEqInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AmkEqInst" TARGET="main" >mkEqInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AmkWantedEqInst" TARGET="main" >mkWantedEqInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AwantedToLocalEqInst" TARGET="main" >wantedToLocalEqInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AfinalizeEqInst" TARGET="main" >finalizeEqInst</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AeqInstType" TARGET="main" >eqInstType</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AeqInstCoercion" TARGET="main" >eqInstCoercion</A ></DIV > <DIV CLASS="decl" ><A HREF="Inst.html#v%3AeqInstTys" TARGET="main" >eqInstTys</A ></DIV ></DIV ></DIV ></BODY ></HTML >