Copyright	(c) Michal Konecny
License	BSD3
Maintainer	mikkonecny@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell98

AERN2.MP.UseMPFR.Ball.Conversions

Contents

Orphan instances

Description

Conversions of arbitrary precision dyadic balls

Documentation

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

Orphan instances

HasIntegerBounds MPBall Source #
Methods integerBounds :: MPBall -> (Integer, Integer) #
Convertible MPBall ErrorBound Source #
Methods safeConvert :: MPBall -> ConvertResult ErrorBound #
ConvertibleExactly Int MPBall Source #
Methods safeConvertExactly :: Int -> ConvertResult MPBall #
ConvertibleExactly Integer MPBall Source #
Methods safeConvertExactly :: Integer -> ConvertResult MPBall #
ConvertibleExactly Dyadic MPBall Source #
Methods safeConvertExactly :: Dyadic -> ConvertResult MPBall #
ConvertibleExactly ErrorBound MPBall Source #
Methods safeConvertExactly :: ErrorBound -> ConvertResult MPBall #
ConvertibleExactly MPBall MPBall Source #
Methods safeConvertExactly :: MPBall -> ConvertResult MPBall #
ConvertibleWithPrecision Int MPBall Source #
Methods safeConvertP :: Precision -> Int -> ConvertResult MPBall Source #
ConvertibleWithPrecision Integer MPBall Source #
Methods safeConvertP :: Precision -> Integer -> ConvertResult MPBall Source #
ConvertibleWithPrecision Rational MPBall Source #
Methods safeConvertP :: Precision -> Rational -> ConvertResult MPBall Source #
ConvertibleWithPrecision Dyadic MPBall Source #
Methods safeConvertP :: Precision -> Dyadic -> ConvertResult MPBall Source #
(ConvertibleExactly c Dyadic, ConvertibleExactly e Dyadic, Show c, Show e, Typeable * c, Typeable * e) => ConvertibleExactly (c, e) MPBall Source #
Methods safeConvertExactly :: (c, e) -> ConvertResult MPBall #
ConvertibleWithPrecision (Rational, Rational) MPBall Source #
Methods safeConvertP :: Precision -> (Rational, Rational) -> ConvertResult MPBall Source #