AERN2.MP.WithCurrentPrec

Type wrapper setting default precision.

Borrowed some tricks from https://github.com/ekmett/rounded/blob/master/src/Numeric/Rounded/Precision.hs

Documentation

newtype WithCurrentPrec p t

Constructors

WithCurrentPrec

Fields

• unWithCurrentPrec :: t

Instances

(HasLimits ix (CN MPBall -> CN MPBall), LimitType ix (CN MPBall -> CN MPBall) ~ (CN MPBall -> CN MPBall), KnownNat p) => HasLimits ix (CN (WithCurrentPrec p (CN MPBall)))

Defined in AERN2.MP.WithCurrentPrec.Limit

Associated Types

type LimitType ix (CN (WithCurrentPrec p (CN MPBall)))

Methods

limit :: (ix -> CN (WithCurrentPrec p (CN MPBall))) -> LimitType ix (CN (WithCurrentPrec p (CN MPBall)))

CanTakeErrors NumErrors t => CanTakeErrors NumErrors (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Type

Methods

takeErrors :: NumErrors -> WithCurrentPrec p t -> WithCurrentPrec p t

takeErrorsNoValue :: NumErrors -> WithCurrentPrec p t

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType Int (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType Integer (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType Rational (WithCurrentPrec p a)

Methods

divide :: Rational -> WithCurrentPrec p a -> DivType Rational (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)

(CanPow Int e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Int (WithCurrentPrec p e)

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType Int (WithCurrentPrec p e)

type PPowType Int (WithCurrentPrec p e)

Methods

pow :: Int -> WithCurrentPrec p e -> PowType Int (WithCurrentPrec p e)

ppow :: Int -> WithCurrentPrec p e -> PPowType Int (WithCurrentPrec p e)

(CanPow Integer e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Integer (WithCurrentPrec p e)

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType Integer (WithCurrentPrec p e)

type PPowType Integer (WithCurrentPrec p e)

Methods

pow :: Integer -> WithCurrentPrec p e -> PowType Integer (WithCurrentPrec p e)

ppow :: Integer -> WithCurrentPrec p e -> PPowType Integer (WithCurrentPrec p e)

(CanPow Rational e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Rational (WithCurrentPrec p e)

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType Rational (WithCurrentPrec p e)

type PPowType Rational (WithCurrentPrec p e)

Methods

pow :: Rational -> WithCurrentPrec p e -> PowType Rational (WithCurrentPrec p e)

ppow :: Rational -> WithCurrentPrec p e -> PPowType Rational (WithCurrentPrec p e)

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType Int (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType Integer (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType Rational (WithCurrentPrec p a)

Methods

mul :: Rational -> WithCurrentPrec p a -> MulType Rational (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)

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType Int (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType Integer (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType Rational (WithCurrentPrec p a)

Methods

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

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 Int a => CanSub Int (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType Int (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType Integer (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType Rational (WithCurrentPrec p a)

Methods

sub :: Rational -> WithCurrentPrec p a -> SubType Rational (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)

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType Int (WithCurrentPrec p a)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType Integer (WithCurrentPrec p a)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType Rational (WithCurrentPrec p a)

Methods

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

max :: Rational -> WithCurrentPrec p a -> MinMaxType Rational (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)

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType Int (WithCurrentPrec p a)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType Integer (WithCurrentPrec p a)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType Rational (WithCurrentPrec p a)

Methods

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

notEqualTo :: Rational -> WithCurrentPrec p a -> EqCompareType Rational (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)

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType Int (WithCurrentPrec p a)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType Integer (WithCurrentPrec p a)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType Rational (WithCurrentPrec p a)

Methods

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

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

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

geq :: Rational -> WithCurrentPrec p a -> OrderCompareType Rational (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)

(ConvertibleWithPrecision t1 t2, KnownNat p) => ConvertibleExactly t1 (WithCurrentPrec p t2)

Defined in AERN2.MP.WithCurrentPrec.Type

Methods

safeConvertExactly :: t1 -> ConvertResult (WithCurrentPrec p t2)

(HasLimits ix (CN MPBall -> CN MPBall), LimitType ix (CN MPBall -> CN MPBall) ~ (CN MPBall -> CN MPBall), KnownNat p) => HasLimits ix (WithCurrentPrec p (CN MPBall))

Defined in AERN2.MP.WithCurrentPrec.Limit

Associated Types

type LimitType ix (WithCurrentPrec p (CN MPBall))

Methods

limit :: (ix -> WithCurrentPrec p (CN MPBall)) -> LimitType ix (WithCurrentPrec p (CN MPBall))

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (CN Int) (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (CN Integer) (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (CN Rational) (WithCurrentPrec p a)

Methods

divide :: CN Rational -> WithCurrentPrec p a -> DivType (CN Rational) (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)

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (CN Int) (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (CN Integer) (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (CN Rational) (WithCurrentPrec p a)

Methods

mul :: CN Rational -> WithCurrentPrec p a -> MulType (CN Rational) (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)

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (CN Int) (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (CN Integer) (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (CN Rational) (WithCurrentPrec p a)

Methods

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

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 Int) a => CanSub (CN Int) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (CN Int) (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (CN Integer) (WithCurrentPrec p a)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (CN Rational) (WithCurrentPrec p a)

Methods

sub :: CN Rational -> WithCurrentPrec p a -> SubType (CN Rational) (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)

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (CN Int) (WithCurrentPrec p a)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (CN Integer) (WithCurrentPrec p a)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (CN Rational) (WithCurrentPrec p a)

Methods

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

max :: CN Rational -> WithCurrentPrec p a -> MinMaxType (CN Rational) (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)

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (CN Int) (WithCurrentPrec p a)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (CN Integer) (WithCurrentPrec p a)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (CN Rational) (WithCurrentPrec p a)

Methods

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

notEqualTo :: CN Rational -> WithCurrentPrec p a -> EqCompareType (CN Rational) (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)

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (CN Int) (WithCurrentPrec p a)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (CN Integer) (WithCurrentPrec p a)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (CN Rational) (WithCurrentPrec p a)

Methods

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

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

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

geq :: CN Rational -> WithCurrentPrec p a -> OrderCompareType (CN Rational) (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)

Eq t => Eq (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.PreludeInstances

Methods

(==) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool

(/=) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool

KnownNat p => Floating (WithCurrentPrec p (CN MPBall))

Defined in AERN2.MP.WithCurrentPrec.PreludeInstances

Methods

pi :: WithCurrentPrec p (CN MPBall)

exp :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

log :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

sqrt :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

(**) :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

logBase :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

sin :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

cos :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

tan :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

asin :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

acos :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

atan :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

sinh :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

cosh :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

tanh :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

asinh :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

acosh :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

atanh :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

log1p :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

expm1 :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

log1pexp :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

log1mexp :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall)

(KnownNat p, Fractional t, ConvertibleWithPrecision Integer t, ConvertibleWithPrecision Rational t) => Fractional (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.PreludeInstances

Methods

(/) :: WithCurrentPrec p t -> WithCurrentPrec p t -> WithCurrentPrec p t

recip :: WithCurrentPrec p t -> WithCurrentPrec p t

fromRational :: Rational -> WithCurrentPrec p t

(KnownNat p, Num t, ConvertibleWithPrecision Integer t) => Num (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.PreludeInstances

Methods

(+) :: WithCurrentPrec p t -> WithCurrentPrec p t -> WithCurrentPrec p t

(-) :: WithCurrentPrec p t -> WithCurrentPrec p t -> WithCurrentPrec p t

(*) :: WithCurrentPrec p t -> WithCurrentPrec p t -> WithCurrentPrec p t

negate :: WithCurrentPrec p t -> WithCurrentPrec p t

abs :: WithCurrentPrec p t -> WithCurrentPrec p t

signum :: WithCurrentPrec p t -> WithCurrentPrec p t

fromInteger :: Integer -> WithCurrentPrec p t

Ord t => Ord (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.PreludeInstances

Methods

compare :: WithCurrentPrec p t -> WithCurrentPrec p t -> Ordering

(<) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool

(<=) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool

(>) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool

(>=) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool

max :: WithCurrentPrec p t -> WithCurrentPrec p t -> WithCurrentPrec p t

min :: WithCurrentPrec p t -> WithCurrentPrec p t -> WithCurrentPrec p t

Show t => Show (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Type

Methods

showsPrec :: Int -> WithCurrentPrec p t -> ShowS

show :: WithCurrentPrec p t -> String

showList :: [WithCurrentPrec p t] -> ShowS

CanSqrt t => CanSqrt (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type SqrtType (WithCurrentPrec p t)

Methods

sqrt :: WithCurrentPrec p t -> SqrtType (WithCurrentPrec p t)

CanExp t => CanExp (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type ExpType (WithCurrentPrec p t)

Methods

exp :: WithCurrentPrec p t -> ExpType (WithCurrentPrec p t)

CanLog t => CanLog (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type LogType (WithCurrentPrec p t)

Methods

log :: WithCurrentPrec p t -> LogType (WithCurrentPrec p t)

CanSinCos t => CanSinCos (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type SinCosType (WithCurrentPrec p t)

Methods

cos :: WithCurrentPrec p t -> SinCosType (WithCurrentPrec p t)

sin :: WithCurrentPrec p t -> SinCosType (WithCurrentPrec p t)

KnownNat p => Field (WithCurrentPrec p (CN MPBall))

Defined in AERN2.MP.WithCurrentPrec

KnownNat p => OrderedField (WithCurrentPrec p (CN MPBall))

Defined in AERN2.MP.WithCurrentPrec

CanTestIsIntegerType t => CanTestIsIntegerType (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Type

Methods

isIntegerType :: WithCurrentPrec p t -> Bool

KnownNat p => Ring (WithCurrentPrec p (CN MPBall))

Defined in AERN2.MP.WithCurrentPrec

KnownNat p => OrderedRing (WithCurrentPrec p (CN MPBall))

Defined in AERN2.MP.WithCurrentPrec

CanAbs t => CanAbs (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type AbsType (WithCurrentPrec p t)

Methods

abs :: WithCurrentPrec p t -> AbsType (WithCurrentPrec p t)

CanNeg t => CanNeg (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type NegType (WithCurrentPrec p t)

Methods

negate :: WithCurrentPrec p t -> NegType (WithCurrentPrec p t)

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec p a) Rational

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec p a) Int

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec p a) Integer

Methods

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

CanPow b Rational => CanPow (WithCurrentPrec p b) Rational

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType (WithCurrentPrec p b) Rational

type PPowType (WithCurrentPrec p b) Rational

Methods

pow :: WithCurrentPrec p b -> Rational -> PowType (WithCurrentPrec p b) Rational

ppow :: WithCurrentPrec p b -> Rational -> PPowType (WithCurrentPrec p b) Rational

CanPow b Int => CanPow (WithCurrentPrec p b) Int

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType (WithCurrentPrec p b) Int

type PPowType (WithCurrentPrec p b) Int

Methods

pow :: WithCurrentPrec p b -> Int -> PowType (WithCurrentPrec p b) Int

ppow :: WithCurrentPrec p b -> Int -> PPowType (WithCurrentPrec p b) Int

CanPow b Integer => CanPow (WithCurrentPrec p b) Integer

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType (WithCurrentPrec p b) Integer

type PPowType (WithCurrentPrec p b) Integer

Methods

pow :: WithCurrentPrec p b -> Integer -> PowType (WithCurrentPrec p b) Integer

ppow :: WithCurrentPrec p b -> Integer -> PPowType (WithCurrentPrec p b) Integer

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec p a) Rational

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec p a) Int

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec p a) Integer

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec p a) Rational

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec p a) Int

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec p a) Integer

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec p a) Rational

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec p a) Int

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec p a) Integer

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec p a) Rational

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec p a) Int

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec p a) Integer

Methods

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec p a) Rational

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec p a) Int

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec p a) Integer

Methods

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec p a) Rational

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec p a) Int

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec p a) Integer

Methods

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

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

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

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

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)

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec p a) (CN Rational)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec p a) (CN Int)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec p a) (CN Integer)

Methods

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

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)

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec p a) (CN Rational)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec p a) (CN Int)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec p a) (CN Integer)

Methods

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

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)

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec p a) (CN Rational)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec p a) (CN Int)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec p a) (CN Integer)

