Data.Number.Fixed

Numbers with a fixed number of decimals.

Documentation

data Fixed e

Instances

Enum (Fixed e)

Eq (Fixed e)

(Fractional (Fixed e), Epsilon e) => Floating (Fixed e)

(Num (Fixed e), Epsilon e) => Fractional (Fixed e)

Epsilon e => Num (Fixed e)

Eq (Fixed e) => Ord (Fixed e)

Epsilon e => Read (Fixed e)

(Num (Fixed e), Ord (Fixed e), Epsilon e) => Real (Fixed e)

(RealFrac (Fixed e), Floating (Fixed e), Epsilon e) => RealFloat (Fixed e)

(Real (Fixed e), Fractional (Fixed e), Epsilon 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 Prec500

Epsilon Prec50

Epsilon Prec10

Epsilon Eps1

Epsilon e => Epsilon (PrecPlus20 e)

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