AERN2.MP.Dyadic

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.

Dyadic numbers and their basic operations

data Dyadic

Exact dyadic type based on MPFloat.

Instances

Arbitrary Dyadic

Defined in AERN2.MP.Dyadic

Methods

arbitrary :: Gen Dyadic

shrink :: Dyadic -> [Dyadic]

HasAccuracy Dyadic

Defined in AERN2.MP.Dyadic

Methods

getAccuracy :: Dyadic -> Accuracy

getFiniteAccuracy :: Dyadic -> Accuracy

HasPrecision Dyadic

Defined in AERN2.MP.Dyadic

Methods

getPrecision :: Dyadic -> Precision

HasNorm Dyadic

Defined in AERN2.MP.Dyadic

Methods

getNormLog :: Dyadic -> NormLog

Num Dyadic

Defined in AERN2.MP.Dyadic

Methods

(+) :: Dyadic -> Dyadic -> Dyadic

(-) :: Dyadic -> Dyadic -> Dyadic

(*) :: Dyadic -> Dyadic -> Dyadic

negate :: Dyadic -> Dyadic

abs :: Dyadic -> Dyadic

signum :: Dyadic -> Dyadic

fromInteger :: Integer -> Dyadic

Read Dyadic

Defined in AERN2.MP.Dyadic

Methods

readsPrec :: Int -> ReadS Dyadic

readList :: ReadS [Dyadic]

readPrec :: ReadPrec Dyadic

readListPrec :: ReadPrec [Dyadic]

Real Dyadic

Defined in AERN2.MP.Dyadic

Methods

toRational :: Dyadic -> Rational

Show Dyadic

Defined in AERN2.MP.Dyadic

Methods

showsPrec :: Int -> Dyadic -> ShowS

show :: Dyadic -> String

showList :: [Dyadic] -> ShowS

Eq Dyadic

Defined in AERN2.MP.Dyadic

Methods

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

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

Ord Dyadic

Defined in AERN2.MP.Dyadic

Methods

compare :: Dyadic -> Dyadic -> Ordering

(<) :: Dyadic -> Dyadic -> Bool

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

(>) :: Dyadic -> Dyadic -> Bool

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

max :: Dyadic -> Dyadic -> Dyadic

min :: Dyadic -> Dyadic -> Dyadic

CanNeg Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type NegType Dyadic

Methods

negate :: Dyadic -> NegType Dyadic

CanTestFinite Dyadic

Defined in AERN2.MP.Dyadic

Methods

isInfinite :: Dyadic -> Bool

isFinite :: Dyadic -> Bool

CanTestInteger Dyadic

Defined in AERN2.MP.Dyadic

Methods

certainlyNotInteger :: Dyadic -> Bool

certainlyInteger :: Dyadic -> Bool

certainlyIntegerGetIt :: Dyadic -> Maybe Integer

CanTestZero Dyadic

Defined in AERN2.MP.Dyadic

Methods

isCertainlyZero :: Dyadic -> Bool

isCertainlyNonZero :: Dyadic -> Bool

CanAbs Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type AbsType Dyadic

Methods

abs :: Dyadic -> AbsType Dyadic

CanTestPosNeg Dyadic

Defined in AERN2.MP.Dyadic

Methods

isCertainlyPositive :: Dyadic -> Bool

isCertainlyNonNegative :: Dyadic -> Bool

isCertainlyNegative :: Dyadic -> Bool

isCertainlyNonPositive :: Dyadic -> Bool

CanGiveUpIfVeryInaccurate Dyadic

Defined in AERN2.MP.Dyadic

Methods

giveUpIfVeryInaccurate :: CN Dyadic -> CN Dyadic

OrderedCertainlyRing Dyadic

Defined in AERN2.MP.Dyadic

OrderedRing Dyadic

Defined in AERN2.MP.Dyadic

Ring Dyadic

Defined in AERN2.MP.Dyadic

CanRound Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type RoundType Dyadic

Methods

properFraction :: Dyadic -> (RoundType Dyadic, Dyadic)

truncate :: Dyadic -> RoundType Dyadic

round :: Dyadic -> RoundType Dyadic

ceiling :: Dyadic -> RoundType Dyadic

floor :: Dyadic -> RoundType Dyadic

HasIntegerBounds Dyadic

Defined in AERN2.MP.Dyadic

Methods

integerBounds :: Dyadic -> (Integer, Integer)

CanBeErrorBound t => CanPlusMinus Dyadic t

Defined in AERN2.MP.Ball.Conversions

Associated Types

type PlusMinusType Dyadic t

Methods

plusMinus :: Dyadic -> t -> PlusMinusType Dyadic t

CanTestContains MPBall Dyadic

Defined in AERN2.MP.Ball.Type

Methods

contains :: MPBall -> Dyadic -> Bool

ConvertibleWithPrecision Dyadic MPBall

Defined in AERN2.MP.Ball.Conversions

Methods

safeConvertP :: Precision -> Dyadic -> ConvertResult MPBall

Convertible Dyadic Double

Defined in AERN2.MP.Dyadic

Methods

safeConvert :: Dyadic -> ConvertResult Double

CanAddAsymmetric MPBall Dyadic

Defined in AERN2.MP.Ball.Field

Associated Types

type AddType MPBall Dyadic

Methods

add :: MPBall -> Dyadic -> AddType MPBall Dyadic

CanAddAsymmetric Dyadic MPBall

Defined in AERN2.MP.Ball.Field

Associated Types

type AddType Dyadic MPBall

Methods

add :: Dyadic -> MPBall -> AddType Dyadic MPBall

CanAddAsymmetric Dyadic Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Dyadic Dyadic

Methods

add :: Dyadic -> Dyadic -> AddType Dyadic Dyadic

CanAddAsymmetric Dyadic Rational

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Dyadic Rational

Methods

add :: Dyadic -> Rational -> AddType Dyadic Rational

CanAddAsymmetric Dyadic Integer

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Dyadic Integer

Methods

add :: Dyadic -> Integer -> AddType Dyadic Integer

CanAddAsymmetric Dyadic Int

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Dyadic Int

Methods

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

CanAddAsymmetric Rational Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Rational Dyadic

Methods

add :: Rational -> Dyadic -> AddType Rational Dyadic

CanAddAsymmetric Integer Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Integer Dyadic

Methods

add :: Integer -> Dyadic -> AddType Integer Dyadic

