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

AERN2.MP.Dyadic

Description

Arbitrary precision floating-point numbers with exact ring operations.

Currently, we use hmpfr when compiling with ghc 7.10 and higher and haskell-mpfr when compiling with ghc 7.8.

Synopsis

Dyadic numbers and their basic operations

data Dyadic Source #

Exact dyadic type based on MPFloat.

Instances

Instances details
Eq Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Methods

(==) :: Dyadic -> Dyadic -> Bool #

(/=) :: Dyadic -> Dyadic -> Bool #

Num Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Ord Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Read Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Real Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Show Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Arbitrary Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

CanRound Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type RoundType Dyadic #

HasIntegerBounds Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Ring Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

OrderedRing Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

OrderedCertainlyRing Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

CanAbs Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AbsType Dyadic #

Methods

abs :: Dyadic -> AbsType Dyadic #

CanTestFinite Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

CanTestInteger Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

CanTestZero Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

CanTestPosNeg Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

CanNeg Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type NegType Dyadic #

CanGiveUpIfVeryInaccurate Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

HasPrecision Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

HasNorm Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

HasAccuracy Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

CanPow Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type PowType Dyadic Int #

Methods

pow :: Dyadic -> Int -> PowType Dyadic Int #

CanPow Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type PowType Dyadic Integer #

CanPow MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Elementary

Associated Types

type PowType MPBall Dyadic #

CanDiv Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Int Dyadic #

Methods

divide :: Int -> Dyadic -> DivType Int Dyadic #

CanDiv Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Integer Dyadic #

CanDiv Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Rational Dyadic #

CanDiv Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Dyadic Int #

Methods

divide :: Dyadic -> Int -> DivType Dyadic Int #

CanDiv Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Dyadic Integer #

CanDiv Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Dyadic Rational #

CanDiv Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type DivType Dyadic Dyadic #

CanDiv Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type DivType Dyadic MPBall #

CanDiv MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type DivType MPBall Dyadic #

CanMulAsymmetric Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Int Dyadic #

Methods

mul :: Int -> Dyadic -> MulType Int Dyadic #

CanMulAsymmetric Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Integer Dyadic #

CanMulAsymmetric Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Rational Dyadic #

CanMulAsymmetric Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Dyadic Int #

Methods

mul :: Dyadic -> Int -> MulType Dyadic Int #

CanMulAsymmetric Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Dyadic Integer #

CanMulAsymmetric Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Dyadic Rational #

CanMulAsymmetric Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Dyadic Dyadic #

CanMulAsymmetric Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type MulType Dyadic MPBall #

CanMulAsymmetric MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type MulType MPBall Dyadic #

CanAddAsymmetric Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Int Dyadic #

Methods

add :: Int -> Dyadic -> AddType Int Dyadic #

CanAddAsymmetric Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Integer Dyadic #

CanAddAsymmetric Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Rational Dyadic #

CanAddAsymmetric Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Dyadic Int #

Methods

add :: Dyadic -> Int -> AddType Dyadic Int #

CanAddAsymmetric Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Dyadic Integer #

CanAddAsymmetric Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Dyadic Rational #

CanAddAsymmetric Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Dyadic Dyadic #

CanAddAsymmetric Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type AddType Dyadic MPBall #

CanAddAsymmetric MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type AddType MPBall Dyadic #

CanSub Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Int Dyadic #

Methods

sub :: Int -> Dyadic -> SubType Int Dyadic #

CanSub Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Integer Dyadic #

CanSub Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Rational Dyadic #

CanSub Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Dyadic Int #

Methods

sub :: Dyadic -> Int -> SubType Dyadic Int #

CanSub Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Dyadic Integer #

CanSub Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Dyadic Rational #

CanSub Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Dyadic Dyadic #

CanSub Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type SubType Dyadic MPBall #

CanSub MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type SubType MPBall Dyadic #

CanMinMaxAsymmetric Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Int Dyadic #

CanMinMaxAsymmetric Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Integer Dyadic #

CanMinMaxAsymmetric Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Rational Dyadic #

CanMinMaxAsymmetric Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic Int #

CanMinMaxAsymmetric Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic Integer #

CanMinMaxAsymmetric Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic Rational #

CanMinMaxAsymmetric Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic Dyadic #

CanMinMaxAsymmetric Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type MinMaxType Dyadic MPBall #

CanMinMaxAsymmetric MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type MinMaxType MPBall Dyadic #

HasEqAsymmetric Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Int Dyadic #

HasEqAsymmetric Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Integer Dyadic #

HasEqAsymmetric Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Rational Dyadic #

HasEqAsymmetric Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic Int #

HasEqAsymmetric Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic Integer #

HasEqAsymmetric Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic Rational #

HasEqAsymmetric Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic Dyadic #

HasEqAsymmetric Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type EqCompareType Dyadic MPBall #

HasEqAsymmetric MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type EqCompareType MPBall Dyadic #

HasOrderAsymmetric Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Int Dyadic #

HasOrderAsymmetric Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Integer Dyadic #

HasOrderAsymmetric Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Rational Dyadic #

HasOrderAsymmetric Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic Int #

HasOrderAsymmetric Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic Integer #

HasOrderAsymmetric Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic Rational #

HasOrderAsymmetric Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic Dyadic #

