<!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.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" >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 > -> <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 > -> <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> [<A HREF="Type.html#t%3AType" >Type</A >] -> <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 > -> <A HREF="BasicTypes.html#t%3AArity" >Arity</A > -> <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 > -> <A HREF="BasicTypes.html#t%3AArity" >Arity</A > -> <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 > -> <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 > -> <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 > -> <A HREF="../base-4.2.0.2/Data-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 > -> <A HREF="../base-4.2.0.2/Data-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 > -> <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 > -> <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> [<A HREF="Type.html#t%3AType" >Type</A >] -> <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 > -> <A HREF="BasicTypes.html#t%3AArity" >Arity</A > -> <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 > -> <A HREF="BasicTypes.html#t%3AArity" >Arity</A > -> <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 > -> <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 > -> <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 > -> <A HREF="../base-4.2.0.2/Data-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 > -> <A HREF="../base-4.2.0.2/Data-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.6.1</TD ></TR ></TABLE ></BODY ></HTML >