CanAddAsymmetric Int Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type AddType Int Dyadic

Methods

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

CanSub MPBall Dyadic

Defined in AERN2.MP.Ball.Field

Associated Types

type SubType MPBall Dyadic

Methods

sub :: MPBall -> Dyadic -> SubType MPBall Dyadic

CanSub Dyadic MPBall

Defined in AERN2.MP.Ball.Field

Associated Types

type SubType Dyadic MPBall

Methods

sub :: Dyadic -> MPBall -> SubType Dyadic MPBall

CanSub Dyadic Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Dyadic Dyadic

Methods

sub :: Dyadic -> Dyadic -> SubType Dyadic Dyadic

CanSub Dyadic Rational

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Dyadic Rational

Methods

sub :: Dyadic -> Rational -> SubType Dyadic Rational

CanSub Dyadic Integer

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Dyadic Integer

Methods

sub :: Dyadic -> Integer -> SubType Dyadic Integer

CanSub Dyadic Int

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Dyadic Int

Methods

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

CanSub Rational Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Rational Dyadic

Methods

sub :: Rational -> Dyadic -> SubType Rational Dyadic

CanSub Integer Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Integer Dyadic

Methods

sub :: Integer -> Dyadic -> SubType Integer Dyadic

CanSub Int Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type SubType Int Dyadic

Methods

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

CanDiv MPBall Dyadic

Defined in AERN2.MP.Ball.Field

Associated Types

type DivType MPBall Dyadic

Methods

divide :: MPBall -> Dyadic -> DivType MPBall Dyadic

CanDiv Dyadic MPBall

Defined in AERN2.MP.Ball.Field

Associated Types

type DivType Dyadic MPBall

Methods

divide :: Dyadic -> MPBall -> DivType Dyadic MPBall

CanDiv Dyadic Dyadic

Defined in AERN2.MP.Ball.Field

Associated Types

type DivType Dyadic Dyadic

Methods

divide :: Dyadic -> Dyadic -> DivType Dyadic Dyadic

CanDiv Dyadic Rational

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Dyadic Rational

Methods

divide :: Dyadic -> Rational -> DivType Dyadic Rational

CanDiv Dyadic Integer

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Dyadic Integer

Methods

divide :: Dyadic -> Integer -> DivType Dyadic Integer

CanDiv Dyadic Int

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Dyadic Int

Methods

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

CanDiv Rational Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Rational Dyadic

Methods

divide :: Rational -> Dyadic -> DivType Rational Dyadic

CanDiv Integer Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Integer Dyadic

Methods

divide :: Integer -> Dyadic -> DivType Integer Dyadic

CanDiv Int Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Int Dyadic

Methods

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

HasEqAsymmetric MPBall Dyadic

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type EqCompareType MPBall Dyadic

Methods

equalTo :: MPBall -> Dyadic -> EqCompareType MPBall Dyadic

notEqualTo :: MPBall -> Dyadic -> EqCompareType MPBall Dyadic

HasEqAsymmetric Dyadic MPBall

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type EqCompareType Dyadic MPBall

Methods

equalTo :: Dyadic -> MPBall -> EqCompareType Dyadic MPBall

notEqualTo :: Dyadic -> MPBall -> EqCompareType Dyadic MPBall

HasEqAsymmetric Dyadic Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic Dyadic

Methods

equalTo :: Dyadic -> Dyadic -> EqCompareType Dyadic Dyadic

notEqualTo :: Dyadic -> Dyadic -> EqCompareType Dyadic Dyadic

HasEqAsymmetric Dyadic Rational

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic Rational

Methods

equalTo :: Dyadic -> Rational -> EqCompareType Dyadic Rational

notEqualTo :: Dyadic -> Rational -> EqCompareType Dyadic Rational

HasEqAsymmetric Dyadic Integer

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic Integer

Methods

equalTo :: Dyadic -> Integer -> EqCompareType Dyadic Integer

notEqualTo :: Dyadic -> Integer -> EqCompareType Dyadic Integer

HasEqAsymmetric Dyadic Int

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic Int

Methods

equalTo :: Dyadic -> Int -> EqCompareType Dyadic Int

notEqualTo :: Dyadic -> Int -> EqCompareType Dyadic Int

HasEqAsymmetric Rational Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Rational Dyadic

Methods

equalTo :: Rational -> Dyadic -> EqCompareType Rational Dyadic

notEqualTo :: Rational -> Dyadic -> EqCompareType Rational Dyadic

HasEqAsymmetric Integer Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Integer Dyadic

Methods

equalTo :: Integer -> Dyadic -> EqCompareType Integer Dyadic

notEqualTo :: Integer -> Dyadic -> EqCompareType Integer Dyadic

HasEqAsymmetric Int Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Int Dyadic

Methods

equalTo :: Int -> Dyadic -> EqCompareType Int Dyadic

notEqualTo :: Int -> Dyadic -> EqCompareType Int Dyadic

ConvertibleExactly Dyadic MPBall

Defined in AERN2.MP.Ball.Conversions

Methods

safeConvertExactly :: Dyadic -> ConvertResult MPBall

ConvertibleExactly Dyadic Dyadic

Defined in AERN2.MP.Dyadic

Methods

safeConvertExactly :: Dyadic -> ConvertResult Dyadic

ConvertibleExactly Dyadic MPFloat

Defined in AERN2.MP.Dyadic

Methods

safeConvertExactly :: Dyadic -> ConvertResult MPFloat

ConvertibleExactly Dyadic Rational

Defined in AERN2.MP.Dyadic

Methods

safeConvertExactly :: Dyadic -> ConvertResult Rational

ConvertibleExactly ErrorBound Dyadic

Defined in AERN2.MP.ErrorBound

Methods

safeConvertExactly :: ErrorBound -> ConvertResult Dyadic

ConvertibleExactly MPFloat Dyadic

Defined in AERN2.MP.Dyadic

Methods

safeConvertExactly :: MPFloat -> ConvertResult Dyadic

ConvertibleExactly Rational Dyadic

Defined in AERN2.MP.Dyadic

Methods

safeConvertExactly :: Rational -> ConvertResult Dyadic

ConvertibleExactly Integer Dyadic

Defined in AERN2.MP.Dyadic

Methods

safeConvertExactly :: Integer -> ConvertResult Dyadic

ConvertibleExactly Int Dyadic

Defined in AERN2.MP.Dyadic

Methods

