aern2-mp-0.2.16.0: Multi-precision ball (interval) arithmetic
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
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
Arbitrary Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

HasAccuracy 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

Num 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

Eq Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Methods

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

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

Ord Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

CanNeg Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type NegType 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

CanAbs Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AbsType Dyadic #

Methods

abs :: Dyadic -> AbsType Dyadic #

CanTestPosNeg Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

CanGiveUpIfVeryInaccurate Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

OrderedCertainlyRing Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

OrderedRing Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Ring 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

CanBeErrorBound t => CanPlusMinus Dyadic t Source # 
Instance details

Defined in AERN2.MP.Ball.Conversions

Associated Types

type PlusMinusType Dyadic t Source #

CanTestContains MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Type

Methods

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

ConvertibleWithPrecision Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Conversions

Convertible Dyadic Double Source # 
Instance details

Defined in AERN2.MP.Dyadic

CanAddAsymmetric MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type AddType MPBall Dyadic #

CanAddAsymmetric Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type AddType Dyadic MPBall #

CanAddAsymmetric Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Dyadic Dyadic #

CanAddAsymmetric Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Dyadic Rational #

CanAddAsymmetric Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Dyadic Integer #

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 Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Rational Dyadic #

CanAddAsymmetric Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Integer 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 #

CanSub MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type SubType MPBall Dyadic #

CanSub Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type SubType Dyadic MPBall #

CanSub Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Dyadic Dyadic #

CanSub Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Dyadic Rational #

CanSub Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Dyadic Integer #

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 Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Rational Dyadic #

CanSub Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Integer 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 #

CanDiv MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type DivType MPBall Dyadic #

CanDiv Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type DivType Dyadic MPBall #

CanDiv Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type DivType Dyadic Dyadic #

CanDiv Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Dyadic Rational #

CanDiv Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Dyadic Integer #

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 Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Rational Dyadic #

CanDiv Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Integer 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 #

HasEqAsymmetric MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type EqCompareType MPBall Dyadic #

HasEqAsymmetric Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type EqCompareType Dyadic MPBall #

HasEqAsymmetric Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic Dyadic #

HasEqAsymmetric Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic Rational #

HasEqAsymmetric Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic Integer #

HasEqAsymmetric Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic Int #

HasEqAsymmetric Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Rational Dyadic #

HasEqAsymmetric Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Integer Dyadic #

HasEqAsymmetric Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Int Dyadic #

ConvertibleExactly Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Conversions

ConvertibleExactly Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly Dyadic MPFloat Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly ErrorBound Dyadic Source # 
Instance details

Defined in AERN2.MP.ErrorBound

ConvertibleExactly MPFloat Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

ConvertibleExactly Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

CanMinMaxAsymmetric MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type MinMaxType MPBall Dyadic #

CanMinMaxAsymmetric Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type MinMaxType Dyadic MPBall #

CanMinMaxAsymmetric Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic Dyadic #

CanMinMaxAsymmetric Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic Rational #

CanMinMaxAsymmetric Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic Integer #

CanMinMaxAsymmetric Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic Int #

CanMinMaxAsymmetric Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Rational Dyadic #

CanMinMaxAsymmetric Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Integer Dyadic #

CanMinMaxAsymmetric Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Int Dyadic #

CanMulAsymmetric MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type MulType MPBall Dyadic #

CanMulAsymmetric Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

Associated Types

type MulType Dyadic MPBall #

CanMulAsymmetric Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Dyadic Dyadic #

CanMulAsymmetric Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Dyadic Rational #

CanMulAsymmetric Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Dyadic Integer #

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 Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Rational Dyadic #

CanMulAsymmetric Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Integer 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 #

HasOrderAsymmetric MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type OrderCompareType MPBall Dyadic #

HasOrderAsymmetric Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type OrderCompareType Dyadic MPBall #

HasOrderAsymmetric Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic Dyadic #

HasOrderAsymmetric Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic Rational #

HasOrderAsymmetric Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic Integer #

HasOrderAsymmetric Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic Int #

HasOrderAsymmetric Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Rational Dyadic #

HasOrderAsymmetric Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Integer Dyadic #

HasOrderAsymmetric Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Int Dyadic #

CanPow MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Elementary

Associated Types

type PowType MPBall Dyadic #

type PPowType MPBall Dyadic #

CanPow Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type PowType Dyadic Integer #

type PPowType Dyadic Integer #

CanPow Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

Associated Types

type PowType Dyadic Int #

type PPowType Dyadic Int #

(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) #

(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) #

(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) #

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

Defined in AERN2.MP.Dyadic

(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) #

(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) #

(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) #

(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) #

type PPowType Dyadic (CollectErrors es b) #

CanAddAsymmetric Dyadic a => CanAddAsymmetric Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType Dyadic (WithCurrentPrec p a) #

CanSub Dyadic a => CanSub Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType Dyadic (WithCurrentPrec p a) #

CanDiv Dyadic a => CanDiv Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType Dyadic (WithCurrentPrec p a) #

HasEqAsymmetric Dyadic a => HasEqAsymmetric Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType Dyadic (WithCurrentPrec p a) #

CanMinMaxAsymmetric Dyadic a => CanMinMaxAsymmetric Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType Dyadic (WithCurrentPrec p a) #

