aern2-mp-0.1.2.0: Multi-precision floats via MPFR

Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell98

AERN2.MP.UseMPFR.Ball.Conversions

Contents

Description

Conversions of arbitrary precision dyadic balls

Documentation

integerBounds :: HasIntegerBounds t => t -> (Integer, Integer) #

Orphan instances

HasIntegerBounds MPBall # 
Instance details

Methods

integerBounds :: MPBall -> (Integer, Integer) #

Convertible MPBall ErrorBound # 
Instance details

Methods

safeConvert :: MPBall -> ConvertResult ErrorBound #

ConvertibleExactly Int MPBall # 
Instance details

Methods

safeConvertExactly :: Int -> ConvertResult MPBall #

ConvertibleExactly Integer MPBall # 
Instance details

Methods

safeConvertExactly :: Integer -> ConvertResult MPBall #

ConvertibleExactly Dyadic MPBall # 
Instance details

Methods

safeConvertExactly :: Dyadic -> ConvertResult MPBall #

ConvertibleExactly ErrorBound MPBall # 
Instance details

Methods

safeConvertExactly :: ErrorBound -> ConvertResult MPBall #

ConvertibleExactly MPBall MPBall # 
Instance details

Methods

safeConvertExactly :: MPBall -> ConvertResult MPBall #

ConvertibleWithPrecision Int MPBall # 
Instance details

Methods

safeConvertP :: Precision -> Int -> ConvertResult MPBall #

ConvertibleWithPrecision Integer MPBall # 
Instance details

Methods

safeConvertP :: Precision -> Integer -> ConvertResult MPBall #

ConvertibleWithPrecision Rational MPBall # 
Instance details

Methods

safeConvertP :: Precision -> Rational -> ConvertResult MPBall #

ConvertibleWithPrecision Dyadic MPBall # 
Instance details

Methods

safeConvertP :: Precision -> Dyadic -> ConvertResult MPBall #

(ConvertibleExactly c Dyadic, ConvertibleExactly e Dyadic, Show c, Show e, Typeable c, Typeable e) => ConvertibleExactly (c, e) MPBall # 
Instance details

Methods

safeConvertExactly :: (c, e) -> ConvertResult MPBall #

ConvertibleWithPrecision (Rational, Rational) MPBall # 
Instance details

Methods

safeConvertP :: Precision -> (Rational, Rational) -> ConvertResult MPBall #