Sophie

Sophie

distrib > Fedora > 14 > x86_64 > by-pkgid > da2ed07af0cf0f424d74f4cc6829a27c > files > 966

ghc-ghc-devel-6.12.3-8.6.fc14.i686.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
>HsLit</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_HsLit.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"
>HsLit</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"
>Before* type checking, the SyntaxExpr in an HsOverLit is the
</A
></DT
><DT
><A HREF="#2"
>After* type checking, it is a witness for the literal, such as
</A
></DT
></DL
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></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"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AHsLit"
>HsLit</A
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3AHsChar"
>HsChar</A
> <A HREF="../base-4.2.0.2/Data-Char.html#t%3AChar"
>Char</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsCharPrim"
>HsCharPrim</A
> <A HREF="../base-4.2.0.2/Data-Char.html#t%3AChar"
>Char</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsString"
>HsString</A
> <A HREF="FastString.html#t%3AFastString"
>FastString</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsStringPrim"
>HsStringPrim</A
> <A HREF="FastString.html#t%3AFastString"
>FastString</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsInt"
>HsInt</A
> <A HREF="../base-4.2.0.2/Prelude.html#t%3AInteger"
>Integer</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsIntPrim"
>HsIntPrim</A
> <A HREF="../base-4.2.0.2/Prelude.html#t%3AInteger"
>Integer</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsWordPrim"
>HsWordPrim</A
> <A HREF="../base-4.2.0.2/Prelude.html#t%3AInteger"
>Integer</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsInteger"
>HsInteger</A
> <A HREF="../base-4.2.0.2/Prelude.html#t%3AInteger"
>Integer</A
> <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsRat"
>HsRat</A
> <A HREF="../base-4.2.0.2/Prelude.html#t%3ARational"
>Rational</A
> <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsFloatPrim"
>HsFloatPrim</A
> <A HREF="../base-4.2.0.2/Prelude.html#t%3ARational"
>Rational</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsDoublePrim"
>HsDoublePrim</A
> <A HREF="../base-4.2.0.2/Prelude.html#t%3ARational"
>Rational</A
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AHsOverLit"
>HsOverLit</A
> id = <A HREF="#v%3AOverLit"
>OverLit</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aol_val"
>ol_val</A
> :: <A HREF="HsLit.html#t%3AOverLitVal"
>OverLitVal</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aol_rebindable"
>ol_rebindable</A
> :: <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aol_witness"
>ol_witness</A
> :: <A HREF="HsExpr.html#t%3ASyntaxExpr"
>SyntaxExpr</A
> id</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aol_type"
>ol_type</A
> :: <A HREF="HsTypes.html#t%3APostTcType"
>PostTcType</A
></TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AOverLitVal"
>OverLitVal</A
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3AHsIntegral"
>HsIntegral</A
> !<A HREF="../base-4.2.0.2/Prelude.html#t%3AInteger"
>Integer</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsFractional"
>HsFractional</A
> !<A HREF="../base-4.2.0.2/Prelude.html#t%3ARational"
>Rational</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsIsString"
>HsIsString</A
> !<A HREF="FastString.html#t%3AFastString"
>FastString</A
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AoverLitType"
>overLitType</A
> ::  <A HREF="HsLit.html#t%3AHsOverLit"
>HsOverLit</A
> a -&gt; <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
></TABLE
></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:HsLit"
><A NAME="t%3AHsLit"
></A
></A
><B
>HsLit</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:HsChar"
><A NAME="v%3AHsChar"
></A
></A
><B
>HsChar</B
> <A HREF="../base-4.2.0.2/Data-Char.html#t%3AChar"
>Char</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsCharPrim"
><A NAME="v%3AHsCharPrim"
></A
></A
><B
>HsCharPrim</B
> <A HREF="../base-4.2.0.2/Data-Char.html#t%3AChar"
>Char</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsString"
><A NAME="v%3AHsString"
></A
></A
><B
>HsString</B
> <A HREF="FastString.html#t%3AFastString"
>FastString</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsStringPrim"
><A NAME="v%3AHsStringPrim"
></A
></A
><B
>HsStringPrim</B
> <A HREF="FastString.html#t%3AFastString"
>FastString</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsInt"
><A NAME="v%3AHsInt"
></A
></A
><B
>HsInt</B
> <A HREF="../base-4.2.0.2/Prelude.html#t%3AInteger"
>Integer</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsIntPrim"
><A NAME="v%3AHsIntPrim"
></A
></A
><B
>HsIntPrim</B
> <A HREF="../base-4.2.0.2/Prelude.html#t%3AInteger"
>Integer</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsWordPrim"
><A NAME="v%3AHsWordPrim"
></A
></A
><B
>HsWordPrim</B
> <A HREF="../base-4.2.0.2/Prelude.html#t%3AInteger"
>Integer</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsInteger"
><A NAME="v%3AHsInteger"
></A
></A
><B
>HsInteger</B
> <A HREF="../base-4.2.0.2/Prelude.html#t%3AInteger"
>Integer</A
> <A HREF="Type.html#t%3AType"
>Type</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsRat"
><A NAME="v%3AHsRat"
></A
></A
><B
>HsRat</B
> <A HREF="../base-4.2.0.2/Prelude.html#t%3ARational"
>Rational</A
> <A HREF="Type.html#t%3AType"
>Type</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsFloatPrim"
><A NAME="v%3AHsFloatPrim"
></A
></A
><B
>HsFloatPrim</B
> <A HREF="../base-4.2.0.2/Prelude.html#t%3ARational"
>Rational</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsDoublePrim"
><A NAME="v%3AHsDoublePrim"
></A
></A
><B
>HsDoublePrim</B
> <A HREF="../base-4.2.0.2/Prelude.html#t%3ARational"
>Rational</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:HsLit')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:HsLit" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="../base-4.2.0.2/Data-Eq.html#t%3AEq"
>Eq</A
> <A HREF="HsLit.html#t%3AHsLit"
>HsLit</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> <A HREF="HsLit.html#t%3AHsLit"
>HsLit</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:HsOverLit"
><A NAME="t%3AHsOverLit"
></A
></A
><B
>HsOverLit</B
> id </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="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:OverLit"
><A NAME="v%3AOverLit"
></A
></A
><B
>OverLit</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:ol_val"
><A NAME="v%3Aol_val"
></A
></A
><B
>ol_val</B
> :: <A HREF="HsLit.html#t%3AOverLitVal"
>OverLitVal</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:ol_rebindable"
><A NAME="v%3Aol_rebindable"
></A
></A
><B
>ol_rebindable</B
> :: <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:ol_witness"
><A NAME="v%3Aol_witness"
></A
></A
><B
>ol_witness</B
> :: <A HREF="HsExpr.html#t%3ASyntaxExpr"
>SyntaxExpr</A
> id</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:ol_type"
><A NAME="v%3Aol_type"
></A
></A
><B
>ol_type</B
> :: <A HREF="HsTypes.html#t%3APostTcType"
>PostTcType</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:HsOverLit')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:HsOverLit" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="../base-4.2.0.2/Data-Eq.html#t%3AEq"
>Eq</A
> (<A HREF="HsLit.html#t%3AHsOverLit"
>HsOverLit</A
> id)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="../base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> (<A HREF="HsLit.html#t%3AHsOverLit"
>HsOverLit</A
> id)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> id =&gt; <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> (<A HREF="HsLit.html#t%3AHsOverLit"
>HsOverLit</A
> id)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:OverLitVal"
><A NAME="t%3AOverLitVal"
></A
></A
><B
>OverLitVal</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:HsIntegral"
><A NAME="v%3AHsIntegral"
></A
></A
><B
>HsIntegral</B
> !<A HREF="../base-4.2.0.2/Prelude.html#t%3AInteger"
>Integer</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsFractional"
><A NAME="v%3AHsFractional"
></A
></A
><B
>HsFractional</B
> !<A HREF="../base-4.2.0.2/Prelude.html#t%3ARational"
>Rational</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsIsString"
><A NAME="v%3AHsIsString"
></A
></A
><B
>HsIsString</B
> !<A HREF="FastString.html#t%3AFastString"
>FastString</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:OverLitVal')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:OverLitVal" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="../base-4.2.0.2/Data-Eq.html#t%3AEq"
>Eq</A
> <A HREF="HsLit.html#t%3AOverLitVal"
>OverLitVal</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="../base-4.2.0.2/Data-Ord.html#t%3AOrd"
>Ord</A
> <A HREF="HsLit.html#t%3AOverLitVal"
>OverLitVal</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> <A HREF="HsLit.html#t%3AOverLitVal"
>OverLitVal</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:overLitType"
><A NAME="v%3AoverLitType"
></A
></A
><B
>overLitType</B
> ::  <A HREF="HsLit.html#t%3AHsOverLit"
>HsOverLit</A
> a -&gt; <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="1"
><A NAME="1"
>Before* type checking, the SyntaxExpr in an HsOverLit is the
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="2"
><A NAME="2"
>After* type checking, it is a witness for the literal, such as
</A
></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
>