Copyright	(c) Ashley Yakeley 2005 2006 2009
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	Ashley Yakeley <ashley@semantic.org>
Stability	experimental
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

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)
newtypeFixed a =MkFixed Integer
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

newtypeFixed aSource #

The type parameter should be an instance ofHasResolution.

Constructors

MkFixed Integer

Instances

Enum (Fixed a)Source #	Since: 2.1
Instance details Defined inData.Fixed Methods succ ::Fixed a ->Fixed aSource # pred ::Fixed a ->Fixed aSource # toEnum ::Int ->Fixed aSource # fromEnum ::Fixed a ->Int Source # enumFrom ::Fixed a -> [Fixed a]Source # enumFromThen ::Fixed a ->Fixed a -> [Fixed a]Source # enumFromTo ::Fixed a ->Fixed a -> [Fixed a]Source # enumFromThenTo ::Fixed a ->Fixed a ->Fixed a -> [Fixed a]Source #
Eq (Fixed a)Source #	Since: 2.1
Instance details Defined inData.Fixed Methods (==) ::Fixed a ->Fixed a ->Bool # (/=) ::Fixed a ->Fixed a ->Bool #
HasResolution a =>Fractional (Fixed a)Source #	Since: 2.1
Instance details Defined inData.Fixed Methods (/) ::Fixed a ->Fixed a ->Fixed aSource # recip ::Fixed a ->Fixed aSource # fromRational ::Rational ->Fixed aSource #
Typeable a =>Data (Fixed a)Source #	Since: 4.1.0.0
Instance details Defined inData.Fixed Methods gfoldl :: (forall d b.Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) ->Fixed a -> c (Fixed a)Source # gunfold :: (forall b r.Data b => c (b -> r) -> c r) -> (forall r. r -> c r) ->Constr -> c (Fixed a)Source # toConstr ::Fixed a ->Constr Source # dataTypeOf ::Fixed a ->DataType Source # dataCast1 ::Typeable t => (forall d.Data d => c (t d)) ->Maybe (c (Fixed a))Source # dataCast2 ::Typeable t => (forall d e. (Data d,Data e) => c (t d e)) ->Maybe (c (Fixed a))Source # gmapT :: (forall b.Data b => b -> b) ->Fixed a ->Fixed aSource # gmapQl :: (r -> r' -> r) -> r -> (forall d.Data d => d -> r') ->Fixed a -> rSource # gmapQr :: (r' -> r -> r) -> r -> (forall d.Data d => d -> r') ->Fixed a -> rSource # gmapQ :: (forall d.Data d => d -> u) ->Fixed a -> [u]Source # gmapQi ::Int -> (forall d.Data d => d -> u) ->Fixed a -> uSource # gmapM ::Monad m => (forall d.Data d => d -> m d) ->Fixed a -> m (Fixed a)Source # gmapMp ::MonadPlus m => (forall d.Data d => d -> m d) ->Fixed a -> m (Fixed a)Source # gmapMo ::MonadPlus m => (forall d.Data d => d -> m d) ->Fixed a -> m (Fixed a)Source #
HasResolution a =>Num (Fixed a)Source #	Since: 2.1
Instance details Defined inData.Fixed Methods (+) ::Fixed a ->Fixed a ->Fixed aSource # (-) ::Fixed a ->Fixed a ->Fixed aSource # (*) ::Fixed a ->Fixed a ->Fixed aSource # negate ::Fixed a ->Fixed aSource # abs ::Fixed a ->Fixed aSource # signum ::Fixed a ->Fixed aSource # fromInteger ::Integer ->Fixed aSource #
Ord (Fixed a)Source #	Since: 2.1
Instance details Defined inData.Fixed Methods compare ::Fixed a ->Fixed a ->Ordering # (<) ::Fixed a ->Fixed a ->Bool # (<=) ::Fixed a ->Fixed a ->Bool # (>) ::Fixed a ->Fixed a ->Bool # (>=) ::Fixed a ->Fixed a ->Bool # max ::Fixed a ->Fixed a ->Fixed a# min ::Fixed a ->Fixed a ->Fixed a#
HasResolution a =>Read (Fixed a)Source #	Since: 4.3.0.0
Instance details Defined inData.Fixed Methods readsPrec ::Int ->ReadS (Fixed a)Source # readList ::ReadS [Fixed a]Source # readPrec ::ReadPrec (Fixed a)Source # readListPrec ::ReadPrec [Fixed a]Source #
HasResolution a =>Real (Fixed a)Source #	Since: 2.1
Instance details Defined inData.Fixed Methods toRational ::Fixed a ->Rational Source #
HasResolution a =>RealFrac (Fixed a)Source #	Since: 2.1
Instance details Defined inData.Fixed Methods properFraction ::Integral b =>Fixed a -> (b,Fixed a)Source # truncate ::Integral b =>Fixed a -> bSource # round ::Integral b =>Fixed a -> bSource # ceiling ::Integral b =>Fixed a -> bSource # floor ::Integral b =>Fixed a -> bSource #
HasResolution a =>Show (Fixed a)Source #	Since: 2.1
Instance details Defined inData.Fixed Methods showsPrec ::Int ->Fixed a ->ShowS Source # show ::Fixed a ->String Source # showList :: [Fixed a] ->ShowS Source #

