Safe Haskell | Safe-Inferred |
---|---|
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
Minimal complete definition
eps
Instances
Epsilon Eps1 Source # | |
Defined in Data.Number.Fixed | |
Epsilon Prec10 Source # | |
Defined in Data.Number.Fixed | |
Epsilon Prec50 Source # | |
Defined in Data.Number.Fixed | |
Epsilon Prec500 Source # | |
Defined in Data.Number.Fixed | |
Epsilon e => Epsilon (EpsDiv10 e) Source # | |
Defined in Data.Number.Fixed | |
Epsilon e => Epsilon (PrecPlus20 e) Source # | |
Defined in Data.Number.Fixed Methods eps :: PrecPlus20 e -> Rational |
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.