safeConvertExactly :: Int -> ConvertResult Dyadic

CanMinMaxAsymmetric MPBall Dyadic

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type MinMaxType MPBall Dyadic

Methods

min :: MPBall -> Dyadic -> MinMaxType MPBall Dyadic

max :: MPBall -> Dyadic -> MinMaxType MPBall Dyadic

CanMinMaxAsymmetric Dyadic MPBall

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type MinMaxType Dyadic MPBall

Methods

min :: Dyadic -> MPBall -> MinMaxType Dyadic MPBall

max :: Dyadic -> MPBall -> MinMaxType Dyadic MPBall

CanMinMaxAsymmetric Dyadic Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic Dyadic

Methods

min :: Dyadic -> Dyadic -> MinMaxType Dyadic Dyadic

max :: Dyadic -> Dyadic -> MinMaxType Dyadic Dyadic

CanMinMaxAsymmetric Dyadic Rational

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic Rational

Methods

min :: Dyadic -> Rational -> MinMaxType Dyadic Rational

max :: Dyadic -> Rational -> MinMaxType Dyadic Rational

CanMinMaxAsymmetric Dyadic Integer

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic Integer

Methods

min :: Dyadic -> Integer -> MinMaxType Dyadic Integer

max :: Dyadic -> Integer -> MinMaxType Dyadic Integer

CanMinMaxAsymmetric Dyadic Int

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic Int

Methods

min :: Dyadic -> Int -> MinMaxType Dyadic Int

max :: Dyadic -> Int -> MinMaxType Dyadic Int

CanMinMaxAsymmetric Rational Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Rational Dyadic

Methods

min :: Rational -> Dyadic -> MinMaxType Rational Dyadic

max :: Rational -> Dyadic -> MinMaxType Rational Dyadic

CanMinMaxAsymmetric Integer Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Integer Dyadic

Methods

min :: Integer -> Dyadic -> MinMaxType Integer Dyadic

max :: Integer -> Dyadic -> MinMaxType Integer Dyadic

CanMinMaxAsymmetric Int Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Int Dyadic

Methods

min :: Int -> Dyadic -> MinMaxType Int Dyadic

max :: Int -> Dyadic -> MinMaxType Int Dyadic

CanMulAsymmetric MPBall Dyadic

Defined in AERN2.MP.Ball.Field

Associated Types

type MulType MPBall Dyadic

Methods

mul :: MPBall -> Dyadic -> MulType MPBall Dyadic

CanMulAsymmetric Dyadic MPBall

Defined in AERN2.MP.Ball.Field

Associated Types

type MulType Dyadic MPBall

Methods

mul :: Dyadic -> MPBall -> MulType Dyadic MPBall

CanMulAsymmetric Dyadic Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Dyadic Dyadic

Methods

mul :: Dyadic -> Dyadic -> MulType Dyadic Dyadic

CanMulAsymmetric Dyadic Rational

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Dyadic Rational

Methods

mul :: Dyadic -> Rational -> MulType Dyadic Rational

CanMulAsymmetric Dyadic Integer

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Dyadic Integer

Methods

mul :: Dyadic -> Integer -> MulType Dyadic Integer

CanMulAsymmetric Dyadic Int

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Dyadic Int

Methods

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

CanMulAsymmetric Rational Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Rational Dyadic

Methods

mul :: Rational -> Dyadic -> MulType Rational Dyadic

CanMulAsymmetric Integer Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Integer Dyadic

Methods

mul :: Integer -> Dyadic -> MulType Integer Dyadic

CanMulAsymmetric Int Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type MulType Int Dyadic

Methods

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

HasOrderAsymmetric MPBall Dyadic

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type OrderCompareType MPBall Dyadic

Methods

lessThan :: MPBall -> Dyadic -> OrderCompareType MPBall Dyadic

greaterThan :: MPBall -> Dyadic -> OrderCompareType MPBall Dyadic

leq :: MPBall -> Dyadic -> OrderCompareType MPBall Dyadic

geq :: MPBall -> Dyadic -> OrderCompareType MPBall Dyadic

HasOrderAsymmetric Dyadic MPBall

Defined in AERN2.MP.Ball.Comparisons

Associated Types

type OrderCompareType Dyadic MPBall

Methods

lessThan :: Dyadic -> MPBall -> OrderCompareType Dyadic MPBall

greaterThan :: Dyadic -> MPBall -> OrderCompareType Dyadic MPBall

leq :: Dyadic -> MPBall -> OrderCompareType Dyadic MPBall

geq :: Dyadic -> MPBall -> OrderCompareType Dyadic MPBall

HasOrderAsymmetric Dyadic Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic Dyadic

Methods

lessThan :: Dyadic -> Dyadic -> OrderCompareType Dyadic Dyadic

greaterThan :: Dyadic -> Dyadic -> OrderCompareType Dyadic Dyadic

leq :: Dyadic -> Dyadic -> OrderCompareType Dyadic Dyadic

geq :: Dyadic -> Dyadic -> OrderCompareType Dyadic Dyadic

HasOrderAsymmetric Dyadic Rational

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic Rational

Methods

lessThan :: Dyadic -> Rational -> OrderCompareType Dyadic Rational

greaterThan :: Dyadic -> Rational -> OrderCompareType Dyadic Rational

leq :: Dyadic -> Rational -> OrderCompareType Dyadic Rational

geq :: Dyadic -> Rational -> OrderCompareType Dyadic Rational

HasOrderAsymmetric Dyadic Integer

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic Integer

Methods

lessThan :: Dyadic -> Integer -> OrderCompareType Dyadic Integer

greaterThan :: Dyadic -> Integer -> OrderCompareType Dyadic Integer

leq :: Dyadic -> Integer -> OrderCompareType Dyadic Integer

geq :: Dyadic -> Integer -> OrderCompareType Dyadic Integer

HasOrderAsymmetric Dyadic Int

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic Int

Methods

lessThan :: Dyadic -> Int -> OrderCompareType Dyadic Int

greaterThan :: Dyadic -> Int -> OrderCompareType Dyadic Int

leq :: Dyadic -> Int -> OrderCompareType Dyadic Int

geq :: Dyadic -> Int -> OrderCompareType Dyadic Int

HasOrderAsymmetric Rational Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Rational Dyadic

Methods

lessThan :: Rational -> Dyadic -> OrderCompareType Rational Dyadic

