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

AERN2.MP.Accuracy

Description

A type for measuring the accuracy of an enclosing set, roughly corresponding to the maximum absolute error in some distance metric approximately measured in bits.

Synopsis

Documentation

data Accuracy Source #

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

Constructors

NoInformation 
Exact 

Instances

Instances details
Bounded Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Enum Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Eq Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Ord Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Show Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Arbitrary Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

CanNeg Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type NegType Accuracy #

CanMulAsymmetric Integer Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type MulType Integer Accuracy #

CanMulAsymmetric Accuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type MulType Accuracy Integer #

CanAddAsymmetric Integer Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type AddType Integer Accuracy #

CanAddAsymmetric Accuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type AddType Accuracy Integer #

CanAddAsymmetric Accuracy Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type AddType Accuracy Accuracy #

CanSub Accuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type SubType Accuracy Integer #

CanSub Accuracy Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type SubType Accuracy Accuracy #

CanMinMaxAsymmetric Int Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type MinMaxType Int Accuracy #

CanMinMaxAsymmetric Integer Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type MinMaxType Integer Accuracy #

CanMinMaxAsymmetric Accuracy Int Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type MinMaxType Accuracy Int #

CanMinMaxAsymmetric Accuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type MinMaxType Accuracy Integer #

CanMinMaxAsymmetric Accuracy Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type MinMaxType Accuracy Accuracy #

HasEqAsymmetric Int Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type EqCompareType Int Accuracy #

HasEqAsymmetric Integer Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type EqCompareType Integer Accuracy #

HasEqAsymmetric Accuracy Int Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type EqCompareType Accuracy Int #

HasEqAsymmetric Accuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type EqCompareType Accuracy Integer #

HasEqAsymmetric Accuracy Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type EqCompareType Accuracy Accuracy #

HasOrderAsymmetric Int Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type OrderCompareType Int Accuracy #

HasOrderAsymmetric Integer Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type OrderCompareType Integer Accuracy #

HasOrderAsymmetric Accuracy Int Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type OrderCompareType Accuracy Int #

HasOrderAsymmetric Accuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type OrderCompareType Accuracy Integer #

HasOrderAsymmetric Accuracy Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

Associated Types

type OrderCompareType Accuracy Accuracy #

ConvertibleExactly Int Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

ConvertibleExactly Integer Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

ConvertibleExactly Precision Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

ConvertibleExactly NormLog Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type NegType Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type MulType Integer Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type MulType Accuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

type AddType Integer Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type AddType Accuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

type AddType Accuracy Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type SubType Accuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

type SubType Accuracy Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type MinMaxType Int Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type MinMaxType Integer Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type MinMaxType Accuracy Int Source # 
Instance details

Defined in AERN2.MP.Accuracy

type MinMaxType Accuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

type MinMaxType Accuracy Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type EqCompareType Int Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type EqCompareType Integer Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type EqCompareType Accuracy Int Source # 
Instance details

Defined in AERN2.MP.Accuracy

type EqCompareType Accuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

type EqCompareType Accuracy Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type OrderCompareType Int Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type OrderCompareType Integer Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

type OrderCompareType Accuracy Int Source # 
Instance details

Defined in AERN2.MP.Accuracy

type OrderCompareType Accuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

type OrderCompareType Accuracy Accuracy Source # 
Instance details

Defined in AERN2.MP.Accuracy

class HasAccuracy a where Source #

Minimal complete definition

getAccuracy

Methods

getAccuracy :: a -> Accuracy Source #

getFiniteAccuracy :: a -> Accuracy Source #

Return accuracy, except when the element is Exact, return its nominal Precision dressed as Accuracy. This function is useful when we have a convergent sequence where all elements happen to be actually equal to the limit and we need the property that the sequence elements keep improving.

Instances

Instances details
HasAccuracy Bool Source # 
Instance details

Defined in AERN2.MP.Accuracy

HasAccuracy Int Source # 
Instance details

Defined in AERN2.MP.Accuracy

HasAccuracy Integer Source # 
Instance details

Defined in AERN2.MP.Accuracy

HasAccuracy Rational Source # 
Instance details

Defined in AERN2.MP.Accuracy

HasAccuracy Kleenean Source # 
Instance details

Defined in AERN2.MP.Accuracy

HasAccuracy Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

HasAccuracy ErrorBound Source # 
Instance details

Defined in AERN2.MP.ErrorBound

HasAccuracy MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Type

HasAccuracy t => HasAccuracy [t] Source # 
Instance details

Defined in AERN2.MP.Accuracy

HasAccuracy t => HasAccuracy (Maybe t) Source # 
Instance details

Defined in AERN2.MP.Accuracy

HasAccuracy t => HasAccuracy (Complex t) Source # 
Instance details

Defined in AERN2.MP.Accuracy

(HasAccuracy a, CanBeErrors es) => HasAccuracy (CollectErrors es a) Source # 
Instance details

Defined in AERN2.MP.Accuracy

setPrecisionAtLeastAccuracy :: (HasPrecision t, CanSetPrecision t) => Accuracy -> t -> t Source #

Change the precision so that it is at least as high as the supplied accuracy (assuming the accuracy is finite).

class ShowWithAccuracy t where Source #

Instances

Instances details
ShowWithAccuracy MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Type

class HasApproximate t where Source #

An unsafe approximation of an enclosure or exact value, useful mainly for showing something brief and readable to humans.

Associated Types

type Approximate t Source #

Instances

Instances details
HasApproximate MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Type

Associated Types

type Approximate MPBall Source #