HasOrderAsymmetric Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type OrderCompareType Dyadic MPBall #

HasOrderAsymmetric MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type OrderCompareType MPBall Dyadic #

ConvertibleExactly Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly MPFloat Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly Dyadic MPFloat Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Conversions

ConvertibleExactly ErrorBound Dyadic Source # 
Instance details

Defined in AERN2.MP.ErrorBound

Convertible Dyadic Double Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleWithPrecision Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Conversions

CanTestContains MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Type

Methods

contains :: MPBall -> Dyadic -> Bool Source #

CanBeErrorBound t => CanPlusMinus Dyadic t Source # 
Instance details

Defined in AERN2.MP.Ball.Conversions

Associated Types

type PlusMinusType Dyadic t Source #

(CanPow Dyadic b, CanBeErrors es) => CanPow Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type PowType Dyadic (CollectErrors es b) #

Methods

pow :: Dyadic -> CollectErrors es b -> PowType Dyadic (CollectErrors es b) #

(CanDiv Dyadic b, CanBeErrors es) => CanDiv Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Dyadic (CollectErrors es b) #

(CanMulAsymmetric Dyadic b, CanBeErrors es) => CanMulAsymmetric Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Dyadic (CollectErrors es b) #

Methods

mul :: Dyadic -> CollectErrors es b -> MulType Dyadic (CollectErrors es b) #

(CanAddAsymmetric Dyadic b, CanBeErrors es) => CanAddAsymmetric Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Dyadic (CollectErrors es b) #

Methods

add :: Dyadic -> CollectErrors es b -> AddType Dyadic (CollectErrors es b) #

(CanSub Dyadic b, CanBeErrors es) => CanSub Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Dyadic (CollectErrors es b) #

Methods

sub :: Dyadic -> CollectErrors es b -> SubType Dyadic (CollectErrors es b) #

(CanMinMaxAsymmetric Dyadic b, CanBeErrors es) => CanMinMaxAsymmetric Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic (CollectErrors es b) #

(HasEqAsymmetric Dyadic b, IsBool (CollectErrors es (EqCompareType Dyadic b)), CanBeErrors es) => HasEqAsymmetric Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic (CollectErrors es b) #

(HasOrderAsymmetric Dyadic b, IsBool (CollectErrors es (OrderCompareType Dyadic b)), CanBeErrors es) => HasOrderAsymmetric Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic (CollectErrors es b) #

(ConvertibleExactly Dyadic t, Monoid es) => ConvertibleExactly Dyadic (CollectErrors es t) Source # 
Instance details

Defined in AERN2.MP.Dyadic

Ring (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.Dyadic

OrderedRing (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.Dyadic

OrderedCertainlyRing (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.Dyadic

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

Defined in AERN2.MP.Dyadic

Associated Types

type PowType (CollectErrors es a) Dyadic #

Methods

pow :: CollectErrors es a -> Dyadic -> PowType (CollectErrors es a) Dyadic #

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

Defined in AERN2.MP.Dyadic

Associated Types

type DivType (CollectErrors es a) Dyadic #

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

Defined in AERN2.MP.Dyadic

Associated Types

type MulType (CollectErrors es a) Dyadic #

Methods

mul :: CollectErrors es a -> Dyadic -> MulType (CollectErrors es a) Dyadic #

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

Defined in AERN2.MP.Dyadic

Associated Types

type AddType (CollectErrors es a) Dyadic #

Methods

add :: CollectErrors es a -> Dyadic -> AddType (CollectErrors es a) Dyadic #

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

Defined in AERN2.MP.Dyadic

Associated Types

type SubType (CollectErrors es a) Dyadic #

Methods

sub :: CollectErrors es a -> Dyadic -> SubType (CollectErrors es a) Dyadic #

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

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType (CollectErrors es a) Dyadic #

(HasEqAsymmetric a Dyadic, IsBool (CollectErrors es (EqCompareType a Dyadic)), CanBeErrors es) => HasEqAsymmetric (CollectErrors es a) Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType (CollectErrors es a) Dyadic #

(HasOrderAsymmetric a Dyadic, IsBool (CollectErrors es (OrderCompareType a Dyadic)), CanBeErrors es) => HasOrderAsymmetric (CollectErrors es a) Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType (CollectErrors es a) Dyadic #

type RoundType Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AbsType Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type NegType Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type PowType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type PowType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type PowType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Elementary

type DivType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type DivType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type DivType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type MulType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type MulType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type AddType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type AddType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type SubType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type SubType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type MinMaxType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

type MinMaxType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

type EqCompareType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

type EqCompareType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

type OrderCompareType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

type OrderCompareType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

type PlusMinusType Dyadic t Source # 
Instance details

Defined in AERN2.MP.Ball.Conversions

type PowType Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

type PowType (CollectErrors es a) Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType (CollectErrors es a) Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType (CollectErrors es a) Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType (CollectErrors es a) Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType (CollectErrors es a) Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType (CollectErrors es a) Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType (CollectErrors es a) Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType (CollectErrors es a) Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Dyadic constructors

tests

tDyadic :: T Dyadic Source #

A runtime representative of type Dyadic. Used for specialising polymorphic tests to concrete types.