Data.Number.Fixed

Numbers with a fixed number of decimals.

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)

Epsilon e => Real (Fixed e)

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

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

The call with_added_precision r f v evaluates f v, while temporarily multiplying the precision of v by r.