<!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 >HsTypes</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_HsTypes.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" >HsTypes</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" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:HsType" ><A NAME="t%3AHsType" ></A ></A ><B >HsType</B > name </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:HsForAllTy" ><A NAME="v%3AHsForAllTy" ></A ></A ><B >HsForAllTy</B > <A HREF="HsTypes.html#t%3AHsExplicitForAll" >HsExplicitForAll</A > [<A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > name] (<A HREF="HsTypes.html#t%3ALHsContext" >LHsContext</A > name) (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name)</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsTyVar" ><A NAME="v%3AHsTyVar" ></A ></A ><B >HsTyVar</B > name</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsAppTy" ><A NAME="v%3AHsAppTy" ></A ></A ><B >HsAppTy</B > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name) (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name)</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsFunTy" ><A NAME="v%3AHsFunTy" ></A ></A ><B >HsFunTy</B > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name) (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name)</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsListTy" ><A NAME="v%3AHsListTy" ></A ></A ><B >HsListTy</B > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name)</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsPArrTy" ><A NAME="v%3AHsPArrTy" ></A ></A ><B >HsPArrTy</B > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name)</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsTupleTy" ><A NAME="v%3AHsTupleTy" ></A ></A ><B >HsTupleTy</B > <A HREF="BasicTypes.html#t%3ABoxity" >Boxity</A > [<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name]</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsOpTy" ><A NAME="v%3AHsOpTy" ></A ></A ><B >HsOpTy</B > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name) (<A HREF="SrcLoc.html#t%3ALocated" >Located</A > name) (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name)</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsParTy" ><A NAME="v%3AHsParTy" ></A ></A ><B >HsParTy</B > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name)</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsNumTy" ><A NAME="v%3AHsNumTy" ></A ></A ><B >HsNumTy</B > <A HREF="../base-4.2.0.2/Prelude.html#t%3AInteger" >Integer</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsPredTy" ><A NAME="v%3AHsPredTy" ></A ></A ><B >HsPredTy</B > (<A HREF="HsTypes.html#t%3AHsPred" >HsPred</A > name)</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsKindSig" ><A NAME="v%3AHsKindSig" ></A ></A ><B >HsKindSig</B > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name) <A HREF="Type.html#t%3AKind" >Kind</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsSpliceTy" ><A NAME="v%3AHsSpliceTy" ></A ></A ><B >HsSpliceTy</B > (<A HREF="HsExpr.html#t%3AHsSplice" >HsSplice</A > name)</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsDocTy" ><A NAME="v%3AHsDocTy" ></A ></A ><B >HsDocTy</B > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name) <A HREF="HsDoc.html#t%3ALHsDocString" >LHsDocString</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsSpliceTyOut" ><A NAME="v%3AHsSpliceTyOut" ></A ></A ><B >HsSpliceTyOut</B > <A HREF="Type.html#t%3AKind" >Kind</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsBangTy" ><A NAME="v%3AHsBangTy" ></A ></A ><B >HsBangTy</B > <A HREF="HsTypes.html#t%3AHsBang" >HsBang</A > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name)</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsRecTy" ><A NAME="v%3AHsRecTy" ></A ></A ><B >HsRecTy</B > [<A HREF="HsTypes.html#t%3AConDeclField" >ConDeclField</A > name]</TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:HsType')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:HsType" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputableBndr" >OutputableBndr</A > name => <A HREF="Outputable.html#t%3AOutputable" >Outputable</A > (<A HREF="HsTypes.html#t%3AHsType" >HsType</A > name)</TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:LHsType" ><A NAME="t%3ALHsType" ></A ></A ><B >LHsType</B > name = <A HREF="SrcLoc.html#t%3ALocated" >Located</A > (<A HREF="HsTypes.html#t%3AHsType" >HsType</A > name)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:HsTyVarBndr" ><A NAME="t%3AHsTyVarBndr" ></A ></A ><B >HsTyVarBndr</B > name </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:UserTyVar" ><A NAME="v%3AUserTyVar" ></A ></A ><B >UserTyVar</B > name</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:KindedTyVar" ><A NAME="v%3AKindedTyVar" ></A ></A ><B >KindedTyVar</B > name <A HREF="Type.html#t%3AKind" >Kind</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:HsTyVarBndr')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:HsTyVarBndr" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > name => <A HREF="Outputable.html#t%3AOutputable" >Outputable</A > (<A HREF="HsTypes.html#t%3AHsTyVarBndr" >HsTyVarBndr</A > name)</TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:LHsTyVarBndr" ><A NAME="t%3ALHsTyVarBndr" ></A ></A ><B >LHsTyVarBndr</B > name = <A HREF="SrcLoc.html#t%3ALocated" >Located</A > (<A HREF="HsTypes.html#t%3AHsTyVarBndr" >HsTyVarBndr</A > name)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:HsExplicitForAll" ><A NAME="t%3AHsExplicitForAll" ></A ></A ><B >HsExplicitForAll</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:Explicit" ><A NAME="v%3AExplicit" ></A ></A ><B >Explicit</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:Implicit" ><A NAME="v%3AImplicit" ></A ></A ><B >Implicit</B ></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" >type</SPAN > <A NAME="t:HsContext" ><A NAME="t%3AHsContext" ></A ></A ><B >HsContext</B > name = [<A HREF="HsTypes.html#t%3ALHsPred" >LHsPred</A > name]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:LHsContext" ><A NAME="t%3ALHsContext" ></A ></A ><B >LHsContext</B > name = <A HREF="SrcLoc.html#t%3ALocated" >Located</A > (<A HREF="HsTypes.html#t%3AHsContext" >HsContext</A > name)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:HsPred" ><A NAME="t%3AHsPred" ></A ></A ><B >HsPred</B > name </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:HsClassP" ><A NAME="v%3AHsClassP" ></A ></A ><B >HsClassP</B > name [<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name]</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsEqualP" ><A NAME="v%3AHsEqualP" ></A ></A ><B >HsEqualP</B > (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name) (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name)</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsIParam" ><A NAME="v%3AHsIParam" ></A ></A ><B >HsIParam</B > (<A HREF="BasicTypes.html#t%3AIPName" >IPName</A > name) (<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name)</TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:HsPred')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:HsPred" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputableBndr" >OutputableBndr</A > name => <A HREF="Outputable.html#t%3AOutputable" >Outputable</A > (<A HREF="HsTypes.html#t%3AHsPred" >HsPred</A > name)</TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:LHsPred" ><A NAME="t%3ALHsPred" ></A ></A ><B >LHsPred</B > name = <A HREF="SrcLoc.html#t%3ALocated" >Located</A > (<A HREF="HsTypes.html#t%3AHsPred" >HsPred</A > name)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:LBangType" ><A NAME="t%3ALBangType" ></A ></A ><B >LBangType</B > name = <A HREF="SrcLoc.html#t%3ALocated" >Located</A > (<A HREF="HsTypes.html#t%3ABangType" >BangType</A > name)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:BangType" ><A NAME="t%3ABangType" ></A ></A ><B >BangType</B > name = <A HREF="HsTypes.html#t%3AHsType" >HsType</A > name</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:HsBang" ><A NAME="t%3AHsBang" ></A ></A ><B >HsBang</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:HsNoBang" ><A NAME="v%3AHsNoBang" ></A ></A ><B >HsNoBang</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsStrict" ><A NAME="v%3AHsStrict" ></A ></A ><B >HsStrict</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:HsUnbox" ><A NAME="v%3AHsUnbox" ></A ></A ><B >HsUnbox</B ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:HsBang')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:HsBang" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > <A HREF="HsTypes.html#t%3AHsBang" >HsBang</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:getBangType" ><A NAME="v%3AgetBangType" ></A ></A ><B >getBangType</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > a -> <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > a</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:getBangStrictness" ><A NAME="v%3AgetBangStrictness" ></A ></A ><B >getBangStrictness</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > a -> <A HREF="HsTypes.html#t%3AHsBang" >HsBang</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:ConDeclField" ><A NAME="t%3AConDeclField" ></A ></A ><B >ConDeclField</B > name </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="5" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:ConDeclField" ><A NAME="v%3AConDeclField" ></A ></A ><B >ConDeclField</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="body" COLSPAN="2" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:cd_fld_name" ><A NAME="v%3Acd_fld_name" ></A ></A ><B >cd_fld_name</B > :: <A HREF="SrcLoc.html#t%3ALocated" >Located</A > name</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:cd_fld_type" ><A NAME="v%3Acd_fld_type" ></A ></A ><B >cd_fld_type</B > :: <A HREF="HsTypes.html#t%3ALBangType" >LBangType</A > name</TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:cd_fld_doc" ><A NAME="v%3Acd_fld_doc" ></A ></A ><B >cd_fld_doc</B > :: <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="HsDoc.html#t%3ALHsDocString" >LHsDocString</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprConDeclFields" ><A NAME="v%3ApprConDeclFields" ></A ></A ><B >pprConDeclFields</B > :: <A HREF="Outputable.html#t%3AOutputableBndr" >OutputableBndr</A > name => [<A HREF="HsTypes.html#t%3AConDeclField" >ConDeclField</A > name] -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkExplicitHsForAllTy" ><A NAME="v%3AmkExplicitHsForAllTy" ></A ></A ><B >mkExplicitHsForAllTy</B > :: [<A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > name] -> <A HREF="HsTypes.html#t%3ALHsContext" >LHsContext</A > name -> <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name -> <A HREF="HsTypes.html#t%3AHsType" >HsType</A > name</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkImplicitHsForAllTy" ><A NAME="v%3AmkImplicitHsForAllTy" ></A ></A ><B >mkImplicitHsForAllTy</B > :: <A HREF="HsTypes.html#t%3ALHsContext" >LHsContext</A > name -> <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name -> <A HREF="HsTypes.html#t%3AHsType" >HsType</A > name</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:hsExplicitTvs" ><A NAME="v%3AhsExplicitTvs" ></A ></A ><B >hsExplicitTvs</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name -> [name]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:hsTyVarName" ><A NAME="v%3AhsTyVarName" ></A ></A ><B >hsTyVarName</B > :: <A HREF="HsTypes.html#t%3AHsTyVarBndr" >HsTyVarBndr</A > name -> name</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:hsTyVarNames" ><A NAME="v%3AhsTyVarNames" ></A ></A ><B >hsTyVarNames</B > :: [<A HREF="HsTypes.html#t%3AHsTyVarBndr" >HsTyVarBndr</A > name] -> [name]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:replaceTyVarName" ><A NAME="v%3AreplaceTyVarName" ></A ></A ><B >replaceTyVarName</B > :: <A HREF="HsTypes.html#t%3AHsTyVarBndr" >HsTyVarBndr</A > name1 -> name2 -> <A HREF="HsTypes.html#t%3AHsTyVarBndr" >HsTyVarBndr</A > name2</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:hsLTyVarName" ><A NAME="v%3AhsLTyVarName" ></A ></A ><B >hsLTyVarName</B > :: <A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > name -> name</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:hsLTyVarNames" ><A NAME="v%3AhsLTyVarNames" ></A ></A ><B >hsLTyVarNames</B > :: [<A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > name] -> [name]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:hsLTyVarLocName" ><A NAME="v%3AhsLTyVarLocName" ></A ></A ><B >hsLTyVarLocName</B > :: <A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > name -> <A HREF="SrcLoc.html#t%3ALocated" >Located</A > name</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:hsLTyVarLocNames" ><A NAME="v%3AhsLTyVarLocNames" ></A ></A ><B >hsLTyVarLocNames</B > :: [<A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > name] -> [<A HREF="SrcLoc.html#t%3ALocated" >Located</A > name]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:splitHsInstDeclTy" ><A NAME="v%3AsplitHsInstDeclTy" ></A ></A ><B >splitHsInstDeclTy</B > :: <A HREF="Outputable.html#t%3AOutputableBndr" >OutputableBndr</A > name => <A HREF="HsTypes.html#t%3AHsType" >HsType</A > name -> ([<A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > name], <A HREF="HsTypes.html#t%3AHsContext" >HsContext</A > name, name, [<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name])</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:splitHsFunType" ><A NAME="v%3AsplitHsFunType" ></A ></A ><B >splitHsFunType</B > :: <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name -> ([<A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name], <A HREF="HsTypes.html#t%3ALHsType" >LHsType</A > name)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:PostTcType" ><A NAME="t%3APostTcType" ></A ></A ><B >PostTcType</B > = <A HREF="Type.html#t%3AType" >Type</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:placeHolderType" ><A NAME="v%3AplaceHolderType" ></A ></A ><B >placeHolderType</B > :: <A HREF="HsTypes.html#t%3APostTcType" >PostTcType</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprParendHsType" ><A NAME="v%3ApprParendHsType" ></A ></A ><B >pprParendHsType</B > :: <A HREF="Outputable.html#t%3AOutputableBndr" >OutputableBndr</A > name => <A HREF="HsTypes.html#t%3AHsType" >HsType</A > name -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprHsForAll" ><A NAME="v%3ApprHsForAll" ></A ></A ><B >pprHsForAll</B > :: <A HREF="Outputable.html#t%3AOutputableBndr" >OutputableBndr</A > name => <A HREF="HsTypes.html#t%3AHsExplicitForAll" >HsExplicitForAll</A > -> [<A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > name] -> <A HREF="HsTypes.html#t%3ALHsContext" >LHsContext</A > name -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprHsContext" ><A NAME="v%3ApprHsContext" ></A ></A ><B >pprHsContext</B > :: <A HREF="Outputable.html#t%3AOutputableBndr" >OutputableBndr</A > name => <A HREF="HsTypes.html#t%3AHsContext" >HsContext</A > name -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:ppr_hs_context" ><A NAME="v%3Appr_hs_context" ></A ></A ><B >ppr_hs_context</B > :: <A HREF="Outputable.html#t%3AOutputableBndr" >OutputableBndr</A > name => <A HREF="HsTypes.html#t%3AHsContext" >HsContext</A > name -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprHsTyVarBndr" ><A NAME="v%3ApprHsTyVarBndr" ></A ></A ><B >pprHsTyVarBndr</B > :: <A HREF="Outputable.html#t%3AOutputable" >Outputable</A > name => name -> <A HREF="Type.html#t%3AKind" >Kind</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</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 >