AERN2.MP.Ball.Conversions

Conversions of arbitrary precision dyadic balls

Documentation

data CentreRadius c e

Constructors

CentreRadius c e

Instances

ConvertibleWithPrecision (CentreRadius Rational Rational) MPBall

Defined in AERN2.MP.Ball.Conversions

Methods

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

(ConvertibleExactly c Dyadic, ConvertibleExactly e Dyadic, Show c, Show e, Typeable c, Typeable e) => ConvertibleExactly (CentreRadius c e) MPBall

Defined in AERN2.MP.Ball.Conversions

Methods

safeConvertExactly :: CentreRadius c e -> ConvertResult MPBall

Orphan instances

HasIntegerBounds MPBall

Methods

integerBounds :: MPBall -> (Integer, Integer)

CanBeErrorBound t => CanPlusMinus MPBall t

Associated Types

type PlusMinusType MPBall t

Methods

plusMinus :: MPBall -> t -> PlusMinusType MPBall t

CanBeErrorBound t => CanPlusMinus Dyadic t

Associated Types

type PlusMinusType Dyadic t

Methods

plusMinus :: Dyadic -> t -> PlusMinusType Dyadic t

CanBeErrorBound t => CanPlusMinus MPFloat t

Associated Types

type PlusMinusType MPFloat t

Methods

plusMinus :: MPFloat -> t -> PlusMinusType MPFloat t

CanBeErrorBound t => CanPlusMinus Rational t

Associated Types

type PlusMinusType Rational t

Methods

plusMinus :: Rational -> t -> PlusMinusType Rational t

CanBeErrorBound t => CanPlusMinus Integer t

Associated Types

type PlusMinusType Integer t

Methods

plusMinus :: Integer -> t -> PlusMinusType Integer t

CanBeErrorBound t => CanPlusMinus Int t

Associated Types

type PlusMinusType Int t

Methods

plusMinus :: Int -> t -> PlusMinusType Int t

ConvertibleWithPrecision Dyadic MPBall

Methods

safeConvertP :: Precision -> Dyadic -> ConvertResult MPBall

ConvertibleWithPrecision Rational MPBall

Methods

safeConvertP :: Precision -> Rational -> ConvertResult MPBall

ConvertibleWithPrecision Integer MPBall

Methods

safeConvertP :: Precision -> Integer -> ConvertResult MPBall

ConvertibleWithPrecision Int MPBall

Methods

safeConvertP :: Precision -> Int -> ConvertResult MPBall

Convertible MPBall ErrorBound

Methods

safeConvert :: MPBall -> ConvertResult ErrorBound

ConvertibleExactly MPBall MPBall

Methods

safeConvertExactly :: MPBall -> ConvertResult MPBall

ConvertibleExactly Dyadic MPBall

Methods

safeConvertExactly :: Dyadic -> ConvertResult MPBall

ConvertibleExactly ErrorBound MPBall

Methods

safeConvertExactly :: ErrorBound -> ConvertResult MPBall

ConvertibleExactly Integer MPBall

Methods

safeConvertExactly :: Integer -> ConvertResult MPBall

ConvertibleExactly Int MPBall

Methods

safeConvertExactly :: Int -> ConvertResult MPBall

CanBeErrorBound t => CanPlusMinus (CN MPBall) t

Associated Types

type PlusMinusType (CN MPBall) t

Methods

plusMinus :: CN MPBall -> t -> PlusMinusType (CN MPBall) t

ConvertibleExactly (WithSample MPBall Rational) MPBall

Methods

safeConvertExactly :: WithSample MPBall Rational -> ConvertResult MPBall

ConvertibleExactly (WithSample MPBall Integer) MPBall

Methods

safeConvertExactly :: WithSample MPBall Integer -> ConvertResult MPBall