<!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 >TcMType</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" >TcMType</DIV ><DIV CLASS="mini-synopsis" ><DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcMType.html#t%3ATcTyVar" TARGET="main" >TcTyVar</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcMType.html#t%3ATcKind" TARGET="main" >TcKind</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcMType.html#t%3ATcType" TARGET="main" >TcType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcMType.html#t%3ATcTauType" TARGET="main" >TcTauType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcMType.html#t%3ATcThetaType" TARGET="main" >TcThetaType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcMType.html#t%3ATcTyVarSet" TARGET="main" >TcTyVarSet</A > </DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnewFlexiTyVar" TARGET="main" >newFlexiTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnewFlexiTyVarTy" TARGET="main" >newFlexiTyVarTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnewFlexiTyVarTys" TARGET="main" >newFlexiTyVarTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnewKindVar" TARGET="main" >newKindVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnewKindVars" TARGET="main" >newKindVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AlookupTcTyVar" TARGET="main" >lookupTcTyVar</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="TcMType.html#t%3ALookupTyVarResult" TARGET="main" >LookupTyVarResult</A > </DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnewMetaTyVar" TARGET="main" >newMetaTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AreadMetaTyVar" TARGET="main" >readMetaTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AwriteMetaTyVar" TARGET="main" >writeMetaTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AisFilledMetaTyVar" TARGET="main" >isFilledMetaTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnewBoxyTyVar" TARGET="main" >newBoxyTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnewBoxyTyVars" TARGET="main" >newBoxyTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnewBoxyTyVarTys" TARGET="main" >newBoxyTyVarTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AreadFilledBox" TARGET="main" >readFilledBox</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnewCoVars" TARGET="main" >newCoVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnewMetaCoVar" TARGET="main" >newMetaCoVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AtcInstTyVar" TARGET="main" >tcInstTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AtcInstType" TARGET="main" >tcInstType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AtcInstTyVars" TARGET="main" >tcInstTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AtcInstBoxyTyVar" TARGET="main" >tcInstBoxyTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AtcInstSigType" TARGET="main" >tcInstSigType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AtcInstSkolTyVars" TARGET="main" >tcInstSkolTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AtcInstSkolType" TARGET="main" >tcInstSkolType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AtcSkolSigType" TARGET="main" >tcSkolSigType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AtcSkolSigTyVars" TARGET="main" >tcSkolSigTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AoccurCheckErr" TARGET="main" >occurCheckErr</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AexecTcTyVarBinds" TARGET="main" >execTcTyVarBinds</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="TcMType.html#t%3ARank" TARGET="main" >Rank</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="TcMType.html#t%3AUserTypeCtxt" TARGET="main" >UserTypeCtxt</A > </DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AcheckValidType" TARGET="main" >checkValidType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AcheckValidMonoType" TARGET="main" >checkValidMonoType</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="TcMType.html#t%3ASourceTyCtxt" TARGET="main" >SourceTyCtxt</A > </DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AcheckValidTheta" TARGET="main" >checkValidTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AcheckFreeness" TARGET="main" >checkFreeness</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AcheckValidInstHead" TARGET="main" >checkValidInstHead</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AcheckValidInstance" TARGET="main" >checkValidInstance</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AcheckInstTermination" TARGET="main" >checkInstTermination</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AcheckValidTypeInst" TARGET="main" >checkValidTypeInst</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AcheckTyFamFreeness" TARGET="main" >checkTyFamFreeness</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AcheckKinds" TARGET="main" >checkKinds</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AcheckUpdateMeta" TARGET="main" >checkUpdateMeta</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AupdateMeta" TARGET="main" >updateMeta</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AcheckTauTvUpdate" TARGET="main" >checkTauTvUpdate</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AfillBoxWithTau" TARGET="main" >fillBoxWithTau</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AunifyKindCtxt" TARGET="main" >unifyKindCtxt</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AunifyKindMisMatch" TARGET="main" >unifyKindMisMatch</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AvalidDerivPred" TARGET="main" >validDerivPred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AarityErr" TARGET="main" >arityErr</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnotMonoType" TARGET="main" >notMonoType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AnotMonoArgs" TARGET="main" >notMonoArgs</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AgrowPredTyVars" TARGET="main" >growPredTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AgrowTyVars" TARGET="main" >growTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AgrowThetaTyVars" TARGET="main" >growThetaTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkType" TARGET="main" >zonkType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkTcPredType" TARGET="main" >zonkTcPredType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkTcTyVar" TARGET="main" >zonkTcTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkTcTyVars" TARGET="main" >zonkTcTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkTcTyVarsAndFV" TARGET="main" >zonkTcTyVarsAndFV</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkSigTyVar" TARGET="main" >zonkSigTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkQuantifiedTyVar" TARGET="main" >zonkQuantifiedTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkQuantifiedTyVars" TARGET="main" >zonkQuantifiedTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkTcType" TARGET="main" >zonkTcType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkTcTypes" TARGET="main" >zonkTcTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkTcThetaType" TARGET="main" >zonkTcThetaType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkTcKindToKind" TARGET="main" >zonkTcKindToKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkTcKind" TARGET="main" >zonkTcKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AzonkTopTyVar" TARGET="main" >zonkTopTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AreadKindVar" TARGET="main" >readKindVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcMType.html#v%3AwriteKindVar" TARGET="main" >writeKindVar</A ></DIV ></DIV ></DIV ></BODY ></HTML >