Safe Haskell | None |
---|---|
Language | Haskell98 |
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
- data Prec500
- 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
- with_added_precision :: forall a f. Epsilon f => Rational -> (forall e. Epsilon e => Fixed e -> a) -> Fixed f -> a
Documentation
Instances
Enum (Fixed e) Source # | |
Defined in Data.Number.Fixed | |
Eq (Fixed e) Source # | |
Epsilon e => Floating (Fixed e) Source # | |
Epsilon e => Fractional (Fixed e) Source # | |
Defined in Data.Number.Fixed | |
Epsilon e => Num (Fixed e) Source # | |
Ord (Fixed e) Source # | |
Epsilon e => Read (Fixed e) Source # | |
Defined in Data.Number.Fixed | |
Epsilon e => Real (Fixed e) Source # | |
Defined in Data.Number.Fixed Methods toRational :: Fixed e -> Rational | |
Epsilon e => RealFloat (Fixed e) Source # | |
Defined in Data.Number.Fixed Methods floatRadix :: Fixed e -> Integer floatDigits :: Fixed e -> Int floatRange :: Fixed e -> (Int, Int) decodeFloat :: Fixed e -> (Integer, Int) encodeFloat :: Integer -> Int -> Fixed e significand :: Fixed e -> Fixed e scaleFloat :: Int -> Fixed e -> Fixed e isInfinite :: Fixed e -> Bool isDenormalized :: Fixed e -> Bool isNegativeZero :: Fixed e -> Bool | |
Epsilon e => RealFrac (Fixed e) Source # | |
Epsilon e => Show (Fixed e) Source # | |
Minimal complete definition
eps
Instances
Epsilon Prec500 Source # | |
Defined in Data.Number.Fixed | |
Epsilon Prec50 Source # | |
Defined in Data.Number.Fixed | |
Epsilon Prec10 Source # | |
Defined in Data.Number.Fixed | |
Epsilon Eps1 Source # | |
Defined in Data.Number.Fixed | |
Epsilon e => Epsilon (PrecPlus20 e) Source # | |
Defined in Data.Number.Fixed Methods eps :: PrecPlus20 e -> Rational | |
Epsilon e => Epsilon (EpsDiv10 e) Source # | |
Defined in Data.Number.Fixed |
An epsilon of 1, i.e., no decimals.
A type construct that gives one more decimals than the argument.
Ten decimals.
50 decimals.
data PrecPlus20 e Source #
Instances
Epsilon e => Epsilon (PrecPlus20 e) Source # | |
Defined in Data.Number.Fixed Methods eps :: PrecPlus20 e -> Rational |
500 decimals.
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 #