classHasResolution awhereSource #

Methods

resolution :: p a ->Integer Source #

Instances

HasResolution E12Source #	Since: 2.1
Instance details Defined inData.Fixed Methods resolution :: pE12 ->Integer Source #
HasResolution E9Source #	Since: 4.1.0.0
Instance details Defined inData.Fixed Methods resolution :: pE9 ->Integer Source #
HasResolution E6Source #	Since: 2.1
Instance details Defined inData.Fixed Methods resolution :: pE6 ->Integer Source #
HasResolution E3Source #	Since: 4.1.0.0
Instance details Defined inData.Fixed Methods resolution :: pE3 ->Integer Source #
HasResolution E2Source #	Since: 4.1.0.0
Instance details Defined inData.Fixed Methods resolution :: pE2 ->Integer Source #
HasResolution E1Source #	Since: 4.1.0.0
Instance details Defined inData.Fixed Methods resolution :: pE1 ->Integer Source #
HasResolution E0Source #	Since: 4.1.0.0
Instance details Defined inData.Fixed Methods resolution :: pE0 ->Integer Source #

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

First arg is whether to chop off trailing zeros

dataE0 Source #

Instances

HasResolution E0Source #	Since: 4.1.0.0
Instance details Defined inData.Fixed Methods resolution :: pE0 ->Integer Source #

typeUni =Fixed E0 Source #

resolution of 1, this works the same as Integer

dataE1 Source #

Instances

HasResolution E1Source #	Since: 4.1.0.0
Instance details Defined inData.Fixed Methods resolution :: pE1 ->Integer Source #

typeDeci =Fixed E1 Source #

resolution of 10^-1 = .1

dataE2 Source #

Instances

HasResolution E2Source #	Since: 4.1.0.0
Instance details Defined inData.Fixed Methods resolution :: pE2 ->Integer Source #

typeCenti =Fixed E2 Source #

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

dataE3 Source #

Instances

HasResolution E3Source #	Since: 4.1.0.0
Instance details Defined inData.Fixed Methods resolution :: pE3 ->Integer Source #

typeMilli =Fixed E3 Source #

resolution of 10^-3 = .001

dataE6 Source #

Instances

HasResolution E6Source #	Since: 2.1
Instance details Defined inData.Fixed Methods resolution :: pE6 ->Integer Source #

typeMicro =Fixed E6 Source #

resolution of 10^-6 = .000001

dataE9 Source #

Instances

HasResolution E9Source #	Since: 4.1.0.0
Instance details Defined inData.Fixed Methods resolution :: pE9 ->Integer Source #

typeNano =Fixed E9 Source #

resolution of 10^-9 = .000000001

dataE12 Source #

Instances

HasResolution E12Source #	Since: 2.1
Instance details Defined inData.Fixed Methods resolution :: pE12 ->Integer Source #

typePico =Fixed E12 Source #

resolution of 10^-12 = .000000000001

Movatterモバイル変換

Documentation