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
>Data.Fixed</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_Data-Fixed.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"
>base-4.1.0.0: Basic libraries</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"
>Data.Fixed</FONT
></TD
><TD ALIGN="right"
><TABLE CLASS="narrow" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="infohead"
>Portability</TD
><TD CLASS="infoval"
>portable</TD
></TR
><TR
><TD CLASS="infohead"
>Stability</TD
><TD CLASS="infoval"
>experimental</TD
></TR
><TR
><TD CLASS="infohead"
>Maintainer</TD
><TD CLASS="infoval"
>Ashley Yakeley &lt;ashley@semantic.org&gt;</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Description</TD
></TR
><TR
><TD CLASS="doc"
><P
>This module defines a &quot;Fixed&quot; type for fixed-precision arithmetic.
 The parameter to Fixed is any type that's an instance of HasResolution.
 HasResolution has a single method that gives the resolution of the Fixed type.
 Parameter types E6 and E12 (for 10^6 and 10^12) are defined, as well as
 type synonyms for Fixed E6 and Fixed E12.
</P
><P
>This module also contains generalisations of div, mod, and divmod to work
 with any Real instance.
</P
></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%3Adiv%27"
>div'</A
> :: (<A HREF="Prelude.html#t%3AReal"
>Real</A
> a, <A HREF="Prelude.html#t%3AIntegral"
>Integral</A
> b) =&gt; a -&gt; a -&gt; b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Amod%27"
>mod'</A
> :: <A HREF="Prelude.html#t%3AReal"
>Real</A
> a =&gt; a -&gt; a -&gt; a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdivMod%27"
>divMod'</A
> :: (<A HREF="Prelude.html#t%3AReal"
>Real</A
> a, <A HREF="Prelude.html#t%3AIntegral"
>Integral</A
> b) =&gt; a -&gt; a -&gt; (b, a)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AFixed"
>Fixed</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>class</SPAN
>  <A HREF="#t%3AHasResolution"
>HasResolution</A
> a  <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="#v%3Aresolution"
>resolution</A
> :: a -&gt; <A HREF="../integer/GHC-Integer.html#t%3AInteger"
>Integer</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AshowFixed"
>showFixed</A
> :: <A HREF="Data-Fixed.html#t%3AHasResolution"
>HasResolution</A
> a =&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; <A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> a -&gt; <A HREF="Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AE6"
>E6</A
> </TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AMicro"
>Micro</A
> = <A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> <A HREF="Data-Fixed.html#t%3AE6"
>E6</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AE12"
>E12</A
> </TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3APico"
>Pico</A
> = <A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> <A HREF="Data-Fixed.html#t%3AE12"
>E12</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"
><A NAME="v:div'"
><A NAME="v%3Adiv%27"
></A
></A
><B
>div'</B
> :: (<A HREF="Prelude.html#t%3AReal"
>Real</A
> a, <A HREF="Prelude.html#t%3AIntegral"
>Integral</A
> b) =&gt; a -&gt; a -&gt; b</TD
></TR
><TR
><TD CLASS="doc"
>generalisation of <TT
><A HREF="Prelude.html#v%3Adiv"
>div</A
></TT
> to any instance of Real
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mod'"
><A NAME="v%3Amod%27"
></A
></A
><B
>mod'</B
> :: <A HREF="Prelude.html#t%3AReal"
>Real</A
> a =&gt; a -&gt; a -&gt; a</TD
></TR
><TR
><TD CLASS="doc"
>generalisation of <TT
><A HREF="Prelude.html#v%3Amod"
>mod</A
></TT
> to any instance of Real
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:divMod'"
><A NAME="v%3AdivMod%27"
></A
></A
><B
>divMod'</B
> :: (<A HREF="Prelude.html#t%3AReal"
>Real</A
> a, <A HREF="Prelude.html#t%3AIntegral"
>Integral</A
> b) =&gt; a -&gt; a -&gt; (b, a)</TD
></TR
><TR
><TD CLASS="doc"
>generalisation of <TT
><A HREF="Prelude.html#v%3AdivMod"
>divMod</A
></TT
> to any instance of Real
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:Fixed"
><A NAME="t%3AFixed"
></A
></A
><B
>Fixed</B
> a </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:Fixed')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:Fixed" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Prelude.html#t%3AEnum"
>Enum</A
> (<A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-Eq.html#t%3AEq"
>Eq</A
> (<A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-Fixed.html#t%3AHasResolution"
>HasResolution</A
> a =&gt; <A HREF="Prelude.html#t%3AFractional"
>Fractional</A
> (<A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-Fixed.html#t%3AHasResolution"
>HasResolution</A
> a =&gt; <A HREF="Prelude.html#t%3ANum"
>Num</A
> (<A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-Ord.html#t%3AOrd"
>Ord</A
> (<A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-Fixed.html#t%3AHasResolution"
>HasResolution</A
> a =&gt; <A HREF="Prelude.html#t%3AReal"
>Real</A
> (<A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-Fixed.html#t%3AHasResolution"
>HasResolution</A
> a =&gt; <A HREF="Prelude.html#t%3ARealFrac"
>RealFrac</A
> (<A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-Fixed.html#t%3AHasResolution"
>HasResolution</A
> a =&gt; <A HREF="Text-Show.html#t%3AShow"
>Show</A
> (<A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> a)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>class</SPAN
>  <A NAME="t:HasResolution"
><A NAME="t%3AHasResolution"
></A
></A
><B
>HasResolution</B
> a  <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
>Methods</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A NAME="v:resolution"
><A NAME="v%3Aresolution"
></A
></A
><B
>resolution</B
> :: a -&gt; <A HREF="../integer/GHC-Integer.html#t%3AInteger"
>Integer</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:HasResolution')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:HasResolution" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Data-Fixed.html#t%3AHasResolution"
>HasResolution</A
> <A HREF="Data-Fixed.html#t%3AE12"
>E12</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-Fixed.html#t%3AHasResolution"
>HasResolution</A
> <A HREF="Data-Fixed.html#t%3AE6"
>E6</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:showFixed"
><A NAME="v%3AshowFixed"
></A
></A
><B
>showFixed</B
> :: <A HREF="Data-Fixed.html#t%3AHasResolution"
>HasResolution</A
> a =&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; <A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> a -&gt; <A HREF="Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="doc"
>First arg is whether to chop off trailing zeros
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:E6"
><A NAME="t%3AE6"
></A
></A
><B
>E6</B
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:E6')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:E6" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Data-Fixed.html#t%3AHasResolution"
>HasResolution</A
> <A HREF="Data-Fixed.html#t%3AE6"
>E6</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:Micro"
><A NAME="t%3AMicro"
></A
></A
><B
>Micro</B
> = <A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> <A HREF="Data-Fixed.html#t%3AE6"
>E6</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:E12"
><A NAME="t%3AE12"
></A
></A
><B
>E12</B
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:E12')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:E12" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Data-Fixed.html#t%3AHasResolution"
>HasResolution</A
> <A HREF="Data-Fixed.html#t%3AE12"
>E12</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:Pico"
><A NAME="t%3APico"
></A
></A
><B
>Pico</B
> = <A HREF="Data-Fixed.html#t%3AFixed"
>Fixed</A
> <A HREF="Data-Fixed.html#t%3AE12"
>E12</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
>