Methods

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

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)

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec p a) (CN Rational)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec p a) (CN Int)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec p a) (CN Integer)

Methods

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

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)

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec p a) (CN Rational)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec p a) (CN Int)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec p a) (CN Integer)

Methods

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

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

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)

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec p a) (CN Rational)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec p a) (CN Int)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec p a) (CN Integer)

Methods

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

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

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)

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec p a) (CN Rational)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec p a) (CN Int)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec p a) (CN Integer)

Methods

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

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

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

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

(CanDiv t1 t2, p1 ~ p2) => CanDiv (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Methods

divide :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> DivType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

(CanPow t1 t2, p1 ~ p2) => CanPow (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

type PPowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Methods

pow :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> PowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

ppow :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> PPowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

(CanMulAsymmetric t1 t2, p1 ~ p2) => CanMulAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Methods

mul :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> MulType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

(CanAddAsymmetric t1 t2, p1 ~ p2) => CanAddAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Methods

add :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> AddType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

(CanSub t1 t2, p1 ~ p2) => CanSub (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Methods

sub :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> SubType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

(CanMinMaxAsymmetric t1 t2, p1 ~ p2) => CanMinMaxAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Methods

min :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> MinMaxType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

max :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> MinMaxType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

(HasEqAsymmetric t1 t2, p1 ~ p2) => HasEqAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Methods

equalTo :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> EqCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

notEqualTo :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> EqCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

(HasOrderAsymmetric t1 t2, p1 ~ p2) => HasOrderAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Methods

lessThan :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> OrderCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

greaterThan :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> OrderCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

leq :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> OrderCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

geq :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> OrderCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

type LimitType ix (CN (WithCurrentPrec p (CN MPBall)))

Defined in AERN2.MP.WithCurrentPrec.Limit

type LimitType ix (CN (WithCurrentPrec p (CN MPBall))) = WithCurrentPrec p (CN MPBall)

type DivType Int (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType Integer (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType Rational (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

type DivType Rational (WithCurrentPrec p a) = WithCurrentPrec p (DivType Rational 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 PPowType Int (WithCurrentPrec p e)

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PPowType Int (WithCurrentPrec p e) = PowType Int (WithCurrentPrec p e)

type PPowType Integer (WithCurrentPrec p e)

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PPowType Integer (WithCurrentPrec p e) = PowType Integer (WithCurrentPrec p e)

type PPowType Rational (WithCurrentPrec p e)

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PPowType Rational (WithCurrentPrec p e) = PowType Rational (WithCurrentPrec p e)

type PowType Int (WithCurrentPrec p e)

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PowType Int (WithCurrentPrec p e) = WithCurrentPrec p (PowType Int e)

type PowType Integer (WithCurrentPrec p e)

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PowType Integer (WithCurrentPrec p e) = WithCurrentPrec p (PowType Integer e)

type PowType Rational (WithCurrentPrec p e)

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PowType Rational (WithCurrentPrec p e) = WithCurrentPrec p (PowType Rational e)

type MulType Int (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType Integer (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType Rational (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

type MulType Rational (WithCurrentPrec p a) = WithCurrentPrec p (MulType Rational 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 AddType Int (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType Integer (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType Rational (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

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 Int (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType Integer (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType Rational (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

type SubType Rational (WithCurrentPrec p a) = WithCurrentPrec p (SubType Rational 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 MinMaxType Int (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType Integer (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType Rational (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MinMaxType Rational (WithCurrentPrec p a) = WithCurrentPrec p (MinMaxType Rational 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 EqCompareType Int (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType Integer (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType Rational (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType Int (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType Integer (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType Rational (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType Dyadic (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type LimitType ix (WithCurrentPrec p (CN MPBall))

Defined in AERN2.MP.WithCurrentPrec.Limit

type LimitType ix (WithCurrentPrec p (CN MPBall)) = WithCurrentPrec p (CN MPBall)

type DivType (CN Int) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (CN Integer) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (CN Rational) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

type DivType (CN Rational) (WithCurrentPrec p a) = WithCurrentPrec p (DivType (CN Rational) 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 MulType (CN Int) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (CN Integer) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (CN Rational) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

type MulType (CN Rational) (WithCurrentPrec p a) = WithCurrentPrec p (MulType (CN Rational) 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 AddType (CN Int) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (CN Integer) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (CN Rational) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

type AddType (CN Rational) (WithCurrentPrec p a) = WithCurrentPrec p (AddType (CN Rational) 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 Int) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (CN Integer) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (CN Rational) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Field

type SubType (CN Rational) (WithCurrentPrec p a) = WithCurrentPrec p (SubType (CN Rational) 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 MinMaxType (CN Int) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (CN Integer) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (CN Rational) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MinMaxType (CN Rational) (WithCurrentPrec p a) = WithCurrentPrec p (MinMaxType (CN Rational) 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 EqCompareType (CN Int) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (CN Integer) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (CN Rational) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type EqCompareType (CN Rational) (WithCurrentPrec p a) = EqCompareType (CN Rational) 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 OrderCompareType (CN Int) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (CN Integer) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (CN Rational) (WithCurrentPrec p a)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type OrderCompareType (CN Rational) (WithCurrentPrec p a) = OrderCompareType (CN Rational) 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 SqrtType (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Elementary

type SqrtType (WithCurrentPrec p t) = WithCurrentPrec p (SqrtType t)

type ExpType (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Elementary

type ExpType (WithCurrentPrec p t) = WithCurrentPrec p (ExpType t)

type LogType (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Elementary

type LogType (WithCurrentPrec p t) = WithCurrentPrec p (LogType t)

type SinCosType (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Elementary

type SinCosType (WithCurrentPrec p t) = WithCurrentPrec p (SinCosType t)

type AbsType (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type AbsType (WithCurrentPrec p t) = WithCurrentPrec p (AbsType t)

type NegType (WithCurrentPrec p t)

Defined in AERN2.MP.WithCurrentPrec.Field

type NegType (WithCurrentPrec p t) = WithCurrentPrec p (NegType t)

type DivType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (WithCurrentPrec p a) Rational

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (WithCurrentPrec p a) Int

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (WithCurrentPrec p a) Integer

Defined in AERN2.MP.WithCurrentPrec.Field

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

type PPowType (WithCurrentPrec p b) Rational

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PPowType (WithCurrentPrec p b) Rational = PowType (WithCurrentPrec p b) Rational

type PPowType (WithCurrentPrec p b) Int

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PPowType (WithCurrentPrec p b) Int = PowType (WithCurrentPrec p b) Int

type PPowType (WithCurrentPrec p b) Integer

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PPowType (WithCurrentPrec p b) Integer = PowType (WithCurrentPrec p b) Integer

type PowType (WithCurrentPrec p b) Rational

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PowType (WithCurrentPrec p b) Rational = WithCurrentPrec p (PowType b Rational)

type PowType (WithCurrentPrec p b) Int

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PowType (WithCurrentPrec p b) Int = WithCurrentPrec p (PowType b Int)

type PowType (WithCurrentPrec p b) Integer

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PowType (WithCurrentPrec p b) Integer = WithCurrentPrec p (PowType b Integer)

type MulType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec p a) Rational

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec p a) Int

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec p a) Integer

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec p a) Rational

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec p a) Int

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec p a) Integer

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec p a) Rational

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec p a) Int

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec p a) Integer

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MinMaxType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (WithCurrentPrec p a) Rational

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (WithCurrentPrec p a) Int

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (WithCurrentPrec p a) Integer

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec p a) Rational

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec p a) Int

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec p a) Integer

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec p a) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec p a) Rational

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec p a) Int

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec p a) Integer

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

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 DivType (WithCurrentPrec p a) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (WithCurrentPrec p a) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (WithCurrentPrec p a) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Field

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

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 MulType (WithCurrentPrec p a) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec p a) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec p a) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Field

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

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 AddType (WithCurrentPrec p a) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec p a) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec p a) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Field

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

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 SubType (WithCurrentPrec p a) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec p a) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec p a) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Field

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

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 MinMaxType (WithCurrentPrec p a) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (WithCurrentPrec p a) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (WithCurrentPrec p a) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

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 EqCompareType (WithCurrentPrec p a) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec p a) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec p a) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

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 OrderCompareType (WithCurrentPrec p a) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec p a) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec p a) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type DivType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Field

type DivType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = WithCurrentPrec p1 (DivType t1 t2)

type PPowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PPowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = PowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

type PowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Elementary

type PowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = WithCurrentPrec p1 (PowType t1 t2)

type MulType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Field

type MulType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = WithCurrentPrec p1 (MulType t1 t2)

type AddType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Field

type AddType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = WithCurrentPrec p1 (AddType t1 t2)

type SubType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Field

type SubType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = WithCurrentPrec p1 (SubType t1 t2)

type MinMaxType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type MinMaxType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = WithCurrentPrec p1 (MinMaxType t1 t2)

type EqCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type EqCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = EqCompareType t1 t2

type OrderCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

type OrderCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = OrderCompareType t1 t2

runWithPrec :: Precision -> (forall p. KnownNat p => WithCurrentPrec p t) -> t

Run a WithCurrentPrec computation with a specific precision.

newtype WithAnyPrec t

An existential type wrapper for convenient conversions, eg using aern2-real:

_x :: KnownNat p => WithCurrentPrec (CN MPBall) p
_x = undefined

_r_x :: CReal
_r_x = creal $ WithAnyPrec _x

Constructors

WithAnyPrec (forall p. KnownNat p => WithCurrentPrec p t)

cnmpBallCP :: (CanBeMPBallP t, KnownNat p) => t -> WithCurrentPrec p (CN MPBall)

piCP :: KnownNat p => WithCurrentPrec p (CN MPBall)

Orphan instances

KnownNat p => Field (WithCurrentPrec p (CN MPBall))

KnownNat p => OrderedField (WithCurrentPrec p (CN MPBall))

KnownNat p => Ring (WithCurrentPrec p (CN MPBall))

KnownNat p => OrderedRing (WithCurrentPrec p (CN MPBall))