<!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 >TcHsType</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ><SCRIPT TYPE="text/javascript" >window.onload = function () {setSynopsis("mini_TcHsType.html")};</SCRIPT ></HEAD ><BODY ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="topbar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" " ></TD ><TD CLASS="title" >ghc-6.12.3: The GHC API</TD ><TD CLASS="topbut" ><A HREF="index.html" >Contents</A ></TD ><TD CLASS="topbut" ><A HREF="doc-index.html" >Index</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="modulebar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><FONT SIZE="6" >TcHsType</FONT ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Documentation</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcHsSigType" ><A NAME="v%3AtcHsSigType" ></A ></A ><B >tcHsSigType</B > :: <A HREF="TcHsType.html#t%3AUserTypeCtxt" >UserTypeCtxt</A > -> <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Type.html#t%3AType" >Type</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcHsSigTypeNC" ><A NAME="v%3AtcHsSigTypeNC" ></A ></A ><B >tcHsSigTypeNC</B > :: <A HREF="TcHsType.html#t%3AUserTypeCtxt" >UserTypeCtxt</A > -> <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Type.html#t%3AType" >Type</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcHsDeriv" ><A NAME="v%3AtcHsDeriv" ></A ></A ><B >tcHsDeriv</B > :: <A HREF="HsTypes.html#t%3AHsType" >HsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > ([<A HREF="Var.html#t%3ATyVar" >TyVar</A >], <A HREF="Class.html#t%3AClass" >Class</A >, [<A HREF="Type.html#t%3AType" >Type</A >])</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcHsInstHead" ><A NAME="v%3AtcHsInstHead" ></A ></A ><B >tcHsInstHead</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > ([<A HREF="Var.html#t%3ATyVar" >TyVar</A >], <A HREF="Type.html#t%3AThetaType" >ThetaType</A >, <A HREF="Type.html#t%3AType" >Type</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcHsQuantifiedType" ><A NAME="v%3AtcHsQuantifiedType" ></A ></A ><B >tcHsQuantifiedType</B > :: [<A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > <A HREF="Name.html#t%3AName" >Name</A >] -> <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > ([<A HREF="Var.html#t%3ATyVar" >TyVar</A >], <A HREF="Type.html#t%3AType" >Type</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:UserTypeCtxt" ><A NAME="t%3AUserTypeCtxt" ></A ></A ><B >UserTypeCtxt</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:FunSigCtxt" ><A NAME="v%3AFunSigCtxt" ></A ></A ><B >FunSigCtxt</B > <A HREF="Name.html#t%3AName" >Name</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ExprSigCtxt" ><A NAME="v%3AExprSigCtxt" ></A ></A ><B >ExprSigCtxt</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ConArgCtxt" ><A NAME="v%3AConArgCtxt" ></A ></A ><B >ConArgCtxt</B > <A HREF="Name.html#t%3AName" >Name</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:TySynCtxt" ><A NAME="v%3ATySynCtxt" ></A ></A ><B >TySynCtxt</B > <A HREF="Name.html#t%3AName" >Name</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:GenPatCtxt" ><A NAME="v%3AGenPatCtxt" ></A ></A ><B >GenPatCtxt</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:LamPatSigCtxt" ><A NAME="v%3ALamPatSigCtxt" ></A ></A ><B >LamPatSigCtxt</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:BindPatSigCtxt" ><A NAME="v%3ABindPatSigCtxt" ></A ></A ><B >BindPatSigCtxt</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ResSigCtxt" ><A NAME="v%3AResSigCtxt" ></A ></A ><B >ResSigCtxt</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ForSigCtxt" ><A NAME="v%3AForSigCtxt" ></A ></A ><B >ForSigCtxt</B > <A HREF="Name.html#t%3AName" >Name</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:DefaultDeclCtxt" ><A NAME="v%3ADefaultDeclCtxt" ></A ></A ><B >DefaultDeclCtxt</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:SpecInstCtxt" ><A NAME="v%3ASpecInstCtxt" ></A ></A ><B >SpecInstCtxt</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ThBrackCtxt" ><A NAME="v%3AThBrackCtxt" ></A ></A ><B >ThBrackCtxt</B ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:kcHsTyVars" ><A NAME="v%3AkcHsTyVars" ></A ></A ><B >kcHsTyVars</B > :: [<A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > <A HREF="Name.html#t%3AName" >Name</A >] -> ([<A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > <A HREF="Name.html#t%3AName" >Name</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r) -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:kcHsSigType" ><A NAME="v%3AkcHsSigType" ></A ></A ><B >kcHsSigType</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:kcHsLiftedSigType" ><A NAME="v%3AkcHsLiftedSigType" ></A ></A ><B >kcHsLiftedSigType</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:kcLHsType" ><A NAME="v%3AkcLHsType" ></A ></A ><B >kcLHsType</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A >, <A HREF="TcType.html#t%3ATcKind" >TcKind</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:kcCheckLHsType" ><A NAME="v%3AkcCheckLHsType" ></A ></A ><B >kcCheckLHsType</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcHsType.html#t%3AExpKind" >ExpKind</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:kcHsContext" ><A NAME="v%3AkcHsContext" ></A ></A ><B >kcHsContext</B > :: <A HREF="HsTypes.html#t%3ALHsContext" >LHsContext</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="HsTypes.html#t%3ALHsContext" >LHsContext</A > <A HREF="Name.html#t%3AName" >Name</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcHsKindedContext" ><A NAME="v%3AtcHsKindedContext" ></A ></A ><B >tcHsKindedContext</B > :: <A HREF="HsTypes.html#t%3ALHsContext" >LHsContext</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Type.html#t%3AThetaType" >ThetaType</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcHsKindedType" ><A NAME="v%3AtcHsKindedType" ></A ></A ><B >tcHsKindedType</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Type.html#t%3AType" >Type</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcHsBangType" ><A NAME="v%3AtcHsBangType" ></A ></A ><B >tcHsBangType</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Type.html#t%3AType" >Type</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcTyVarBndrs" ><A NAME="v%3AtcTyVarBndrs" ></A ></A ><B >tcTyVarBndrs</B > :: [<A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > <A HREF="Name.html#t%3AName" >Name</A >] -> ([<A HREF="Var.html#t%3ATyVar" >TyVar</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r) -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:dsHsType" ><A NAME="v%3AdsHsType" ></A ></A ><B >dsHsType</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Type.html#t%3AType" >Type</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcLHsConResTy" ><A NAME="v%3AtcLHsConResTy" ></A ></A ><B >tcLHsConResTy</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="TyCon.html#t%3ATyCon" >TyCon</A >, [<A HREF="TcType.html#t%3ATcType" >TcType</A >])</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcDataKindSig" ><A NAME="v%3AtcDataKindSig" ></A ></A ><B >tcDataKindSig</B > :: <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="Type.html#t%3AKind" >Kind</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > [<A HREF="Var.html#t%3ATyVar" >TyVar</A >]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:ExpKind" ><A NAME="t%3AExpKind" ></A ></A ><B >ExpKind</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:EK" ><A NAME="v%3AEK" ></A ></A ><B >EK</B > <A HREF="TcType.html#t%3ATcKind" >TcKind</A > <A HREF="TcHsType.html#t%3AEkCtxt" >EkCtxt</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:EkCtxt" ><A NAME="t%3AEkCtxt" ></A ></A ><B >EkCtxt</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:EkUnk" ><A NAME="v%3AEkUnk" ></A ></A ><B >EkUnk</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:EkEqPred" ><A NAME="v%3AEkEqPred" ></A ></A ><B >EkEqPred</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:EkKindSig" ><A NAME="v%3AEkKindSig" ></A ></A ><B >EkKindSig</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:EkArg" ><A NAME="v%3AEkArg" ></A ></A ><B >EkArg</B > <A HREF="Outputable.html#t%3ASDoc" >SDoc</A > <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcHsPatSigType" ><A NAME="v%3AtcHsPatSigType" ></A ></A ><B >tcHsPatSigType</B > :: <A HREF="TcHsType.html#t%3AUserTypeCtxt" >UserTypeCtxt</A > -> <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > ([<A HREF="Var.html#t%3ATyVar" >TyVar</A >], <A HREF="Type.html#t%3AType" >Type</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:tcPatSig" ><A NAME="v%3AtcPatSig" ></A ></A ><B >tcPatSig</B > :: <A HREF="TcHsType.html#t%3AUserTypeCtxt" >UserTypeCtxt</A > -> <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcType.html#t%3ABoxySigmaType" >BoxySigmaType</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="TcType.html#t%3ATcType" >TcType</A >, [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="TcType.html#t%3ATcType" >TcType</A >)], <A HREF="Coercion.html#t%3ACoercionI" >CoercionI</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="botbar" >Produced by <A HREF="http://www.haskell.org/haddock/" >Haddock</A > version 2.6.1</TD ></TR ></TABLE ></BODY ></HTML >