numbers-2007.9.25: Various number types Contents Index

Data.Number.Fixed

Description

Numbers with a fixed number of decimals.

Synopsis

data Fixed e class Epsilon e data Eps1 data EpsDiv10 p data Prec10 data Prec50 data PrecPlus20 e convertFixed :: (Epsilon e, Epsilon f) => Fixed e -> Fixed f dynamicEps :: forall a . Rational -> (forall e . Epsilon e => Fixed e -> a) -> Rational -> a precision :: Epsilon e => Fixed e -> Rational

Documentation

data Fixed e

Instances Enum (Fixed e) Eq (Fixed e) Epsilon e => Floating (Fixed e) Epsilon e => Fractional (Fixed e) Epsilon e => Num (Fixed e) Ord (Fixed e) Epsilon e => Read (Fixed e) Real (Fixed e) Epsilon e => RealFloat (Fixed e) RealFrac (Fixed e) Epsilon e => Show (Fixed e)

class Epsilon e

The Epsilon class contains the types that can be used to determine the precision of a Fixed number. Instances Epsilon Eps1 Epsilon Prec10 Epsilon Prec50 Epsilon Prec500 Epsilon e => Epsilon (EpsDiv10 e) Epsilon e => Epsilon (PrecPlus20 e)

data Eps1

An epsilon of 1, i.e., no decimals. Instances Epsilon Eps1

data EpsDiv10 p

A type construct that gives one more decimals than the argument. Instances Epsilon e => Epsilon (EpsDiv10 e)

data Prec10

Ten decimals. Instances Epsilon Prec10

data Prec50

50 decimals. Instances Epsilon Prec50

data PrecPlus20 e

Instances Epsilon e => Epsilon (PrecPlus20 e)

convertFixed :: (Epsilon e, Epsilon f) => Fixed e -> Fixed f

Convert between two arbitrary fixed precision types.

dynamicEps :: forall a . Rational -> (forall e . Epsilon e => Fixed e -> a) -> Rational -> a

precision :: Epsilon e => Fixed e -> Rational

Produced by Haddock version 0.8