Safe Haskell | None |
---|
Numbers with a fixed number of decimals.
- data Fixed e
- class Epsilon e
- data Eps1
- data EpsDiv10 p
- data Prec10
- data Prec50
- data PrecPlus20 e
- 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
A type construct that gives one more decimals than the argument.
data PrecPlus20 e Source
Epsilon e => Epsilon (PrecPlus20 e) |