aern2-mp-0.2.16.1: Multi-precision ball (interval) arithmetic

Copyright	(c) Michal Konecny
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	portable
Safe Haskell	None
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
Instance details Defined in AERN2.MP.Ball.Conversions type PlusMinusType MPBall t = MPBall

Methods

plusMinus :: MPBall -> t -> PlusMinusType MPBall t Source #

CanBeErrorBound t => CanPlusMinus Dyadic t Source #

Instance details

Associated Types

type PlusMinusType Dyadic t
Instance details Defined in AERN2.MP.Ball.Conversions type PlusMinusType Dyadic t = MPBall

Methods

plusMinus :: Dyadic -> t -> PlusMinusType Dyadic t Source #

CanBeErrorBound t => CanPlusMinus MPFloat t Source #

Instance details

Associated Types

type PlusMinusType MPFloat t
Instance details Defined in AERN2.MP.Ball.Conversions type PlusMinusType MPFloat t = MPBall

Methods

plusMinus :: MPFloat -> t -> PlusMinusType MPFloat t Source #

CanBeErrorBound t => CanPlusMinus Rational t Source #

Instance details

Associated Types

type PlusMinusType Rational t
Instance details Defined in AERN2.MP.Ball.Conversions type PlusMinusType Rational t = MPBall

Methods

plusMinus :: Rational -> t -> PlusMinusType Rational t Source #

CanBeErrorBound t => CanPlusMinus Integer t Source #

Instance details

Associated Types

type PlusMinusType Integer t
Instance details Defined in AERN2.MP.Ball.Conversions type PlusMinusType Integer t = MPBall

Methods

plusMinus :: Integer -> t -> PlusMinusType Integer t Source #

CanBeErrorBound t => CanPlusMinus Int t Source #

Instance details

Associated Types

type PlusMinusType Int t
Instance details Defined in AERN2.MP.Ball.Conversions type PlusMinusType Int t = MPBall

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
Instance details Defined in AERN2.MP.Ball.Conversions type PlusMinusType (CN MPBall) t = CN MPBall

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 #