numbers-2008.4.20: Various number types Source code 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 Source

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) Epsilon e => Real (Fixed e) Epsilon e => RealFloat (Fixed e) Epsilon e => RealFrac (Fixed e) Epsilon e => Show (Fixed e)

class Epsilon e Source

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 e => Epsilon (EpsDiv10 e) Epsilon e => Epsilon (PrecPlus20 e)

data Eps1 Source

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

data EpsDiv10 p Source

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

data Prec10 Source

Ten decimals. Instances Epsilon Prec10

data Prec50 Source

50 decimals. Instances Epsilon Prec50

data PrecPlus20 e Source

Instances Epsilon e => Epsilon (PrecPlus20 e)

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

Convert between two arbitrary fixed precision types.

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

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

Produced by Haddock version 2.1.0