| |||||||||||||||||||||
| |||||||||||||||||||||
| Description | |||||||||||||||||||||
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. Parameter types E6 and E12 (for 10^6 and 10^12) are defined, as well as type synonyms for Fixed E6 and Fixed E12. This module also contains generalisations of div, mod, and divmod to work with any Real instance. | |||||||||||||||||||||
| Synopsis | |||||||||||||||||||||
| |||||||||||||||||||||
| Documentation | |||||||||||||||||||||
| div' :: (Real a, Integral b) => a -> a -> b | |||||||||||||||||||||
| generalisation of div to any instance of Real | |||||||||||||||||||||
| mod' :: Real a => a -> a -> a | |||||||||||||||||||||
| generalisation of mod to any instance of Real | |||||||||||||||||||||
| divMod' :: (Real a, Integral b) => a -> a -> (b, a) | |||||||||||||||||||||
| generalisation of divMod to any instance of Real | |||||||||||||||||||||
| data Fixed a | |||||||||||||||||||||
| |||||||||||||||||||||
| class HasResolution a where | |||||||||||||||||||||
| |||||||||||||||||||||
| showFixed :: HasResolution a => Bool -> Fixed a -> String | |||||||||||||||||||||
| First arg is whether to chop off trailing zeros | |||||||||||||||||||||
| data E6 | |||||||||||||||||||||
| |||||||||||||||||||||
| type Micro = Fixed E6 | |||||||||||||||||||||
| data E12 | |||||||||||||||||||||
| |||||||||||||||||||||
| type Pico = Fixed E12 | |||||||||||||||||||||
| Produced by Haddock version 0.8 |