<!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 >DataCon</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ></HEAD ><BODY ><DIV CLASS="outer" ><DIV CLASS="mini-topbar" >DataCon</DIV ><DIV CLASS="mini-synopsis" ><H1 >Main data types </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="DataCon.html#t%3ADataCon" TARGET="main" >DataCon</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="DataCon.html#t%3ADataConIds" TARGET="main" >DataConIds</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="DataCon.html#t%3AConTag" TARGET="main" >ConTag</A > </DIV > <H2 >Type construction </H2 > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AmkDataCon" TARGET="main" >mkDataCon</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AfIRST_TAG" TARGET="main" >fIRST_TAG</A ></DIV > <H2 >Type deconstruction </H2 > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConRepType" TARGET="main" >dataConRepType</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConSig" TARGET="main" >dataConSig</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConFullSig" TARGET="main" >dataConFullSig</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConName" TARGET="main" >dataConName</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConIdentity" TARGET="main" >dataConIdentity</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConTag" TARGET="main" >dataConTag</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConTyCon" TARGET="main" >dataConTyCon</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConOrigTyCon" TARGET="main" >dataConOrigTyCon</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConUserType" TARGET="main" >dataConUserType</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConUnivTyVars" TARGET="main" >dataConUnivTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConExTyVars" TARGET="main" >dataConExTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConAllTyVars" TARGET="main" >dataConAllTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConEqSpec" TARGET="main" >dataConEqSpec</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AeqSpecPreds" TARGET="main" >eqSpecPreds</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConEqTheta" TARGET="main" >dataConEqTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConDictTheta" TARGET="main" >dataConDictTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConStupidTheta" TARGET="main" >dataConStupidTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConInstArgTys" TARGET="main" >dataConInstArgTys</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConOrigArgTys" TARGET="main" >dataConOrigArgTys</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConOrigResTy" TARGET="main" >dataConOrigResTy</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConInstOrigArgTys" TARGET="main" >dataConInstOrigArgTys</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConRepArgTys" TARGET="main" >dataConRepArgTys</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConFieldLabels" TARGET="main" >dataConFieldLabels</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConFieldType" TARGET="main" >dataConFieldType</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConStrictMarks" TARGET="main" >dataConStrictMarks</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConExStricts" TARGET="main" >dataConExStricts</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConSourceArity" TARGET="main" >dataConSourceArity</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConRepArity" TARGET="main" >dataConRepArity</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConIsInfix" TARGET="main" >dataConIsInfix</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConWorkId" TARGET="main" >dataConWorkId</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConWrapId" TARGET="main" >dataConWrapId</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConWrapId_maybe" TARGET="main" >dataConWrapId_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConImplicitIds" TARGET="main" >dataConImplicitIds</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdataConRepStrictness" TARGET="main" >dataConRepStrictness</A ></DIV > <H2 >Predicates on DataCons </H2 > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AisNullarySrcDataCon" TARGET="main" >isNullarySrcDataCon</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AisNullaryRepDataCon" TARGET="main" >isNullaryRepDataCon</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AisTupleCon" TARGET="main" >isTupleCon</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AisUnboxedTupleCon" TARGET="main" >isUnboxedTupleCon</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AisVanillaDataCon" TARGET="main" >isVanillaDataCon</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AclassDataCon" TARGET="main" >classDataCon</A ></DIV > <H1 >Splitting product types </H1 > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AsplitProductType_maybe" TARGET="main" >splitProductType_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AsplitProductType" TARGET="main" >splitProductType</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdeepSplitProductType" TARGET="main" >deepSplitProductType</A ></DIV > <DIV CLASS="decl" ><A HREF="DataCon.html#v%3AdeepSplitProductType_maybe" TARGET="main" >deepSplitProductType_maybe</A ></DIV ></DIV ></DIV ></BODY ></HTML >