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
>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.10.4: 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: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: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="../integer/GHC-Integer.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%3ALHsDoc"
>LHsDoc</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 =&gt; <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 =&gt; <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 =&gt; <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 -&gt; <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 -&gt; <A HREF="HsTypes.html#t%3AHsBang"
>HsBang</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] -&gt; <A HREF="HsTypes.html#t%3ALHsContext"
>LHsContext</A
> name -&gt; <A HREF="HsTypes.html#t%3ALHsType"
>LHsType</A
> name -&gt; <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 -&gt; <A HREF="HsTypes.html#t%3ALHsType"
>LHsType</A
> name -&gt; <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 -&gt; [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 -&gt; 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] -&gt; [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 -&gt; name2 -&gt; <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 -&gt; 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] -&gt; [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 -&gt; <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] -&gt; [<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 =&gt; <A HREF="HsTypes.html#t%3AHsType"
>HsType</A
> name -&gt; ([<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 -&gt; ([<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 =&gt; <A HREF="HsTypes.html#t%3AHsType"
>HsType</A
> name -&gt; <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 =&gt; <A HREF="HsTypes.html#t%3AHsExplicitForAll"
>HsExplicitForAll</A
> -&gt; [<A HREF="HsTypes.html#t%3ALHsTyVarBndr"
>LHsTyVarBndr</A
> name] -&gt; <A HREF="HsTypes.html#t%3ALHsContext"
>LHsContext</A
> name -&gt; <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 =&gt; <A HREF="HsTypes.html#t%3AHsContext"
>HsContext</A
> name -&gt; <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 =&gt; <A HREF="HsTypes.html#t%3AHsContext"
>HsContext</A
> name -&gt; <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 =&gt; name -&gt; <A HREF="Type.html#t%3AKind"
>Kind</A
> -&gt; <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.4.2</TD
></TR
></TABLE
></BODY
></HTML
>