numbers-2007.9.23: Various number types

Data.Number.Fixed

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

Instances

Epsilon Prec500
Epsilon Prec50
Epsilon Prec10
Epsilon Eps1
Epsilon e => Epsilon (PrecPlus20 e)
Epsilon e => Epsilon (EpsDiv10 e)

data Eps1 Source

Instances

data EpsDiv10 p Source

Instances

Epsilon e => Epsilon (EpsDiv10 e)

data Prec10 Source

Instances

data Prec50 Source

Instances

data PrecPlus20 e Source

Instances

Epsilon e => Epsilon (PrecPlus20 e)

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

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

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