<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Data.Fixed</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Data-Fixed.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">base-4.5.1.0: Basic libraries</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>portable</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>Ashley Yakeley <ashley@semantic.org></td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr></table><p class="caption">Data.Fixed</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This module defines a "Fixed" 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.
</p><p>This module also contains generalisations of div, mod, and divmod to work
with any Real instance.
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><a href="#v:div-39-">div'</a> :: (<a href="Prelude.html#t:Real">Real</a> a, <a href="Prelude.html#t:Integral">Integral</a> b) => a -> a -> b</li><li class="src short"><a href="#v:mod-39-">mod'</a> :: <a href="Prelude.html#t:Real">Real</a> a => a -> a -> a</li><li class="src short"><a href="#v:divMod-39-">divMod'</a> :: (<a href="Prelude.html#t:Real">Real</a> a, <a href="Prelude.html#t:Integral">Integral</a> b) => a -> a -> (b, a)</li><li class="src short"><span class="keyword">data</span> <a href="#t:Fixed">Fixed</a> a</li><li class="src short"><span class="keyword">class</span> <a href="#t:HasResolution">HasResolution</a> a <span class="keyword">where</span><ul class="subs"><li><a href="#v:resolution">resolution</a> :: p a -> <a href="Prelude.html#t:Integer">Integer</a></li></ul></li><li class="src short"><a href="#v:showFixed">showFixed</a> :: <a href="Data-Fixed.html#t:HasResolution">HasResolution</a> a => <a href="Data-Bool.html#t:Bool">Bool</a> -> <a href="Data-Fixed.html#t:Fixed">Fixed</a> a -> <a href="Data-String.html#t:String">String</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:E0">E0</a> </li><li class="src short"><span class="keyword">type</span> <a href="#t:Uni">Uni</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E0">E0</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:E1">E1</a> </li><li class="src short"><span class="keyword">type</span> <a href="#t:Deci">Deci</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E1">E1</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:E2">E2</a> </li><li class="src short"><span class="keyword">type</span> <a href="#t:Centi">Centi</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E2">E2</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:E3">E3</a> </li><li class="src short"><span class="keyword">type</span> <a href="#t:Milli">Milli</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E3">E3</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:E6">E6</a> </li><li class="src short"><span class="keyword">type</span> <a href="#t:Micro">Micro</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E6">E6</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:E9">E9</a> </li><li class="src short"><span class="keyword">type</span> <a href="#t:Nano">Nano</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E9">E9</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:E12">E12</a> </li><li class="src short"><span class="keyword">type</span> <a href="#t:Pico">Pico</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E12">E12</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:div-39-" class="def">div'</a> :: (<a href="Prelude.html#t:Real">Real</a> a, <a href="Prelude.html#t:Integral">Integral</a> b) => a -> a -> b</p><div class="doc"><p>generalisation of <code><a href="Prelude.html#v:div">div</a></code> to any instance of Real
</p></div></div><div class="top"><p class="src"><a name="v:mod-39-" class="def">mod'</a> :: <a href="Prelude.html#t:Real">Real</a> a => a -> a -> a</p><div class="doc"><p>generalisation of <code><a href="Prelude.html#v:mod">mod</a></code> to any instance of Real
</p></div></div><div class="top"><p class="src"><a name="v:divMod-39-" class="def">divMod'</a> :: (<a href="Prelude.html#t:Real">Real</a> a, <a href="Prelude.html#t:Integral">Integral</a> b) => a -> a -> (b, a)</p><div class="doc"><p>generalisation of <code><a href="Prelude.html#v:divMod">divMod</a></code> to any instance of Real
</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Fixed" class="def">Fixed</a> a </p><div class="doc"><p>The type parameter should be an instance of <code><a href="Data-Fixed.html#t:HasResolution">HasResolution</a></code>.
</p></div><div class="subs instances"><p id="control.i:Fixed" class="caption collapser" onclick="toggleSection('i:Fixed')">Instances</p><div id="section.i:Fixed" class="show"><table><tr><td class="src"><a href="Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="Data-Fixed.html#t:Fixed">Fixed</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Prelude.html#t:Enum">Enum</a> (<a href="Data-Fixed.html#t:Fixed">Fixed</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Eq.html#t:Eq">Eq</a> (<a href="Data-Fixed.html#t:Fixed">Fixed</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> a => <a href="Prelude.html#t:Fractional">Fractional</a> (<a href="Data-Fixed.html#t:Fixed">Fixed</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Typeable-Internal.html#t:Typeable">Typeable</a> a => <a href="Data-Data.html#t:Data">Data</a> (<a href="Data-Fixed.html#t:Fixed">Fixed</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> a => <a href="Prelude.html#t:Num">Num</a> (<a href="Data-Fixed.html#t:Fixed">Fixed</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Ord.html#t:Ord">Ord</a> (<a href="Data-Fixed.html#t:Fixed">Fixed</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> a => <a href="Text-Read.html#t:Read">Read</a> (<a href="Data-Fixed.html#t:Fixed">Fixed</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> a => <a href="Prelude.html#t:Real">Real</a> (<a href="Data-Fixed.html#t:Fixed">Fixed</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> a => <a href="Prelude.html#t:RealFrac">RealFrac</a> (<a href="Data-Fixed.html#t:Fixed">Fixed</a> a)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> a => <a href="Text-Show.html#t:Show">Show</a> (<a href="Data-Fixed.html#t:Fixed">Fixed</a> a)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:HasResolution" class="def">HasResolution</a> a <span class="keyword">where</span></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:resolution" class="def">resolution</a> :: p a -> <a href="Prelude.html#t:Integer">Integer</a></p></div><div class="subs instances"><p id="control.i:HasResolution" class="caption collapser" onclick="toggleSection('i:HasResolution')">Instances</p><div id="section.i:HasResolution" class="show"><table><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E12">E12</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E9">E9</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E6">E6</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E3">E3</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E2">E2</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E1">E1</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E0">E0</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:showFixed" class="def">showFixed</a> :: <a href="Data-Fixed.html#t:HasResolution">HasResolution</a> a => <a href="Data-Bool.html#t:Bool">Bool</a> -> <a href="Data-Fixed.html#t:Fixed">Fixed</a> a -> <a href="Data-String.html#t:String">String</a></p><div class="doc"><p>First arg is whether to chop off trailing zeros
</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:E0" class="def">E0</a> </p><div class="subs instances"><p id="control.i:E0" class="caption collapser" onclick="toggleSection('i:E0')">Instances</p><div id="section.i:E0" class="show"><table><tr><td class="src"><a href="Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="Data-Fixed.html#t:E0">E0</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E0">E0</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Uni" class="def">Uni</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E0">E0</a></p><div class="doc"><p>resolution of 1, this works the same as Integer
</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:E1" class="def">E1</a> </p><div class="subs instances"><p id="control.i:E1" class="caption collapser" onclick="toggleSection('i:E1')">Instances</p><div id="section.i:E1" class="show"><table><tr><td class="src"><a href="Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="Data-Fixed.html#t:E1">E1</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E1">E1</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Deci" class="def">Deci</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E1">E1</a></p><div class="doc"><p>resolution of 10^-1 = .1
</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:E2" class="def">E2</a> </p><div class="subs instances"><p id="control.i:E2" class="caption collapser" onclick="toggleSection('i:E2')">Instances</p><div id="section.i:E2" class="show"><table><tr><td class="src"><a href="Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="Data-Fixed.html#t:E2">E2</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E2">E2</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Centi" class="def">Centi</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E2">E2</a></p><div class="doc"><p>resolution of 10^-2 = .01, useful for many monetary currencies
</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:E3" class="def">E3</a> </p><div class="subs instances"><p id="control.i:E3" class="caption collapser" onclick="toggleSection('i:E3')">Instances</p><div id="section.i:E3" class="show"><table><tr><td class="src"><a href="Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="Data-Fixed.html#t:E3">E3</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E3">E3</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Milli" class="def">Milli</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E3">E3</a></p><div class="doc"><p>resolution of 10^-3 = .001
</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:E6" class="def">E6</a> </p><div class="subs instances"><p id="control.i:E6" class="caption collapser" onclick="toggleSection('i:E6')">Instances</p><div id="section.i:E6" class="show"><table><tr><td class="src"><a href="Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="Data-Fixed.html#t:E6">E6</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E6">E6</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Micro" class="def">Micro</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E6">E6</a></p><div class="doc"><p>resolution of 10^-6 = .000001
</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:E9" class="def">E9</a> </p><div class="subs instances"><p id="control.i:E9" class="caption collapser" onclick="toggleSection('i:E9')">Instances</p><div id="section.i:E9" class="show"><table><tr><td class="src"><a href="Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="Data-Fixed.html#t:E9">E9</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E9">E9</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Nano" class="def">Nano</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E9">E9</a></p><div class="doc"><p>resolution of 10^-9 = .000000001
</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:E12" class="def">E12</a> </p><div class="subs instances"><p id="control.i:E12" class="caption collapser" onclick="toggleSection('i:E12')">Instances</p><div id="section.i:E12" class="show"><table><tr><td class="src"><a href="Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="Data-Fixed.html#t:E12">E12</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Fixed.html#t:HasResolution">HasResolution</a> <a href="Data-Fixed.html#t:E12">E12</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Pico" class="def">Pico</a> = <a href="Data-Fixed.html#t:Fixed">Fixed</a> <a href="Data-Fixed.html#t:E12">E12</a></p><div class="doc"><p>resolution of 10^-12 = .000000000001
</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
2243
