Portability	portable
Stability	experimental
Maintainer	Ashley Yakeley <ashley@semantic.org>

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)
dataFixed a
classHasResolution awhere
- resolution :: p a ->Integer
showFixed ::HasResolution a =>Bool ->Fixed a ->String
dataE0
typeUni =Fixed E0
dataE1
typeDeci =Fixed E1
dataE2
typeCenti =Fixed E2
dataE3
typeMilli =Fixed E3
dataE6
typeMicro =Fixed E6
dataE9
typeNano =Fixed E9
dataE12
typePico =Fixed E12

Documentation

div' :: (Real a,Integral b) => a -> a -> bSource

generalisation ofdiv to any instance of Real

mod' ::Real a => a -> a -> aSource

generalisation ofmod to any instance of Real

divMod' :: (Real a,Integral b) => a -> a -> (b, a)Source

generalisation ofdivMod to any instance of Real

dataFixed aSource

The type parameter should be an instance ofHasResolution.

Instances

Typeable1 Fixed
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)

classHasResolution awhereSource

Methods

resolution :: p a ->Integer Source

Instances

HasResolution E12
HasResolution E9
HasResolution E6
HasResolution E3
HasResolution E2
HasResolution E1
HasResolution E0

showFixed ::HasResolution a =>Bool ->Fixed a ->String Source

First arg is whether to chop off trailing zeros

dataE0 Source

Instances

Typeable E0
HasResolution E0

typeUni =Fixed E0 Source

resolution of 1, this works the same as Integer

dataE1 Source

Instances

Typeable E1
HasResolution E1

typeDeci =Fixed E1 Source

resolution of 10^-1 = .1

dataE2 Source

Instances

Typeable E2
HasResolution E2

typeCenti =Fixed E2 Source

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

dataE3 Source

Instances

Typeable E3
HasResolution E3

typeMilli =Fixed E3 Source

resolution of 10^-3 = .001

dataE6 Source

Instances

Typeable E6
HasResolution E6

typeMicro =Fixed E6 Source

resolution of 10^-6 = .000001

dataE9 Source

Instances

Typeable E9
HasResolution E9

typeNano =Fixed E9 Source

resolution of 10^-9 = .000000001

dataE12 Source

Instances

Typeable E12
HasResolution E12

typePico =Fixed E12 Source

resolution of 10^-12 = .000000000001

Movatterモバイル変換

Documentation