greaterThan :: Rational -> Dyadic -> OrderCompareType Rational Dyadic

leq :: Rational -> Dyadic -> OrderCompareType Rational Dyadic

geq :: Rational -> Dyadic -> OrderCompareType Rational Dyadic

HasOrderAsymmetric Integer Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Integer Dyadic

Methods

lessThan :: Integer -> Dyadic -> OrderCompareType Integer Dyadic

greaterThan :: Integer -> Dyadic -> OrderCompareType Integer Dyadic

leq :: Integer -> Dyadic -> OrderCompareType Integer Dyadic

geq :: Integer -> Dyadic -> OrderCompareType Integer Dyadic

HasOrderAsymmetric Int Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Int Dyadic

Methods

lessThan :: Int -> Dyadic -> OrderCompareType Int Dyadic

greaterThan :: Int -> Dyadic -> OrderCompareType Int Dyadic

leq :: Int -> Dyadic -> OrderCompareType Int Dyadic

geq :: Int -> Dyadic -> OrderCompareType Int Dyadic

CanPow MPBall Dyadic

Defined in AERN2.MP.Ball.Elementary

Associated Types

type PowType MPBall Dyadic

type PPowType MPBall Dyadic

Methods

pow :: MPBall -> Dyadic -> PowType MPBall Dyadic

ppow :: MPBall -> Dyadic -> PPowType MPBall Dyadic

CanPow Dyadic Integer

Defined in AERN2.MP.Dyadic

Associated Types

type PowType Dyadic Integer

type PPowType Dyadic Integer

Methods

pow :: Dyadic -> Integer -> PowType Dyadic Integer

ppow :: Dyadic -> Integer -> PPowType Dyadic Integer

CanPow Dyadic Int

Defined in AERN2.MP.Dyadic

Associated Types

type PowType Dyadic Int

type PPowType Dyadic Int

Methods

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

ppow :: Dyadic -> Int -> PPowType Dyadic Int

(CanAddAsymmetric Dyadic b, CanBeErrors es) => CanAddAsymmetric Dyadic (CollectErrors es b)

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)

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)

Defined in AERN2.MP.Dyadic

Associated Types

type DivType Dyadic (CollectErrors es b)

Methods

divide :: Dyadic -> CollectErrors es b -> DivType Dyadic (CollectErrors es b)

(HasEqAsymmetric Dyadic b, IsBool (CollectErrors es (EqCompareType Dyadic b)), CanBeErrors es) => HasEqAsymmetric Dyadic (CollectErrors es b)

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType Dyadic (CollectErrors es b)

Methods

equalTo :: Dyadic -> CollectErrors es b -> EqCompareType Dyadic (CollectErrors es b)

notEqualTo :: Dyadic -> CollectErrors es b -> EqCompareType Dyadic (CollectErrors es b)

(ConvertibleExactly Dyadic t, Monoid es) => ConvertibleExactly Dyadic (CollectErrors es t)

Defined in AERN2.MP.Dyadic

Methods

safeConvertExactly :: Dyadic -> ConvertResult (CollectErrors es t)

(CanMinMaxAsymmetric Dyadic b, CanBeErrors es) => CanMinMaxAsymmetric Dyadic (CollectErrors es b)

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType Dyadic (CollectErrors es b)

Methods

min :: Dyadic -> CollectErrors es b -> MinMaxType Dyadic (CollectErrors es b)

max :: Dyadic -> CollectErrors es b -> MinMaxType Dyadic (CollectErrors es b)

(CanMulAsymmetric Dyadic b, CanBeErrors es) => CanMulAsymmetric Dyadic (CollectErrors es b)

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)

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType Dyadic (CollectErrors es b)

Methods

lessThan :: Dyadic -> CollectErrors es b -> OrderCompareType Dyadic (CollectErrors es b)

greaterThan :: Dyadic -> CollectErrors es b -> OrderCompareType Dyadic (CollectErrors es b)

leq :: Dyadic -> CollectErrors es b -> OrderCompareType Dyadic (CollectErrors es b)

geq :: Dyadic -> CollectErrors es b -> OrderCompareType Dyadic (CollectErrors es b)

(CanPow Dyadic b, CanBeErrors es) => CanPow Dyadic (CollectErrors es b)

Defined in AERN2.MP.Dyadic

Associated Types

type PowType Dyadic (CollectErrors es b)

type PPowType Dyadic (CollectErrors es b)

Methods

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

ppow :: Dyadic -> CollectErrors es b -> PPowType Dyadic (CollectErrors es b)

CanAddAsymmetric Dyadic a => CanAddAsymmetric Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType Dyadic (WithCurrentPrec p a)

Methods

add :: Dyadic -> WithCurrentPrec p a -> AddType Dyadic (WithCurrentPrec p a)

CanSub Dyadic a => CanSub Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType Dyadic (WithCurrentPrec p a)

Methods

sub :: Dyadic -> WithCurrentPrec p a -> SubType Dyadic (WithCurrentPrec p a)

CanDiv Dyadic a => CanDiv Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType Dyadic (WithCurrentPrec p a)

Methods

divide :: Dyadic -> WithCurrentPrec p a -> DivType Dyadic (WithCurrentPrec p a)

HasEqAsymmetric Dyadic a => HasEqAsymmetric Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType Dyadic (WithCurrentPrec p a)

Methods

equalTo :: Dyadic -> WithCurrentPrec p a -> EqCompareType Dyadic (WithCurrentPrec p a)

notEqualTo :: Dyadic -> WithCurrentPrec p a -> EqCompareType Dyadic (WithCurrentPrec p a)

CanMinMaxAsymmetric Dyadic a => CanMinMaxAsymmetric Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType Dyadic (WithCurrentPrec p a)

Methods

min :: Dyadic -> WithCurrentPrec p a -> MinMaxType Dyadic (WithCurrentPrec p a)

max :: Dyadic -> WithCurrentPrec p a -> MinMaxType Dyadic (WithCurrentPrec p a)

CanMulAsymmetric Dyadic a => CanMulAsymmetric Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType Dyadic (WithCurrentPrec p a)

Methods

mul :: Dyadic -> WithCurrentPrec p a -> MulType Dyadic (WithCurrentPrec p a)

HasOrderAsymmetric Dyadic a => HasOrderAsymmetric Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType Dyadic (WithCurrentPrec p a)

Methods

