aern2-mp-0.1.0.0: Multi-precision floats via MPFR

Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell98

AERN2.MP.UseMPFR.ErrorBound

Description

Fixed precision non-negative up-rounded floating-point numbers.

Currently using a fixed-precision MPFloat.

Synopsis

Documentation

data ErrorBound Source #

A non-negative Double value to serve as an error bound. Arithmetic is rounded towards +infinity.

Instances

Eq ErrorBound Source # 
Ord ErrorBound Source # 
Show ErrorBound Source # 
Arbitrary ErrorBound Source # 
HasAccuracy ErrorBound Source # 
Convertible Int ErrorBound Source # 
Convertible Integer ErrorBound Source # 
Convertible Rational ErrorBound Source # 
Convertible MPFloat ErrorBound Source # 
CanDiv ErrorBound Integer Source # 
CanMulAsymmetric Integer ErrorBound Source # 

Associated Types

type MulType Integer ErrorBound :: * #

CanMulAsymmetric Rational ErrorBound Source # 

Associated Types

type MulType Rational ErrorBound :: * #

CanMulAsymmetric MPFloat ErrorBound Source # 

Associated Types

type MulType MPFloat ErrorBound :: * #

CanMulAsymmetric ErrorBound Integer Source # 

Associated Types

type MulType ErrorBound Integer :: * #

CanMulAsymmetric ErrorBound Rational Source # 

Associated Types

type MulType ErrorBound Rational :: * #

CanMulAsymmetric ErrorBound MPFloat Source # 

Associated Types

type MulType ErrorBound MPFloat :: * #

CanMulAsymmetric ErrorBound ErrorBound Source # 
CanAddAsymmetric MPFloat ErrorBound Source # 

Associated Types

type AddType MPFloat ErrorBound :: * #

CanAddAsymmetric ErrorBound MPFloat Source # 

Associated Types

type AddType ErrorBound MPFloat :: * #

CanAddAsymmetric ErrorBound ErrorBound Source # 
CanMinMaxAsymmetric ErrorBound ErrorBound Source # 
HasOrderAsymmetric Int ErrorBound Source # 
HasOrderAsymmetric Integer ErrorBound Source # 
HasOrderAsymmetric Rational ErrorBound Source # 
HasOrderAsymmetric MPFloat ErrorBound Source # 
HasOrderAsymmetric ErrorBound Int Source # 
HasOrderAsymmetric ErrorBound Integer Source # 
HasOrderAsymmetric ErrorBound Rational Source # 
HasOrderAsymmetric ErrorBound MPFloat Source # 
HasOrderAsymmetric ErrorBound ErrorBound Source # 
HasEqAsymmetric Int ErrorBound Source # 
HasEqAsymmetric Integer ErrorBound Source # 
HasEqAsymmetric Rational ErrorBound Source # 
HasEqAsymmetric ErrorBound Int Source # 
HasEqAsymmetric ErrorBound Integer Source # 
HasEqAsymmetric ErrorBound Rational Source # 
ConvertibleExactly ErrorBound Rational Source # 
ConvertibleExactly ErrorBound MPFloat Source # 
ConvertibleExactly ErrorBound Dyadic Source # 
type DivType ErrorBound Integer Source # 
type DivTypeNoCN ErrorBound Integer Source # 
type MulType Integer ErrorBound Source # 
type MulType Rational ErrorBound Source # 
type MulType MPFloat ErrorBound Source # 
type MulType ErrorBound Integer Source # 
type MulType ErrorBound Rational Source # 
type MulType ErrorBound MPFloat Source # 
type MulType ErrorBound ErrorBound Source # 
type AddType MPFloat ErrorBound Source # 
type AddType ErrorBound MPFloat Source # 
type AddType ErrorBound ErrorBound Source # 
type MinMaxType ErrorBound ErrorBound Source # 
type OrderCompareType Int ErrorBound Source # 
type OrderCompareType Integer ErrorBound Source # 
type OrderCompareType Rational ErrorBound Source # 
type OrderCompareType MPFloat ErrorBound Source # 
type OrderCompareType ErrorBound Int Source # 
type OrderCompareType ErrorBound Integer Source # 
type OrderCompareType ErrorBound Rational Source # 
type OrderCompareType ErrorBound MPFloat Source # 
type OrderCompareType ErrorBound ErrorBound Source # 
type EqCompareType Int ErrorBound Source # 
type EqCompareType Integer ErrorBound Source # 
type EqCompareType Rational ErrorBound Source # 
type EqCompareType ErrorBound Int Source # 
type EqCompareType ErrorBound Integer Source # 
type EqCompareType ErrorBound Rational Source #