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

ghc-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
>TysWiredIn</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_TysWiredIn.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"
>TysWiredIn</FONT
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
><B
>Contents</B
></TD
></TR
><TR
><TD
><DL
><DT
><A HREF="#1"
>All wired in things
</A
></DT
><DT
><A HREF="#2"
>Bool
</A
></DT
><DT
><A HREF="#3"
>Char
</A
></DT
><DT
><A HREF="#4"
>Double
</A
></DT
><DT
><A HREF="#5"
>Float
</A
></DT
><DT
><A HREF="#6"
>Int
</A
></DT
><DT
><A HREF="#7"
>Word
</A
></DT
><DT
><A HREF="#8"
>List
</A
></DT
><DT
><A HREF="#9"
>Tuples
</A
></DT
><DT
><A HREF="#10"
>Unit
</A
></DT
><DT
><A HREF="#11"
>Parallel arrays
</A
></DT
></DL
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Description</TD
></TR
><TR
><TD CLASS="doc"
>This module is about types that can be defined in Haskell, but which
 must be wired into the compiler nonetheless.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Synopsis</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="#v%3AwiredInTyCons"
>wiredInTyCons</A
> :: [<A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AboolTy"
>boolTy</A
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AboolTyCon"
>boolTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AboolTyCon_RDR"
>boolTyCon_RDR</A
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AboolTyConName"
>boolTyConName</A
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AtrueDataCon"
>trueDataCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AtrueDataConId"
>trueDataConId</A
> :: <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Atrue_RDR"
>true_RDR</A
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AfalseDataCon"
>falseDataCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AfalseDataConId"
>falseDataConId</A
> :: <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Afalse_RDR"
>false_RDR</A
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcharTyCon"
>charTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcharDataCon"
>charDataCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcharTyCon_RDR"
>charTyCon_RDR</A
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcharTy"
>charTy</A
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AstringTy"
>stringTy</A
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcharTyConName"
>charTyConName</A
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdoubleTyCon"
>doubleTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdoubleDataCon"
>doubleDataCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdoubleTy"
>doubleTy</A
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdoubleTyConName"
>doubleTyConName</A
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AfloatTyCon"
>floatTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AfloatDataCon"
>floatDataCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AfloatTy"
>floatTy</A
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AfloatTyConName"
>floatTyConName</A
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AintTyCon"
>intTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AintDataCon"
>intDataCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AintTyCon_RDR"
>intTyCon_RDR</A
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AintDataCon_RDR"
>intDataCon_RDR</A
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AintTyConName"
>intTyConName</A
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AintTy"
>intTy</A
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AwordTyCon"
>wordTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AwordDataCon"
>wordDataCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AwordTyConName"
>wordTyConName</A
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AwordTy"
>wordTy</A
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AlistTyCon"
>listTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AnilDataCon"
>nilDataCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AconsDataCon"
>consDataCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AlistTyCon_RDR"
>listTyCon_RDR</A
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AconsDataCon_RDR"
>consDataCon_RDR</A
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AlistTyConName"
>listTyConName</A
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkListTy"
>mkListTy</A
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkTupleTy"
>mkTupleTy</A
> :: <A HREF="BasicTypes.html#t%3ABoxity"
>Boxity</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; [<A HREF="Type.html#t%3AType"
>Type</A
>] -&gt; <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AtupleTyCon"
>tupleTyCon</A
> :: <A HREF="BasicTypes.html#t%3ABoxity"
>Boxity</A
> -&gt; <A HREF="BasicTypes.html#t%3AArity"
>Arity</A
> -&gt; <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AtupleCon"
>tupleCon</A
> :: <A HREF="BasicTypes.html#t%3ABoxity"
>Boxity</A
> -&gt; <A HREF="BasicTypes.html#t%3AArity"
>Arity</A
> -&gt; <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AunitTyCon"
>unitTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AunitDataCon"
>unitDataCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AunitDataConId"
>unitDataConId</A
> :: <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3ApairTyCon"
>pairTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AunboxedSingletonTyCon"
>unboxedSingletonTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AunboxedSingletonDataCon"
>unboxedSingletonDataCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AunboxedPairTyCon"
>unboxedPairTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AunboxedPairDataCon"
>unboxedPairDataCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AunitTy"
>unitTy</A
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkPArrTy"
>mkPArrTy</A
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AparrTyCon"
>parrTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AparrFakeCon"
>parrFakeCon</A
> :: <A HREF="BasicTypes.html#t%3AArity"
>Arity</A
> -&gt; <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisPArrTyCon"
>isPArrTyCon</A
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisPArrFakeCon"
>isPArrFakeCon</A
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AparrTyCon_RDR"
>parrTyCon_RDR</A
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AparrTyConName"
>parrTyConName</A
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="1"
><A NAME="1"
>All wired in things
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:wiredInTyCons"
><A NAME="v%3AwiredInTyCons"
></A
></A
><B
>wiredInTyCons</B
> :: [<A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="2"
><A NAME="2"
>Bool
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:boolTy"
><A NAME="v%3AboolTy"
></A
></A
><B
>boolTy</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:boolTyCon"
><A NAME="v%3AboolTyCon"
></A
></A
><B
>boolTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:boolTyCon_RDR"
><A NAME="v%3AboolTyCon_RDR"
></A
></A
><B
>boolTyCon_RDR</B
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:boolTyConName"
><A NAME="v%3AboolTyConName"
></A
></A
><B
>boolTyConName</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:trueDataCon"
><A NAME="v%3AtrueDataCon"
></A
></A
><B
>trueDataCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:trueDataConId"
><A NAME="v%3AtrueDataConId"
></A
></A
><B
>trueDataConId</B
> :: <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:true_RDR"
><A NAME="v%3Atrue_RDR"
></A
></A
><B
>true_RDR</B
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:falseDataCon"
><A NAME="v%3AfalseDataCon"
></A
></A
><B
>falseDataCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:falseDataConId"
><A NAME="v%3AfalseDataConId"
></A
></A
><B
>falseDataConId</B
> :: <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:false_RDR"
><A NAME="v%3Afalse_RDR"
></A
></A
><B
>false_RDR</B
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="3"
><A NAME="3"
>Char
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:charTyCon"
><A NAME="v%3AcharTyCon"
></A
></A
><B
>charTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:charDataCon"
><A NAME="v%3AcharDataCon"
></A
></A
><B
>charDataCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:charTyCon_RDR"
><A NAME="v%3AcharTyCon_RDR"
></A
></A
><B
>charTyCon_RDR</B
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:charTy"
><A NAME="v%3AcharTy"
></A
></A
><B
>charTy</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:stringTy"
><A NAME="v%3AstringTy"
></A
></A
><B
>stringTy</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:charTyConName"
><A NAME="v%3AcharTyConName"
></A
></A
><B
>charTyConName</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="4"
><A NAME="4"
>Double
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:doubleTyCon"
><A NAME="v%3AdoubleTyCon"
></A
></A
><B
>doubleTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:doubleDataCon"
><A NAME="v%3AdoubleDataCon"
></A
></A
><B
>doubleDataCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:doubleTy"
><A NAME="v%3AdoubleTy"
></A
></A
><B
>doubleTy</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:doubleTyConName"
><A NAME="v%3AdoubleTyConName"
></A
></A
><B
>doubleTyConName</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="5"
><A NAME="5"
>Float
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:floatTyCon"
><A NAME="v%3AfloatTyCon"
></A
></A
><B
>floatTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:floatDataCon"
><A NAME="v%3AfloatDataCon"
></A
></A
><B
>floatDataCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:floatTy"
><A NAME="v%3AfloatTy"
></A
></A
><B
>floatTy</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:floatTyConName"
><A NAME="v%3AfloatTyConName"
></A
></A
><B
>floatTyConName</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="6"
><A NAME="6"
>Int
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:intTyCon"
><A NAME="v%3AintTyCon"
></A
></A
><B
>intTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:intDataCon"
><A NAME="v%3AintDataCon"
></A
></A
><B
>intDataCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:intTyCon_RDR"
><A NAME="v%3AintTyCon_RDR"
></A
></A
><B
>intTyCon_RDR</B
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:intDataCon_RDR"
><A NAME="v%3AintDataCon_RDR"
></A
></A
><B
>intDataCon_RDR</B
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:intTyConName"
><A NAME="v%3AintTyConName"
></A
></A
><B
>intTyConName</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:intTy"
><A NAME="v%3AintTy"
></A
></A
><B
>intTy</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="7"
><A NAME="7"
>Word
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:wordTyCon"
><A NAME="v%3AwordTyCon"
></A
></A
><B
>wordTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:wordDataCon"
><A NAME="v%3AwordDataCon"
></A
></A
><B
>wordDataCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:wordTyConName"
><A NAME="v%3AwordTyConName"
></A
></A
><B
>wordTyConName</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:wordTy"
><A NAME="v%3AwordTy"
></A
></A
><B
>wordTy</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="8"
><A NAME="8"
>List
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:listTyCon"
><A NAME="v%3AlistTyCon"
></A
></A
><B
>listTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:nilDataCon"
><A NAME="v%3AnilDataCon"
></A
></A
><B
>nilDataCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:consDataCon"
><A NAME="v%3AconsDataCon"
></A
></A
><B
>consDataCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:listTyCon_RDR"
><A NAME="v%3AlistTyCon_RDR"
></A
></A
><B
>listTyCon_RDR</B
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:consDataCon_RDR"
><A NAME="v%3AconsDataCon_RDR"
></A
></A
><B
>consDataCon_RDR</B
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:listTyConName"
><A NAME="v%3AlistTyConName"
></A
></A
><B
>listTyConName</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkListTy"
><A NAME="v%3AmkListTy"
></A
></A
><B
>mkListTy</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="9"
><A NAME="9"
>Tuples
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkTupleTy"
><A NAME="v%3AmkTupleTy"
></A
></A
><B
>mkTupleTy</B
> :: <A HREF="BasicTypes.html#t%3ABoxity"
>Boxity</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; [<A HREF="Type.html#t%3AType"
>Type</A
>] -&gt; <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tupleTyCon"
><A NAME="v%3AtupleTyCon"
></A
></A
><B
>tupleTyCon</B
> :: <A HREF="BasicTypes.html#t%3ABoxity"
>Boxity</A
> -&gt; <A HREF="BasicTypes.html#t%3AArity"
>Arity</A
> -&gt; <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tupleCon"
><A NAME="v%3AtupleCon"
></A
></A
><B
>tupleCon</B
> :: <A HREF="BasicTypes.html#t%3ABoxity"
>Boxity</A
> -&gt; <A HREF="BasicTypes.html#t%3AArity"
>Arity</A
> -&gt; <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unitTyCon"
><A NAME="v%3AunitTyCon"
></A
></A
><B
>unitTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unitDataCon"
><A NAME="v%3AunitDataCon"
></A
></A
><B
>unitDataCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unitDataConId"
><A NAME="v%3AunitDataConId"
></A
></A
><B
>unitDataConId</B
> :: <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pairTyCon"
><A NAME="v%3ApairTyCon"
></A
></A
><B
>pairTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unboxedSingletonTyCon"
><A NAME="v%3AunboxedSingletonTyCon"
></A
></A
><B
>unboxedSingletonTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unboxedSingletonDataCon"
><A NAME="v%3AunboxedSingletonDataCon"
></A
></A
><B
>unboxedSingletonDataCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unboxedPairTyCon"
><A NAME="v%3AunboxedPairTyCon"
></A
></A
><B
>unboxedPairTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unboxedPairDataCon"
><A NAME="v%3AunboxedPairDataCon"
></A
></A
><B
>unboxedPairDataCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="10"
><A NAME="10"
>Unit
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unitTy"
><A NAME="v%3AunitTy"
></A
></A
><B
>unitTy</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="11"
><A NAME="11"
>Parallel arrays
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkPArrTy"
><A NAME="v%3AmkPArrTy"
></A
></A
><B
>mkPArrTy</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="doc"
>Construct a type representing the application of the parallel array constructor 
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:parrTyCon"
><A NAME="v%3AparrTyCon"
></A
></A
><B
>parrTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="doc"
><P
>Represents the type constructor of parallel arrays
</P
><UL
><LI
> This must match the definition in <TT
>PrelPArr</TT
>
</LI
></UL
><P
>NB: Although the constructor is given here, it will not be accessible in
     user code as it is not in the environment of any compiled module except
     <TT
>PrelPArr</TT
>.
</P
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:parrFakeCon"
><A NAME="v%3AparrFakeCon"
></A
></A
><B
>parrFakeCon</B
> :: <A HREF="BasicTypes.html#t%3AArity"
>Arity</A
> -&gt; <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="doc"
><P
>Fake array constructors
</P
><UL
><LI
> These constructors are never really used to represent array values;
   however, they are very convenient during desugaring (and, in particular,
   in the pattern matching compiler) to treat array pattern just like
   yet another constructor pattern
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isPArrTyCon"
><A NAME="v%3AisPArrTyCon"
></A
></A
><B
>isPArrTyCon</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="doc"
>Check whether a type constructor is the constructor for parallel arrays
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isPArrFakeCon"
><A NAME="v%3AisPArrFakeCon"
></A
></A
><B
>isPArrFakeCon</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="doc"
>Checks whether a data constructor is a fake constructor for parallel arrays
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:parrTyCon_RDR"
><A NAME="v%3AparrTyCon_RDR"
></A
></A
><B
>parrTyCon_RDR</B
> :: <A HREF="RdrName.html#t%3ARdrName"
>RdrName</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:parrTyConName"
><A NAME="v%3AparrTyConName"
></A
></A
><B
>parrTyConName</B
> :: <A HREF="Name.html#t%3AName"
>Name</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
>