Copyright | (c) Ashley Yakeley 2005, 2006, 2009 |
---|---|
License | BSD-style (see the file libraries/base/LICENSE) |
Maintainer | Ashley Yakeley <[email protected]> |
Stability | experimental |
Portability | portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
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.
This module also contains generalisations of div, mod, and divmod to work with any Real instance.
div' :: (Real a, Integral b) => a -> a -> b Source
generalisation of div
to any instance of Real
mod' :: Real a => a -> a -> a Source
generalisation of mod
to any instance of Real
divMod' :: (Real a, Integral b) => a -> a -> (b, a) Source
generalisation of divMod
to any instance of Real
The type parameter should be an instance of HasResolution
.
Enum (Fixed a) | |
Eq (Fixed a) | |
HasResolution a => Fractional (Fixed a) | |
Typeable * a => Data (Fixed a) | |
HasResolution a => Num (Fixed a) | |
Ord (Fixed a) | |
HasResolution a => Read (Fixed a) | |
HasResolution a => Real (Fixed a) | |
HasResolution a => RealFrac (Fixed a) | |
HasResolution a => Show (Fixed a) |
class HasResolution a where Source
resolution :: p a -> Integer Source
showFixed :: HasResolution a => Bool -> Fixed a -> String Source
First arg is whether to chop off trailing zeros
resolution of 1, this works the same as Integer
resolution of 10^-1 = .1
resolution of 10^-2 = .01, useful for many monetary currencies
resolution of 10^-3 = .001
resolution of 10^-6 = .000001
resolution of 10^-9 = .000000001
resolution of 10^-12 = .000000000001
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/7.10.3/docs/html/libraries/base-4.8.2.0/Data-Fixed.html