<!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 >Data.Data</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" >Data.Data</DIV ><DIV CLASS="mini-synopsis" ><H1 >Module Data.Typeable re-exported for convenience </H1 > <H1 >The Data class for processing constructor applications </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-Data.html#t%3AData" TARGET="main" >Data</A > a</DIV > <H1 >Datatype representations </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Data-Data.html#t%3ADataType" TARGET="main" >DataType</A > </DIV > <H2 >Constructors </H2 > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AmkDataType" TARGET="main" >mkDataType</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AmkIntType" TARGET="main" >mkIntType</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AmkFloatType" TARGET="main" >mkFloatType</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AmkStringType" TARGET="main" >mkStringType</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AmkNorepType" TARGET="main" >mkNorepType</A ></DIV > <H2 >Observers </H2 > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AdataTypeName" TARGET="main" >dataTypeName</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Data-Data.html#t%3ADataRep" TARGET="main" >DataRep</A > </DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AdataTypeRep" TARGET="main" >dataTypeRep</A ></DIV > <H2 >Convenience functions </H2 > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3ArepConstr" TARGET="main" >repConstr</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AisAlgType" TARGET="main" >isAlgType</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AdataTypeConstrs" TARGET="main" >dataTypeConstrs</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AindexConstr" TARGET="main" >indexConstr</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AmaxConstrIndex" TARGET="main" >maxConstrIndex</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AisNorepType" TARGET="main" >isNorepType</A ></DIV > <H1 >Data constructor representations </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Data-Data.html#t%3AConstr" TARGET="main" >Constr</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Data-Data.html#t%3AConIndex" TARGET="main" >ConIndex</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Data-Data.html#t%3AFixity" TARGET="main" >Fixity</A > </DIV > <H2 >Constructors </H2 > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AmkConstr" TARGET="main" >mkConstr</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AmkIntConstr" TARGET="main" >mkIntConstr</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AmkFloatConstr" TARGET="main" >mkFloatConstr</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AmkStringConstr" TARGET="main" >mkStringConstr</A ></DIV > <H2 >Observers </H2 > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AconstrType" TARGET="main" >constrType</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Data-Data.html#t%3AConstrRep" TARGET="main" >ConstrRep</A > </DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AconstrRep" TARGET="main" >constrRep</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AconstrFields" TARGET="main" >constrFields</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AconstrFixity" TARGET="main" >constrFixity</A ></DIV > <H2 >Convenience function: algebraic data types </H2 > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AconstrIndex" TARGET="main" >constrIndex</A ></DIV > <H2 >From strings to constructors and vice versa: all data types </H2 > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AshowConstr" TARGET="main" >showConstr</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AreadConstr" TARGET="main" >readConstr</A ></DIV > <H1 >Convenience functions: take type constructors apart </H1 > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AtyconUQname" TARGET="main" >tyconUQname</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AtyconModule" TARGET="main" >tyconModule</A ></DIV > <H1 >Generic operations defined in terms of <TT ><A HREF="Data-Data.html#v%3Agunfold" >gunfold</A ></TT > </H1 > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AfromConstr" TARGET="main" >fromConstr</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AfromConstrB" TARGET="main" >fromConstrB</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-Data.html#v%3AfromConstrM" TARGET="main" >fromConstrM</A ></DIV ></DIV ></DIV ></BODY ></HTML >