Copyright | (c) Michal Konecny |
---|---|
License | BSD3 |
Maintainer | mikkonecny@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Arbitrary precision floating-point numbers, re-using CDAR Approx type.
Synopsis
- newtype MPFloat = MPFloat {}
- lift1 :: (Approx -> Approx) -> MPFloat -> MPFloat
- lift2 :: (Approx -> Approx -> Approx) -> MPFloat -> MPFloat -> MPFloat
- lift2R :: (Approx -> Approx -> t) -> MPFloat -> MPFloat -> t
- getErrorStepSizeLog :: Approx -> Maybe Int
- setPrecisionCEDU :: Precision -> MPFloat -> BoundsCEDU MPFloat
- p2cdarPrec :: Precision -> Precision
- getBoundsCEDU :: MPFloat -> BoundsCEDU MPFloat
MPFloat numbers and their basic operations
Multiple-precision floating-point type based on CDAR.Approx with 0 radius.
Instances
getErrorStepSizeLog :: Approx -> Maybe Int Source #
Returns s
such that 2^s
is the distance to the nearest other number with the same precision.
Returns Nothing for Bottom.
setPrecisionCEDU :: Precision -> MPFloat -> BoundsCEDU MPFloat Source #
p2cdarPrec :: Precision -> Precision Source #
getBoundsCEDU :: MPFloat -> BoundsCEDU MPFloat Source #