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

AERN2.MP.Ball.Conversions

Contents

Orphan instances

Description

Conversions of arbitrary precision dyadic balls

Documentation

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

Orphan instances

HasIntegerBounds MPBall Source #
Instance details Methods integerBounds :: MPBall -> (Integer, Integer) #
ConvertibleExactly Int MPBall Source #
Instance details Methods safeConvertExactly :: Int -> ConvertResult MPBall #
ConvertibleExactly Integer MPBall Source #
Instance details Methods safeConvertExactly :: Integer -> ConvertResult MPBall #
ConvertibleExactly Dyadic MPBall Source #
Instance details Methods safeConvertExactly :: Dyadic -> ConvertResult MPBall #
ConvertibleExactly ErrorBound MPBall Source #
Instance details Methods safeConvertExactly :: ErrorBound -> ConvertResult MPBall #
ConvertibleExactly MPBall MPBall Source #
Instance details Methods safeConvertExactly :: MPBall -> ConvertResult MPBall #
Convertible MPBall ErrorBound Source #
Instance details Methods safeConvert :: MPBall -> ConvertResult ErrorBound #
ConvertibleWithPrecision Int MPBall Source #
Instance details Methods safeConvertP :: Precision -> Int -> ConvertResult MPBall Source #
ConvertibleWithPrecision Integer MPBall Source #
Instance details Methods safeConvertP :: Precision -> Integer -> ConvertResult MPBall Source #
ConvertibleWithPrecision Rational MPBall Source #
Instance details Methods safeConvertP :: Precision -> Rational -> ConvertResult MPBall Source #
ConvertibleWithPrecision Dyadic MPBall Source #
Instance details Methods safeConvertP :: Precision -> Dyadic -> ConvertResult MPBall Source #
CanBeErrorBound t => CanPlusMinus Int t Source #
Instance details Associated Types type PlusMinusType Int t Source # Methods plusMinus :: Int -> t -> PlusMinusType Int t Source #
CanBeErrorBound t => CanPlusMinus Integer t Source #
Instance details Associated Types type PlusMinusType Integer t Source # Methods plusMinus :: Integer -> t -> PlusMinusType Integer t Source #
CanBeErrorBound t => CanPlusMinus Rational t Source #
Instance details Associated Types type PlusMinusType Rational t Source # Methods plusMinus :: Rational -> t -> PlusMinusType Rational t Source #
CanBeErrorBound t => CanPlusMinus MPFloat t Source #
Instance details Associated Types type PlusMinusType MPFloat t Source # Methods plusMinus :: MPFloat -> t -> PlusMinusType MPFloat t Source #
CanBeErrorBound t => CanPlusMinus Dyadic t Source #
Instance details Associated Types type PlusMinusType Dyadic t Source # Methods plusMinus :: Dyadic -> t -> PlusMinusType Dyadic t Source #
CanBeErrorBound t => CanPlusMinus MPBall t Source #
Instance details Associated Types type PlusMinusType MPBall t Source # Methods plusMinus :: MPBall -> t -> PlusMinusType MPBall t Source #
CanBeErrorBound t => CanPlusMinus (CN MPBall) t Source #
Instance details Associated Types type PlusMinusType (CN MPBall) t Source # Methods plusMinus :: CN MPBall -> t -> PlusMinusType (CN MPBall) t Source #
(ConvertibleExactly c Dyadic, ConvertibleExactly e Dyadic, Show c, Show e, Typeable c, Typeable e) => ConvertibleExactly (c, e) MPBall Source #
Instance details Methods safeConvertExactly :: (c, e) -> ConvertResult MPBall #
ConvertibleWithPrecision (Rational, Rational) MPBall Source #
Instance details Methods safeConvertP :: Precision -> (Rational, Rational) -> ConvertResult MPBall Source #