base-4.10.1.0: Basic libraries

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)
- newtype Fixed a = MkFixed Integer
- class HasResolution a where
- 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

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

newtype Fixed a #

The type parameter should be an instance of `HasResolution`.

Constructors

MkFixed Integer | Since: 4.7.0.0

Instances

Enum (Fixed a) # | Since: 2.1
Methods succ :: Fixed a -> Fixed a # pred :: Fixed a -> Fixed a # toEnum :: Int -> Fixed a # fromEnum :: Fixed a -> Int # enumFrom :: Fixed a -> [Fixed a] # enumFromThen :: Fixed a -> Fixed a -> [Fixed a] # enumFromTo :: Fixed a -> Fixed a -> [Fixed a] # enumFromThenTo :: Fixed a -> Fixed a -> Fixed a -> [Fixed a] #
Eq (Fixed a) # |
Methods (==) :: Fixed a -> Fixed a -> Bool Source # (/=) :: Fixed a -> Fixed a -> Bool Source #
HasResolution a => Fractional (Fixed a) # | Since: 2.1
Methods (/) :: Fixed a -> Fixed a -> Fixed a # recip :: Fixed a -> Fixed a # fromRational :: Rational -> Fixed a #
Typeable * a => Data (Fixed a) # | Since: 4.1.0.0

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Fixed a -> c (Fixed a) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Fixed a) #

toConstr :: Fixed a -> Constr #

dataTypeOf :: Fixed a -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Fixed a)) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Fixed a)) #

gmapT :: (forall b. Data b => b -> b) -> Fixed a -> Fixed a #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Fixed a -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Fixed a -> r #

gmapQ :: (forall d. Data d => d -> u) -> Fixed a -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Fixed a -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Fixed a -> m (Fixed a) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixed a -> m (Fixed a) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixed a -> m (Fixed a) #

HasResolution a => Num (Fixed a) # | Since: 2.1
Methods (+) :: Fixed a -> Fixed a -> Fixed a # (-) :: Fixed a -> Fixed a -> Fixed a # (*) :: Fixed a -> Fixed a -> Fixed a # negate :: Fixed a -> Fixed a # abs :: Fixed a -> Fixed a # signum :: Fixed a -> Fixed a # fromInteger :: Integer -> Fixed a #
Ord (Fixed a) # |
Methods compare :: Fixed a -> Fixed a -> Ordering Source # (<) :: Fixed a -> Fixed a -> Bool Source # (<=) :: Fixed a -> Fixed a -> Bool Source # (>) :: Fixed a -> Fixed a -> Bool Source # (>=) :: Fixed a -> Fixed a -> Bool Source # max :: Fixed a -> Fixed a -> Fixed a Source # min :: Fixed a -> Fixed a -> Fixed a Source #
HasResolution a => Read (Fixed a) # | Since: 4.3.0.0
Methods readsPrec :: Int -> ReadS (Fixed a) # readList :: ReadS [Fixed a] # readPrec :: ReadPrec (Fixed a) # readListPrec :: ReadPrec [Fixed a] #
HasResolution a => Real (Fixed a) # | Since: 2.1
Methods toRational :: Fixed a -> Rational #
HasResolution a => RealFrac (Fixed a) # | Since: 2.1
Methods properFraction :: Integral b => Fixed a -> (b, Fixed a) # truncate :: Integral b => Fixed a -> b # round :: Integral b => Fixed a -> b # ceiling :: Integral b => Fixed a -> b # floor :: Integral b => Fixed a -> b #
HasResolution a => Show (Fixed a) # | Since: 2.1
Methods showsPrec :: Int -> Fixed a -> ShowS # show :: Fixed a -> String # showList :: [Fixed a] -> ShowS #

class HasResolution a where #

Minimal complete definition

resolution

Methods

resolution :: p a -> Integer #

Instances

HasResolution E12 # | Since: 2.1
Methods resolution :: p E12 -> Integer #
HasResolution E9 # | Since: 4.1.0.0
Methods resolution :: p E9 -> Integer #
HasResolution E6 # | Since: 2.1
Methods resolution :: p E6 -> Integer #
HasResolution E3 # | Since: 4.1.0.0
Methods resolution :: p E3 -> Integer #
HasResolution E2 # | Since: 4.1.0.0
Methods resolution :: p E2 -> Integer #
HasResolution E1 # | Since: 4.1.0.0
Methods resolution :: p E1 -> Integer #
HasResolution E0 # | Since: 4.1.0.0
Methods resolution :: p E0 -> Integer #

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

First arg is whether to chop off trailing zeros

data E0 #

Instances

HasResolution E0 # | Since: 4.1.0.0
Methods resolution :: p E0 -> Integer #

type Uni = Fixed E0 #

resolution of 1, this works the same as Integer

data E1 #

Instances

HasResolution E1 # | Since: 4.1.0.0
Methods resolution :: p E1 -> Integer #

type Deci = Fixed E1 #

resolution of 10^-1 = .1

data E2 #

Instances

HasResolution E2 # | Since: 4.1.0.0
Methods resolution :: p E2 -> Integer #

type Centi = Fixed E2 #

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

data E3 #

Instances

HasResolution E3 # | Since: 4.1.0.0
Methods resolution :: p E3 -> Integer #

type Milli = Fixed E3 #

resolution of 10^-3 = .001

data E6 #

Instances

HasResolution E6 # | Since: 2.1
Methods resolution :: p E6 -> Integer #

type Micro = Fixed E6 #

resolution of 10^-6 = .000001

data E9 #

Instances

HasResolution E9 # | Since: 4.1.0.0
Methods resolution :: p E9 -> Integer #

type Nano = Fixed E9 #

resolution of 10^-9 = .000000001

data E12 #

Instances

HasResolution E12 # | Since: 2.1
Methods resolution :: p E12 -> Integer #

type Pico = Fixed E12 #

resolution of 10^-12 = .000000000001