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 t p

Constructors

WithCurrentPrec

Fields

• unWithCurrentPrec :: t

Instances

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

Defined in AERN2.MP.WithCurrentPrec.Type

Methods

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

takeErrorsNoValue :: NumErrors -> WithCurrentPrec t p

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

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType Int (WithCurrentPrec e p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType Integer (WithCurrentPrec e p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType Rational (WithCurrentPrec e p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType Int (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType Integer (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType Rational (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType Dyadic (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType Int (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType Integer (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType Rational (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType Dyadic (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType Int (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType Integer (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType Rational (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType Dyadic (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType Int (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType Integer (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType Rational (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType Dyadic (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType Int (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType Integer (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType Rational (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType Dyadic (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType Int (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType Integer (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType Rational (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType Dyadic (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType Int (WithCurrentPrec a p)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType Integer (WithCurrentPrec a p)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType Rational (WithCurrentPrec a p)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType Dyadic (WithCurrentPrec a p)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Limit

Associated Types

type LimitType ix (WithCurrentPrec (CN MPBall) p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (CN Int) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (CN Integer) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (CN Rational) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (CN Dyadic) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (CN Int) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (CN Integer) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (CN Rational) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (CN Dyadic) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (CN Int) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (CN Integer) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (CN Rational) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (CN Dyadic) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (CN Int) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (CN Integer) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (CN Rational) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (CN Dyadic) (WithCurrentPrec a p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (CN Int) (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (CN Integer) (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (CN Rational) (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (CN Dyadic) (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (CN Int) (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (CN Integer) (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (CN Rational) (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (CN Dyadic) (WithCurrentPrec a p)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (CN Int) (WithCurrentPrec a p)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (CN Integer) (WithCurrentPrec a p)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (CN Rational) (WithCurrentPrec a p)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (CN Dyadic) (WithCurrentPrec a p)

Methods

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

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

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

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

Eq t => Eq (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.PreludeInstances

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.PreludeInstances

Methods

pi :: WithCurrentPrec (CN MPBall) p

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.PreludeInstances

Methods

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

recip :: WithCurrentPrec t p -> WithCurrentPrec t p

fromRational :: Rational -> WithCurrentPrec t p

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

Defined in AERN2.MP.WithCurrentPrec.PreludeInstances

Methods

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

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

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

negate :: WithCurrentPrec t p -> WithCurrentPrec t p

abs :: WithCurrentPrec t p -> WithCurrentPrec t p

signum :: WithCurrentPrec t p -> WithCurrentPrec t p

fromInteger :: Integer -> WithCurrentPrec t p

Ord t => Ord (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.PreludeInstances

Methods

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

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

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

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

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

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

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

Show t => Show (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.Type

Methods

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

show :: WithCurrentPrec t p -> String

showList :: [WithCurrentPrec t p] -> ShowS

CanSqrt t => CanSqrt (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type SqrtType (WithCurrentPrec t p)

Methods

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

CanExp t => CanExp (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type ExpType (WithCurrentPrec t p)

Methods

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

CanLog t => CanLog (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type LogType (WithCurrentPrec t p)

Methods

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

CanSinCos t => CanSinCos (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type SinCosType (WithCurrentPrec t p)

Methods

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

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

CanAbs t => CanAbs (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type AbsType (WithCurrentPrec t p)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType (WithCurrentPrec b p) Rational

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType (WithCurrentPrec b p) Int

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

type PowType (WithCurrentPrec b p) Integer

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec a p) Dyadic

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec a p) Rational

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec a p) Int

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec a p) Integer

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec a p) Dyadic

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec a p) Rational

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec a p) Int

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec a p) Integer

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec a p) Dyadic

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec a p) Rational

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec a p) Int

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec a p) Integer

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec a p) Dyadic

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec a p) Rational

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec a p) Int

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec a p) Integer

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec a p) Dyadic

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec a p) Rational

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec a p) Int

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec a p) Integer

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec a p) Dyadic

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec a p) Rational

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec a p) Int

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec a p) Integer

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec a p) Dyadic

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec a p) Rational

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec a p) Int

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec a p) Integer

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec a p) (CN Dyadic)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec a p) (CN Rational)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec a p) (CN Int)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type DivType (WithCurrentPrec a p) (CN Integer)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec a p) (CN Dyadic)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec a p) (CN Rational)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec a p) (CN Int)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type MulType (WithCurrentPrec a p) (CN Integer)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec a p) (CN Dyadic)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec a p) (CN Rational)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec a p) (CN Int)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type AddType (WithCurrentPrec a p) (CN Integer)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec a p) (CN Dyadic)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec a p) (CN Rational)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec a p) (CN Int)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

type SubType (WithCurrentPrec a p) (CN Integer)

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec a p) (CN Dyadic)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec a p) (CN Rational)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec a p) (CN Int)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type MinMaxType (WithCurrentPrec a p) (CN Integer)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec a p) (CN Dyadic)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec a p) (CN Rational)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec a p) (CN Int)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type EqCompareType (WithCurrentPrec a p) (CN Integer)

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec a p) (CN Dyadic)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec a p) (CN Rational)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec a p) (CN Int)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

