aern2-mp-0.2.2.0: Multi-precision ball (interval) arithmetic
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

AERN2.MP.Ball.Conversions

Description

Conversions of arbitrary precision dyadic balls

Documentation

Orphan instances

HasIntegerBounds MPBall Source # 
Instance details

ConvertibleExactly Int MPBall Source # 
Instance details

ConvertibleExactly Integer MPBall Source # 
Instance details

ConvertibleExactly Dyadic MPBall Source # 
Instance details

ConvertibleExactly ErrorBound MPBall Source # 
Instance details

ConvertibleExactly MPBall MPBall Source # 
Instance details

Convertible MPBall ErrorBound Source # 
Instance details

ConvertibleWithPrecision Int MPBall Source # 
Instance details

ConvertibleWithPrecision Integer MPBall Source # 
Instance details

ConvertibleWithPrecision Rational MPBall Source # 
Instance details

ConvertibleWithPrecision Dyadic MPBall Source # 
Instance details

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 #

CanBeErrorBound t => CanPlusMinus Rational t Source # 
Instance details

Associated Types

type PlusMinusType Rational t Source #

CanBeErrorBound t => CanPlusMinus MPFloat t Source # 
Instance details

Associated Types

type PlusMinusType MPFloat t Source #

CanBeErrorBound t => CanPlusMinus Dyadic t Source # 
Instance details

Associated Types

type PlusMinusType Dyadic t Source #

CanBeErrorBound t => CanPlusMinus MPBall t Source # 
Instance details

Associated Types

type PlusMinusType MPBall t Source #

CanBeErrorBound t => CanPlusMinus (CN MPBall) t Source # 
Instance details

Associated Types

type 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

ConvertibleWithPrecision (Rational, Rational) MPBall Source # 
Instance details