CanMulAsymmetric Dyadic a => CanMulAsymmetric Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType Dyadic (WithCurrentPrec p a) #

HasOrderAsymmetric Dyadic a => HasOrderAsymmetric Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType Dyadic (WithCurrentPrec p a) #

OrderedCertainlyRing (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.Dyadic

OrderedRing (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.Dyadic

Ring (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.Dyadic

CanAddAsymmetric (CN Dyadic) a => CanAddAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (CN Dyadic) (WithCurrentPrec p a) #

CanSub (CN Dyadic) a => CanSub (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (CN Dyadic) (WithCurrentPrec p a) #

CanDiv (CN Dyadic) a => CanDiv (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (CN Dyadic) (WithCurrentPrec p a) #

HasEqAsymmetric (CN Dyadic) a => HasEqAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (CN Dyadic) (WithCurrentPrec p a) #

CanMinMaxAsymmetric (CN Dyadic) a => CanMinMaxAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (CN Dyadic) (WithCurrentPrec p a) #

CanMulAsymmetric (CN Dyadic) a => CanMulAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (CN Dyadic) (WithCurrentPrec p a) #

HasOrderAsymmetric (CN Dyadic) a => HasOrderAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (CN Dyadic) (WithCurrentPrec p a) #

(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 #

(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 #

(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 #

ConvertibleExactly (WithSample Dyadic Integer) Dyadic Source # 
Instance details

Defined in AERN2.MP.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 #

(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 #

(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 #

(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 #

type PPowType (CollectErrors es a) Dyadic #

CanAddAsymmetric a Dyadic => CanAddAsymmetric (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec p a) Dyadic #

CanSub a Dyadic => CanSub (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec p a) Dyadic #

CanDiv a Dyadic => CanDiv (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec p a) Dyadic #

HasEqAsymmetric a Dyadic => HasEqAsymmetric (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec p a) Dyadic #

CanMinMaxAsymmetric a Dyadic => CanMinMaxAsymmetric (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec p a) Dyadic #

CanMulAsymmetric a Dyadic => CanMulAsymmetric (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec p a) Dyadic #

HasOrderAsymmetric a Dyadic => HasOrderAsymmetric (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec p a) Dyadic #

CanAddAsymmetric a (CN Dyadic) => CanAddAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec p a) (CN Dyadic) #

CanSub a (CN Dyadic) => CanSub (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec p a) (CN Dyadic) #

CanDiv a (CN Dyadic) => CanDiv (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec p a) (CN Dyadic) #

HasEqAsymmetric a (CN Dyadic) => HasEqAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec p a) (CN Dyadic) #

CanMinMaxAsymmetric a (CN Dyadic) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec p a) (CN Dyadic) #

CanMulAsymmetric a (CN Dyadic) => CanMulAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec p a) (CN Dyadic) #

HasOrderAsymmetric a (CN Dyadic) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec p a) (CN Dyadic) #

type NegType Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AbsType Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type RoundType Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type PlusMinusType Dyadic t Source # 
Instance details

Defined in AERN2.MP.Ball.Conversions

type AddType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type AddType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type AddType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type AddType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type SubType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type SubType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type SubType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType MPBall 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 Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type DivType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type DivType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

type EqCompareType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

type EqCompareType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type EqCompareType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

type MinMaxType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

type MinMaxType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MinMaxType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type MulType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Field

type MulType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type MulType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

type OrderCompareType Dyadic MPBall Source # 
Instance details

Defined in AERN2.MP.Ball.Comparisons

type OrderCompareType Dyadic Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic Rational Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Rational Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Integer Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type OrderCompareType Int Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

type PPowType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Elementary

type PPowType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type PPowType Dyadic Int Source # 
Instance details

Defined in AERN2.MP.Dyadic

type PowType MPBall Dyadic Source # 
Instance details

Defined in AERN2.MP.Ball.Elementary

type PowType Dyadic Integer Source # 
Instance details

Defined in AERN2.MP.Dyadic

type PowType Dyadic Int 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 DivType 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 MinMaxType 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 OrderCompareType Dyadic (CollectErrors es b) Source # 
Instance details

Defined in AERN2.MP.Dyadic

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

Defined in AERN2.MP.Dyadic

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

Defined in AERN2.MP.Dyadic

type AddType Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type SubType Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type DivType Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type EqCompareType Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MinMaxType Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MulType Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type OrderCompareType Dyadic (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type AddType (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type SubType (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type DivType (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type EqCompareType (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MinMaxType (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MulType (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type OrderCompareType (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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 DivType (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 MinMaxType (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 OrderCompareType (CollectErrors es a) Dyadic Source # 
Instance details

Defined in AERN2.MP.Dyadic

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

Defined in AERN2.MP.Dyadic

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

Defined in AERN2.MP.Dyadic

type AddType (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type SubType (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type DivType (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type EqCompareType (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MinMaxType (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MulType (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type OrderCompareType (WithCurrentPrec p a) Dyadic Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type AddType (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type SubType (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type DivType (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type EqCompareType (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MinMaxType (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MulType (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Field

type OrderCompareType (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Dyadic constructors

tests

tDyadic :: T Dyadic Source #

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