type OrderCompareType (WithCurrentPrec a p) (CN Integer)

Methods

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

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

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Elementary

Associated Types

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

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

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

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

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

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

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

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

Associated Types

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

Methods

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

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

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

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

Methods

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

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

Associated Types

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

Methods

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

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

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

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

type PowType Int (WithCurrentPrec e p)

Defined in AERN2.MP.WithCurrentPrec.Elementary

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

type PowType Integer (WithCurrentPrec e p)

Defined in AERN2.MP.WithCurrentPrec.Elementary

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

type PowType Rational (WithCurrentPrec e p)

Defined in AERN2.MP.WithCurrentPrec.Elementary

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

type DivType Int (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType Integer (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType Rational (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType Dyadic (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType Int (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType Integer (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType Rational (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType Dyadic (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType Int (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType Integer (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType Rational (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType Dyadic (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType Int (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType Integer (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType Rational (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType Dyadic (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MinMaxType Int (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType Integer (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType Rational (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType Dyadic (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType Int (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType Integer (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType Rational (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType Dyadic (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType Int (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType Integer (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType Rational (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType Dyadic (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type LimitType ix (WithCurrentPrec (CN MPBall) p)

Defined in AERN2.MP.WithCurrentPrec.Limit

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

type DivType (CN Int) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (CN Integer) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (CN Rational) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (CN Dyadic) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (CN Int) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (CN Integer) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (CN Rational) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (CN Dyadic) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (CN Int) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (CN Integer) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (CN Rational) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (CN Dyadic) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (CN Int) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (CN Integer) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (CN Rational) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (CN Dyadic) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MinMaxType (CN Int) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (CN Integer) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (CN Rational) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (CN Dyadic) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (CN Int) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (CN Integer) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (CN Rational) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (CN Dyadic) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (CN Int) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (CN Integer) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (CN Rational) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (CN Dyadic) (WithCurrentPrec a p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type SqrtType (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.Elementary

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

type ExpType (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.Elementary

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

type LogType (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.Elementary

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

type SinCosType (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.Elementary

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

type AbsType (WithCurrentPrec t p)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type PowType (WithCurrentPrec b p) Rational

Defined in AERN2.MP.WithCurrentPrec.Elementary

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

type PowType (WithCurrentPrec b p) Int

Defined in AERN2.MP.WithCurrentPrec.Elementary

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

type PowType (WithCurrentPrec b p) Integer

Defined in AERN2.MP.WithCurrentPrec.Elementary

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

type DivType (WithCurrentPrec a p) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (WithCurrentPrec a p) Rational

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (WithCurrentPrec a p) Int

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (WithCurrentPrec a p) Integer

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec a p) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec a p) Rational

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec a p) Int

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec a p) Integer

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec a p) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec a p) Rational

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec a p) Int

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec a p) Integer

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec a p) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec a p) Rational

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec a p) Int

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec a p) Integer

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MinMaxType (WithCurrentPrec a p) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (WithCurrentPrec a p) Rational

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (WithCurrentPrec a p) Int

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (WithCurrentPrec a p) Integer

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec a p) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec a p) Rational

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec a p) Int

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec a p) Integer

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec a p) Dyadic

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec a p) Rational

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec a p) Int

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec a p) Integer

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type DivType (WithCurrentPrec a p) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (WithCurrentPrec a p) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (WithCurrentPrec a p) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type DivType (WithCurrentPrec a p) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec a p) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec a p) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec a p) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MulType (WithCurrentPrec a p) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec a p) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec a p) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec a p) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type AddType (WithCurrentPrec a p) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec a p) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec a p) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec a p) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type SubType (WithCurrentPrec a p) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Field

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

type MinMaxType (WithCurrentPrec a p) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (WithCurrentPrec a p) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (WithCurrentPrec a p) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type MinMaxType (WithCurrentPrec a p) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec a p) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec a p) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec a p) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type EqCompareType (WithCurrentPrec a p) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec a p) (CN Dyadic)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec a p) (CN Rational)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec a p) (CN Int)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

type OrderCompareType (WithCurrentPrec a p) (CN Integer)

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

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

Defined in AERN2.MP.WithCurrentPrec.Elementary

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

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

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

Defined in AERN2.MP.WithCurrentPrec.Field

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

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

Defined in AERN2.MP.WithCurrentPrec.Comparisons

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

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

class HasCurrentPrecision p where

Methods

getCurrentPrecision :: proxy p -> Precision

Instances

KnownNat n => HasCurrentPrecision (n :: Nat)

Defined in AERN2.MP.WithCurrentPrec.Type

Methods

getCurrentPrecision :: proxy n -> 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 t p)

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

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