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

AERN2.MP.Ball.Conversions

Contents

Orphan instances

Description

Conversions of arbitrary precision dyadic balls

Documentation

data CentreRadius c e Source #

Constructors

CentreRadius c e

Instances

Instances details

ConvertibleWithPrecision (CentreRadius Rational Rational) MPBall Source #
Instance details Defined in AERN2.MP.Ball.Conversions Methods safeConvertP :: Precision -> CentreRadius Rational Rational -> ConvertResult MPBall Source #
(ConvertibleExactly c Dyadic, ConvertibleExactly e Dyadic, Show c, Show e, Typeable c, Typeable e) => ConvertibleExactly (CentreRadius c e) MPBall Source #
Instance details Defined in AERN2.MP.Ball.Conversions Methods safeConvertExactly :: CentreRadius c e -> ConvertResult MPBall #

Orphan instances

HasIntegerBounds MPBall Source #
Instance details Methods integerBounds :: MPBall -> (Integer, Integer) #
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 Dyadic t Source #
Instance details Associated Types type PlusMinusType Dyadic t Source # Methods plusMinus :: Dyadic -> t -> PlusMinusType Dyadic 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 Rational t Source #
Instance details Associated Types type PlusMinusType Rational t Source # Methods plusMinus :: Rational -> t -> PlusMinusType Rational 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 Int t Source #
Instance details Associated Types type PlusMinusType Int t Source # Methods plusMinus :: Int -> t -> PlusMinusType Int t Source #
ConvertibleWithPrecision Dyadic MPBall Source #
Instance details Methods safeConvertP :: Precision -> Dyadic -> ConvertResult MPBall Source #
ConvertibleWithPrecision Rational MPBall Source #
Instance details Methods safeConvertP :: Precision -> Rational -> ConvertResult MPBall Source #
ConvertibleWithPrecision Integer MPBall Source #
Instance details Methods safeConvertP :: Precision -> Integer -> ConvertResult MPBall Source #
ConvertibleWithPrecision Int MPBall Source #
Instance details Methods safeConvertP :: Precision -> Int -> ConvertResult MPBall Source #
Convertible MPBall ErrorBound Source #
Instance details Methods safeConvert :: MPBall -> ConvertResult ErrorBound #
ConvertibleExactly MPBall MPBall Source #
Instance details Methods safeConvertExactly :: MPBall -> 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 Integer MPBall Source #
Instance details Methods safeConvertExactly :: Integer -> ConvertResult MPBall #
ConvertibleExactly Int MPBall Source #
Instance details Methods safeConvertExactly :: Int -> ConvertResult MPBall #
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 (WithSample MPBall Rational) MPBall Source #
Instance details Methods safeConvertExactly :: WithSample MPBall Rational -> ConvertResult MPBall #
ConvertibleExactly (WithSample MPBall Integer) MPBall Source #
Instance details Methods safeConvertExactly :: WithSample MPBall Integer -> ConvertResult MPBall #