Sophie: ghc-doc-0:6.10.4-1mdv2010.0 i586

ghc-doc-6.10.4-1mdv2010.0.i586.rpm

<!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
>&nbsp;<A HREF="TcMType.html#t%3ATcTyVar" TARGET="main"
>TcTyVar</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
>&nbsp;<A HREF="TcMType.html#t%3ATcKind" TARGET="main"
>TcKind</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
>&nbsp;<A HREF="TcMType.html#t%3ATcType" TARGET="main"
>TcType</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
>&nbsp;<A HREF="TcMType.html#t%3ATcTauType" TARGET="main"
>TcTauType</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
>&nbsp;<A HREF="TcMType.html#t%3ATcThetaType" TARGET="main"
>TcThetaType</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
>&nbsp;<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
>&nbsp;<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"
><SPAN CLASS="keyword"
>data</SPAN
>&nbsp;<A HREF="TcMType.html#t%3ARank" TARGET="main"
>Rank</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>&nbsp;<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
>&nbsp;<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%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%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
>