lessThan :: Dyadic -> WithCurrentPrec p a -> OrderCompareType Dyadic (WithCurrentPrec p a)

greaterThan :: Dyadic -> WithCurrentPrec p a -> OrderCompareType Dyadic (WithCurrentPrec p a)

leq :: Dyadic -> WithCurrentPrec p a -> OrderCompareType Dyadic (WithCurrentPrec p a)

geq :: Dyadic -> WithCurrentPrec p a -> OrderCompareType Dyadic (WithCurrentPrec p a)

OrderedCertainlyRing (CN Dyadic)

Defined in AERN2.MP.Dyadic

OrderedRing (CN Dyadic)

Defined in AERN2.MP.Dyadic

Ring (CN Dyadic)

Defined in AERN2.MP.Dyadic

CanAddAsymmetric (CN Dyadic) a => CanAddAsymmetric (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (CN Dyadic) (WithCurrentPrec p a)

Methods

add :: CN Dyadic -> WithCurrentPrec p a -> AddType (CN Dyadic) (WithCurrentPrec p a)

CanSub (CN Dyadic) a => CanSub (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (CN Dyadic) (WithCurrentPrec p a)

Methods

sub :: CN Dyadic -> WithCurrentPrec p a -> SubType (CN Dyadic) (WithCurrentPrec p a)

CanDiv (CN Dyadic) a => CanDiv (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (CN Dyadic) (WithCurrentPrec p a)

Methods

divide :: CN Dyadic -> WithCurrentPrec p a -> DivType (CN Dyadic) (WithCurrentPrec p a)

HasEqAsymmetric (CN Dyadic) a => HasEqAsymmetric (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (CN Dyadic) (WithCurrentPrec p a)

Methods

equalTo :: CN Dyadic -> WithCurrentPrec p a -> EqCompareType (CN Dyadic) (WithCurrentPrec p a)

notEqualTo :: CN Dyadic -> WithCurrentPrec p a -> EqCompareType (CN Dyadic) (WithCurrentPrec p a)

CanMinMaxAsymmetric (CN Dyadic) a => CanMinMaxAsymmetric (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (CN Dyadic) (WithCurrentPrec p a)

Methods

min :: CN Dyadic -> WithCurrentPrec p a -> MinMaxType (CN Dyadic) (WithCurrentPrec p a)

max :: CN Dyadic -> WithCurrentPrec p a -> MinMaxType (CN Dyadic) (WithCurrentPrec p a)

CanMulAsymmetric (CN Dyadic) a => CanMulAsymmetric (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (CN Dyadic) (WithCurrentPrec p a)

Methods

mul :: CN Dyadic -> WithCurrentPrec p a -> MulType (CN Dyadic) (WithCurrentPrec p a)

HasOrderAsymmetric (CN Dyadic) a => HasOrderAsymmetric (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (CN Dyadic) (WithCurrentPrec p a)

Methods

lessThan :: CN Dyadic -> WithCurrentPrec p a -> OrderCompareType (CN Dyadic) (WithCurrentPrec p a)

greaterThan :: CN Dyadic -> WithCurrentPrec p a -> OrderCompareType (CN Dyadic) (WithCurrentPrec p a)

leq :: CN Dyadic -> WithCurrentPrec p a -> OrderCompareType (CN Dyadic) (WithCurrentPrec p a)

geq :: CN Dyadic -> WithCurrentPrec p a -> OrderCompareType (CN Dyadic) (WithCurrentPrec p a)

(CanAddAsymmetric a Dyadic, CanBeErrors es) => CanAddAsymmetric (CollectErrors es a) Dyadic

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

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

Defined in AERN2.MP.Dyadic

Associated Types

type DivType (CollectErrors es a) Dyadic

Methods

divide :: CollectErrors es a -> Dyadic -> DivType (CollectErrors es a) Dyadic

(HasEqAsymmetric a Dyadic, IsBool (CollectErrors es (EqCompareType a Dyadic)), CanBeErrors es) => HasEqAsymmetric (CollectErrors es a) Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type EqCompareType (CollectErrors es a) Dyadic

Methods

equalTo :: CollectErrors es a -> Dyadic -> EqCompareType (CollectErrors es a) Dyadic

notEqualTo :: CollectErrors es a -> Dyadic -> EqCompareType (CollectErrors es a) Dyadic

ConvertibleExactly (WithSample Dyadic Integer) Dyadic

Defined in AERN2.MP.Dyadic

Methods

safeConvertExactly :: WithSample Dyadic Integer -> ConvertResult Dyadic

(CanMinMaxAsymmetric a Dyadic, CanBeErrors es) => CanMinMaxAsymmetric (CollectErrors es a) Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type MinMaxType (CollectErrors es a) Dyadic

Methods

min :: CollectErrors es a -> Dyadic -> MinMaxType (CollectErrors es a) Dyadic

max :: CollectErrors es a -> Dyadic -> MinMaxType (CollectErrors es a) Dyadic

(CanMulAsymmetric a Dyadic, CanBeErrors es) => CanMulAsymmetric (CollectErrors es a) Dyadic

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

Defined in AERN2.MP.Dyadic

Associated Types

type OrderCompareType (CollectErrors es a) Dyadic

Methods

lessThan :: CollectErrors es a -> Dyadic -> OrderCompareType (CollectErrors es a) Dyadic

greaterThan :: CollectErrors es a -> Dyadic -> OrderCompareType (CollectErrors es a) Dyadic

leq :: CollectErrors es a -> Dyadic -> OrderCompareType (CollectErrors es a) Dyadic

geq :: CollectErrors es a -> Dyadic -> OrderCompareType (CollectErrors es a) Dyadic

(CanPow a Dyadic, CanBeErrors es) => CanPow (CollectErrors es a) Dyadic

Defined in AERN2.MP.Dyadic

Associated Types

type PowType (CollectErrors es a) Dyadic

type PPowType (CollectErrors es a) Dyadic

Methods

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

ppow :: CollectErrors es a -> Dyadic -> PPowType (CollectErrors es a) Dyadic

CanAddAsymmetric a Dyadic => CanAddAsymmetric (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec p a) Dyadic

Methods

add :: WithCurrentPrec p a -> Dyadic -> AddType (WithCurrentPrec p a) Dyadic

CanSub a Dyadic => CanSub (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec p a) Dyadic

Methods

sub :: WithCurrentPrec p a -> Dyadic -> SubType (WithCurrentPrec p a) Dyadic

CanDiv a Dyadic => CanDiv (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec p a) Dyadic

Methods

divide :: WithCurrentPrec p a -> Dyadic -> DivType (WithCurrentPrec p a) Dyadic

HasEqAsymmetric a Dyadic => HasEqAsymmetric (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec p a) Dyadic

Methods

equalTo :: WithCurrentPrec p a -> Dyadic -> EqCompareType (WithCurrentPrec p a) Dyadic

notEqualTo :: WithCurrentPrec p a -> Dyadic -> EqCompareType (WithCurrentPrec p a) Dyadic

CanMinMaxAsymmetric a Dyadic => CanMinMaxAsymmetric (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec p a) Dyadic

Methods

min :: WithCurrentPrec p a -> Dyadic -> MinMaxType (WithCurrentPrec p a) Dyadic

max :: WithCurrentPrec p a -> Dyadic -> MinMaxType (WithCurrentPrec p a) Dyadic

CanMulAsymmetric a Dyadic => CanMulAsymmetric (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec p a) Dyadic

Methods

mul :: WithCurrentPrec p a -> Dyadic -> MulType (WithCurrentPrec p a) Dyadic

HasOrderAsymmetric a Dyadic => HasOrderAsymmetric (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec p a) Dyadic

Methods

lessThan :: WithCurrentPrec p a -> Dyadic -> OrderCompareType (WithCurrentPrec p a) Dyadic

greaterThan :: WithCurrentPrec p a -> Dyadic -> OrderCompareType (WithCurrentPrec p a) Dyadic

leq :: WithCurrentPrec p a -> Dyadic -> OrderCompareType (WithCurrentPrec p a) Dyadic

geq :: WithCurrentPrec p a -> Dyadic -> OrderCompareType (WithCurrentPrec p a) Dyadic

CanAddAsymmetric a (CN Dyadic) => CanAddAsymmetric (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec p a) (CN Dyadic)

Methods

add :: WithCurrentPrec p a -> CN Dyadic -> AddType (WithCurrentPrec p a) (CN Dyadic)

CanSub a (CN Dyadic) => CanSub (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec p a) (CN Dyadic)

Methods

sub :: WithCurrentPrec p a -> CN Dyadic -> SubType (WithCurrentPrec p a) (CN Dyadic)

CanDiv a (CN Dyadic) => CanDiv (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec p a) (CN Dyadic)

Methods

divide :: WithCurrentPrec p a -> CN Dyadic -> DivType (WithCurrentPrec p a) (CN Dyadic)

HasEqAsymmetric a (CN Dyadic) => HasEqAsymmetric (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec p a) (CN Dyadic)

Methods

equalTo :: WithCurrentPrec p a -> CN Dyadic -> EqCompareType (WithCurrentPrec p a) (CN Dyadic)

notEqualTo :: WithCurrentPrec p a -> CN Dyadic -> EqCompareType (WithCurrentPrec p a) (CN Dyadic)

CanMinMaxAsymmetric a (CN Dyadic) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec p a) (CN Dyadic)

Methods

min :: WithCurrentPrec p a -> CN Dyadic -> MinMaxType (WithCurrentPrec p a) (CN Dyadic)

max :: WithCurrentPrec p a -> CN Dyadic -> MinMaxType (WithCurrentPrec p a) (CN Dyadic)

CanMulAsymmetric a (CN Dyadic) => CanMulAsymmetric (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec p a) (CN Dyadic)

Methods

mul :: WithCurrentPrec p a -> CN Dyadic -> MulType (WithCurrentPrec p a) (CN Dyadic)

HasOrderAsymmetric a (CN Dyadic) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec p a) (CN Dyadic)

Methods

lessThan :: WithCurrentPrec p a -> CN Dyadic -> OrderCompareType (WithCurrentPrec p a) (CN Dyadic)

greaterThan :: WithCurrentPrec p a -> CN Dyadic -> OrderCompareType (WithCurrentPrec p a) (CN Dyadic)

leq :: WithCurrentPrec p a -> CN Dyadic -> OrderCompareType (WithCurrentPrec p a) (CN Dyadic)

geq :: WithCurrentPrec p a -> CN Dyadic -> OrderCompareType (WithCurrentPrec p a) (CN Dyadic)

type NegType Dyadic

Defined in AERN2.MP.Dyadic

type NegType Dyadic = Dyadic

type AbsType Dyadic

Defined in AERN2.MP.Dyadic

type AbsType Dyadic = Dyadic

type RoundType Dyadic

Defined in AERN2.MP.Dyadic

type RoundType Dyadic = RoundType MPFloat

type PlusMinusType Dyadic t

Defined in AERN2.MP.Ball.Conversions

type PlusMinusType Dyadic t = MPBall

type AddType MPBall Dyadic

Defined in AERN2.MP.Ball.Field

type AddType MPBall Dyadic = MPBall

type AddType Dyadic MPBall

Defined in AERN2.MP.Ball.Field

type AddType Dyadic MPBall = MPBall

type AddType Dyadic Dyadic

Defined in AERN2.MP.Dyadic

type AddType Dyadic Dyadic = Dyadic

type AddType Dyadic Rational

Defined in AERN2.MP.Dyadic

type AddType Dyadic Rational = Rational

type AddType Dyadic Integer

Defined in AERN2.MP.Dyadic

type AddType Dyadic Integer = Dyadic

type AddType Dyadic Int

Defined in AERN2.MP.Dyadic

type AddType Dyadic Int = Dyadic

type AddType Rational Dyadic

Defined in AERN2.MP.Dyadic

type AddType Rational Dyadic = Rational

type AddType Integer Dyadic

Defined in AERN2.MP.Dyadic

type AddType Integer Dyadic = Dyadic

type AddType Int Dyadic

Defined in AERN2.MP.Dyadic

type AddType Int Dyadic = Dyadic

type SubType MPBall Dyadic

Defined in AERN2.MP.Ball.Field

type SubType MPBall Dyadic = AddType MPBall (NegType Dyadic)

type SubType Dyadic MPBall

Defined in AERN2.MP.Ball.Field

type SubType Dyadic MPBall = AddType Dyadic (NegType MPBall)

type SubType Dyadic Dyadic

Defined in AERN2.MP.Dyadic

type SubType Dyadic Dyadic = AddType Dyadic (NegType Dyadic)

type SubType Dyadic Rational

Defined in AERN2.MP.Dyadic

type SubType Dyadic Rational = Rational

type SubType Dyadic Integer

Defined in AERN2.MP.Dyadic

type SubType Dyadic Integer = Dyadic

type SubType Dyadic Int

Defined in AERN2.MP.Dyadic

type SubType Dyadic Int = Dyadic

type SubType Rational Dyadic

Defined in AERN2.MP.Dyadic

type SubType Rational Dyadic = Rational

type SubType Integer Dyadic

Defined in AERN2.MP.Dyadic

type SubType Integer Dyadic = Dyadic

type SubType Int Dyadic

Defined in AERN2.MP.Dyadic

type SubType Int Dyadic = Dyadic

type DivType MPBall Dyadic

Defined in AERN2.MP.Ball.Field

type DivType MPBall Dyadic = MPBall

type DivType Dyadic MPBall

Defined in AERN2.MP.Ball.Field

type DivType Dyadic MPBall = MPBall

type DivType Dyadic Dyadic

Defined in AERN2.MP.Ball.Field

type DivType Dyadic Dyadic = MPBall

type DivType Dyadic Rational

Defined in AERN2.MP.Dyadic

type DivType Dyadic Rational = Rational

type DivType Dyadic Integer

Defined in AERN2.MP.Dyadic

type DivType Dyadic Integer = Rational

type DivType Dyadic Int

Defined in AERN2.MP.Dyadic

type DivType Dyadic Int = Rational

type DivType Rational Dyadic

Defined in AERN2.MP.Dyadic

type DivType Rational Dyadic = Rational

type DivType Integer Dyadic

Defined in AERN2.MP.Dyadic

type DivType Integer Dyadic = Rational

type DivType Int Dyadic

Defined in AERN2.MP.Dyadic

type DivType Int Dyadic = Rational

type EqCompareType MPBall Dyadic

Defined in AERN2.MP.Ball.Comparisons

type EqCompareType MPBall Dyadic = Kleenean

type EqCompareType Dyadic MPBall

Defined in AERN2.MP.Ball.Comparisons

type EqCompareType Dyadic MPBall = Kleenean

type EqCompareType Dyadic Dyadic

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic Dyadic = Bool

type EqCompareType Dyadic Rational

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic Rational = Bool

type EqCompareType Dyadic Integer

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic Integer = Bool

type EqCompareType Dyadic Int

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic Int = Bool

type EqCompareType Rational Dyadic

Defined in AERN2.MP.Dyadic

type EqCompareType Rational Dyadic = Bool

type EqCompareType Integer Dyadic

Defined in AERN2.MP.Dyadic

type EqCompareType Integer Dyadic = Bool

type EqCompareType Int Dyadic

Defined in AERN2.MP.Dyadic

type EqCompareType Int Dyadic = Bool

type MinMaxType MPBall Dyadic

Defined in AERN2.MP.Ball.Comparisons

type MinMaxType MPBall Dyadic = MPBall

type MinMaxType Dyadic MPBall

Defined in AERN2.MP.Ball.Comparisons

type MinMaxType Dyadic MPBall = MPBall

type MinMaxType Dyadic Dyadic

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic Dyadic = Dyadic

type MinMaxType Dyadic Rational

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic Rational = Rational

type MinMaxType Dyadic Integer

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic Integer = Dyadic

type MinMaxType Dyadic Int

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic Int = Dyadic

type MinMaxType Rational Dyadic

Defined in AERN2.MP.Dyadic

type MinMaxType Rational Dyadic = Rational

type MinMaxType Integer Dyadic

Defined in AERN2.MP.Dyadic

type MinMaxType Integer Dyadic = Dyadic

type MinMaxType Int Dyadic

Defined in AERN2.MP.Dyadic

type MinMaxType Int Dyadic = Dyadic

type MulType MPBall Dyadic

Defined in AERN2.MP.Ball.Field

type MulType MPBall Dyadic = MPBall

type MulType Dyadic MPBall

Defined in AERN2.MP.Ball.Field

type MulType Dyadic MPBall = MPBall

type MulType Dyadic Dyadic

Defined in AERN2.MP.Dyadic

type MulType Dyadic Dyadic = Dyadic

type MulType Dyadic Rational

Defined in AERN2.MP.Dyadic

type MulType Dyadic Rational = Rational

type MulType Dyadic Integer

Defined in AERN2.MP.Dyadic

type MulType Dyadic Integer = Dyadic

type MulType Dyadic Int

Defined in AERN2.MP.Dyadic

type MulType Dyadic Int = Dyadic

type MulType Rational Dyadic

Defined in AERN2.MP.Dyadic

type MulType Rational Dyadic = Rational

type MulType Integer Dyadic

Defined in AERN2.MP.Dyadic

type MulType Integer Dyadic = Dyadic

type MulType Int Dyadic

Defined in AERN2.MP.Dyadic

type MulType Int Dyadic = Dyadic

type OrderCompareType MPBall Dyadic

Defined in AERN2.MP.Ball.Comparisons

type OrderCompareType MPBall Dyadic = Kleenean

type OrderCompareType Dyadic MPBall

Defined in AERN2.MP.Ball.Comparisons

type OrderCompareType Dyadic MPBall = Kleenean

type OrderCompareType Dyadic Dyadic

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic Dyadic = Bool

type OrderCompareType Dyadic Rational

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic Rational = Bool

type OrderCompareType Dyadic Integer

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic Integer = Bool

type OrderCompareType Dyadic Int

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic Int = Bool

type OrderCompareType Rational Dyadic

Defined in AERN2.MP.Dyadic

type OrderCompareType Rational Dyadic = Bool

type OrderCompareType Integer Dyadic

Defined in AERN2.MP.Dyadic

type OrderCompareType Integer Dyadic = Bool

type OrderCompareType Int Dyadic

Defined in AERN2.MP.Dyadic

type OrderCompareType Int Dyadic = Bool

type PPowType MPBall Dyadic

Defined in AERN2.MP.Ball.Elementary

type PPowType MPBall Dyadic = PowType MPBall Dyadic

type PPowType Dyadic Integer

Defined in AERN2.MP.Dyadic

type PPowType Dyadic Integer = PowType Dyadic Integer

type PPowType Dyadic Int

Defined in AERN2.MP.Dyadic

type PPowType Dyadic Int = PowType Dyadic Int

type PowType MPBall Dyadic

Defined in AERN2.MP.Ball.Elementary

type PowType MPBall Dyadic = MPBall

type PowType Dyadic Integer

Defined in AERN2.MP.Dyadic

type PowType Dyadic Integer = Dyadic

type PowType Dyadic Int

Defined in AERN2.MP.Dyadic

type PowType Dyadic Int = Dyadic

type AddType Dyadic (CollectErrors es b)

Defined in AERN2.MP.Dyadic

type AddType Dyadic (CollectErrors es b) = CollectErrors es (AddType Dyadic b)

type SubType Dyadic (CollectErrors es b)

Defined in AERN2.MP.Dyadic

type SubType Dyadic (CollectErrors es b) = CollectErrors es (SubType Dyadic b)

type DivType Dyadic (CollectErrors es b)

Defined in AERN2.MP.Dyadic

type DivType Dyadic (CollectErrors es b) = CollectErrors es (DivType Dyadic b)

type EqCompareType Dyadic (CollectErrors es b)

Defined in AERN2.MP.Dyadic

type EqCompareType Dyadic (CollectErrors es b) = CollectErrors es (EqCompareType Dyadic b)

type MinMaxType Dyadic (CollectErrors es b)

Defined in AERN2.MP.Dyadic

type MinMaxType Dyadic (CollectErrors es b) = CollectErrors es (MinMaxType Dyadic b)

type MulType Dyadic (CollectErrors es b)

Defined in AERN2.MP.Dyadic

type MulType Dyadic (CollectErrors es b) = CollectErrors es (MulType Dyadic b)

type OrderCompareType Dyadic (CollectErrors es b)

Defined in AERN2.MP.Dyadic

type OrderCompareType Dyadic (CollectErrors es b) = CollectErrors es (OrderCompareType Dyadic b)

type PPowType Dyadic (CollectErrors es b)

Defined in AERN2.MP.Dyadic

type PPowType Dyadic (CollectErrors es b) = PowType Dyadic (CollectErrors es b)

type PowType Dyadic (CollectErrors es b)

Defined in AERN2.MP.Dyadic

type PowType Dyadic (CollectErrors es b) = CollectErrors es (PowType Dyadic b)

type AddType Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

type AddType Dyadic (WithCurrentPrec p a) = WithCurrentPrec p (AddType Dyadic a)

type SubType Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

type SubType Dyadic (WithCurrentPrec p a) = WithCurrentPrec p (SubType Dyadic a)

type DivType Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

type DivType Dyadic (WithCurrentPrec p a) = WithCurrentPrec p (DivType Dyadic a)

type EqCompareType Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type EqCompareType Dyadic (WithCurrentPrec p a) = EqCompareType Dyadic a

type MinMaxType Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MinMaxType Dyadic (WithCurrentPrec p a) = WithCurrentPrec p (MinMaxType Dyadic a)

type MulType Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

type MulType Dyadic (WithCurrentPrec p a) = WithCurrentPrec p (MulType Dyadic a)

type OrderCompareType Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type OrderCompareType Dyadic (WithCurrentPrec p a) = OrderCompareType Dyadic a

type AddType (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type EqCompareType (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MulType (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type OrderCompareType (CN Dyadic) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type AddType (CollectErrors es a) Dyadic

Defined in AERN2.MP.Dyadic

type AddType (CollectErrors es a) Dyadic = CollectErrors es (AddType a Dyadic)

type SubType (CollectErrors es a) Dyadic

Defined in AERN2.MP.Dyadic

type SubType (CollectErrors es a) Dyadic = CollectErrors es (SubType a Dyadic)

type DivType (CollectErrors es a) Dyadic

Defined in AERN2.MP.Dyadic

type DivType (CollectErrors es a) Dyadic = CollectErrors es (DivType a Dyadic)

type EqCompareType (CollectErrors es a) Dyadic

Defined in AERN2.MP.Dyadic

type EqCompareType (CollectErrors es a) Dyadic = CollectErrors es (EqCompareType a Dyadic)

type MinMaxType (CollectErrors es a) Dyadic

Defined in AERN2.MP.Dyadic

type MinMaxType (CollectErrors es a) Dyadic = CollectErrors es (MinMaxType a Dyadic)

type MulType (CollectErrors es a) Dyadic

Defined in AERN2.MP.Dyadic

type MulType (CollectErrors es a) Dyadic = CollectErrors es (MulType a Dyadic)

type OrderCompareType (CollectErrors es a) Dyadic

Defined in AERN2.MP.Dyadic

type OrderCompareType (CollectErrors es a) Dyadic = CollectErrors es (OrderCompareType a Dyadic)

type PPowType (CollectErrors es a) Dyadic

Defined in AERN2.MP.Dyadic

type PPowType (CollectErrors es a) Dyadic = PowType (CollectErrors es a) Dyadic

type PowType (CollectErrors es a) Dyadic

Defined in AERN2.MP.Dyadic

type PowType (CollectErrors es a) Dyadic = CollectErrors es (PowType a Dyadic)

type AddType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

type AddType (WithCurrentPrec p a) Dyadic = WithCurrentPrec p (AddType a Dyadic)

type SubType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

type SubType (WithCurrentPrec p a) Dyadic = WithCurrentPrec p (SubType a Dyadic)

type DivType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

type DivType (WithCurrentPrec p a) Dyadic = WithCurrentPrec p (DivType a Dyadic)

type EqCompareType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type EqCompareType (WithCurrentPrec p a) Dyadic = EqCompareType a Dyadic

type MinMaxType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MinMaxType (WithCurrentPrec p a) Dyadic = WithCurrentPrec p (MinMaxType a Dyadic)

type MulType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

type MulType (WithCurrentPrec p a) Dyadic = WithCurrentPrec p (MulType a Dyadic)

type OrderCompareType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type OrderCompareType (WithCurrentPrec p a) Dyadic = OrderCompareType a Dyadic

type AddType (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type EqCompareType (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MulType (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type OrderCompareType (WithCurrentPrec p a) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type HasDyadics t = ConvertibleExactly Dyadic t

Dyadic constructors

type CanBeDyadic t = ConvertibleExactly t Dyadic

dyadic :: CanBeDyadic t => t -> Dyadic

tests

specDyadic :: Spec

tDyadic :: T Dyadic

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