<!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 >TcUnify</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" >TcUnify</DIV ><DIV CLASS="mini-synopsis" ><DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AtcSubExp" TARGET="main" >tcSubExp</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AtcGen" TARGET="main" >tcGen</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AcheckSigTyVars" TARGET="main" >checkSigTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AcheckSigTyVarsWrt" TARGET="main" >checkSigTyVarsWrt</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AbleatEscapedTvs" TARGET="main" >bleatEscapedTvs</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AsigCtxt" TARGET="main" >sigCtxt</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AunifyType" TARGET="main" >unifyType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AunifyTypeList" TARGET="main" >unifyTypeList</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AunifyTheta" TARGET="main" >unifyTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AunifyKind" TARGET="main" >unifyKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AunifyKinds" TARGET="main" >unifyKinds</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AunifyFunKind" TARGET="main" >unifyFunKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3ApreSubType" TARGET="main" >preSubType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AboxyMatchTypes" TARGET="main" >boxyMatchTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AtcInfer" TARGET="main" >tcInfer</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AsubFunTys" TARGET="main" >subFunTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AunBox" TARGET="main" >unBox</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3ArefineBox" TARGET="main" >refineBox</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3ArefineBoxToTau" TARGET="main" >refineBoxToTau</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AwithBox" TARGET="main" >withBox</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AboxyUnify" TARGET="main" >boxyUnify</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AboxyUnifyList" TARGET="main" >boxyUnifyList</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AzapToMonotype" TARGET="main" >zapToMonotype</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AboxySplitListTy" TARGET="main" >boxySplitListTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AboxySplitPArrTy" TARGET="main" >boxySplitPArrTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AboxySplitTyConApp" TARGET="main" >boxySplitTyConApp</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AboxySplitAppTy" TARGET="main" >boxySplitAppTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcUnify.html#v%3AwrapFunResCoercion" TARGET="main" >wrapFunResCoercion</A ></DIV ></DIV ></DIV ></BODY ></HTML >
