Data.Fixed (original) (raw)

Data.Fixed

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.

This module also contains generalisations of div, mod, and divmod to work with any Real instance.

Synopsis

• div' :: (Real a, Integral b) => a -> a -> b
• mod' :: Real a => a -> a -> a
• divMod' :: (Real a, Integral b) => a -> a -> (b, a)
• newtype Fixed a = MkFixed Integer
• class HasResolution a where
  • resolution :: p a -> Integer
• showFixed :: HasResolution a => Bool -> Fixed a -> String
• data E0
• type Uni = Fixed E0
• data E1
• type Deci = Fixed E1
• data E2
• type Centi = Fixed E2
• data E3
• type Milli = Fixed E3
• data E6
• type Micro = Fixed E6
• data E9
• type Nano = Fixed E9
• data E12
• type Pico = Fixed E12

Documentation

type Centi = Fixed E2 Source #

resolution of 10^-2 = .01, useful for many monetary currencies