Copyright	(c) Michal Konecny
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

AERN2.MP.WithCurrentPrec.Type

Description

Type wrapper setting default precision.

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

Synopsis

newtype WithCurrentPrec p t = WithCurrentPrec {
- unWithCurrentPrec :: t
}
getCurrentPrecision :: KnownNat p => WithCurrentPrec p t -> Precision
newtype WithAnyPrec t = WithAnyPrec (forall p. KnownNat p => WithCurrentPrec p t)
runWithPrec :: Precision -> (forall p. KnownNat p => WithCurrentPrec p t) -> t
cnmpBallCP :: (CanBeMPBallP t, KnownNat p) => t -> WithCurrentPrec p (CN MPBall)
lift1 :: (t1 -> t2) -> WithCurrentPrec p t1 -> WithCurrentPrec p t2
lift2 :: p1 ~ p2 => (t1 -> t2 -> t3) -> WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> WithCurrentPrec p1 t3
lift2P :: p1 ~ p2 => (t1 -> t2 -> t3) -> WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> t3
lift1T :: (t1 -> t2 -> t3) -> WithCurrentPrec p1 t1 -> t2 -> WithCurrentPrec p1 t3
lift1TP :: (t1 -> t2 -> t3) -> WithCurrentPrec p1 t1 -> t2 -> t3
liftT1 :: (t1 -> t2 -> t3) -> t1 -> WithCurrentPrec p2 t2 -> WithCurrentPrec p1 t3
liftT1P :: (t1 -> t2 -> t3) -> t1 -> WithCurrentPrec p2 t2 -> t3

Documentation

newtype WithCurrentPrec p t Source #

Constructors

WithCurrentPrec
Fields unWithCurrentPrec :: t

Instances

Instances details

(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))) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Limit Associated Types type LimitType ix (CN (WithCurrentPrec p (CN MPBall))) Source # Methods limit :: (ix -> CN (WithCurrentPrec p (CN MPBall))) -> LimitType ix (CN (WithCurrentPrec p (CN MPBall))) Source #
(HasLimits ix (CN MPBall -> CN MPBall), LimitType ix (CN MPBall -> CN MPBall) ~ (CN MPBall -> CN MPBall), KnownNat p) => HasLimits ix (WithCurrentPrec p (CN MPBall)) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Limit Associated Types type LimitType ix (WithCurrentPrec p (CN MPBall)) Source # Methods limit :: (ix -> WithCurrentPrec p (CN MPBall)) -> LimitType ix (WithCurrentPrec p (CN MPBall)) Source #
CanTakeErrors NumErrors t => CanTakeErrors NumErrors (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Type Methods takeErrors :: NumErrors -> WithCurrentPrec p t -> WithCurrentPrec p t # takeErrorsNoValue :: NumErrors -> WithCurrentPrec p t #
CanAddAsymmetric Dyadic a => CanAddAsymmetric Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type AddType Dyadic (WithCurrentPrec p a) # Methods add :: Dyadic -> WithCurrentPrec p a -> AddType Dyadic (WithCurrentPrec p a) #
CanAddAsymmetric Rational a => CanAddAsymmetric Rational (WithCurrentPrec p a) Source #
Instance details 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 Integer a => CanAddAsymmetric Integer (WithCurrentPrec p a) Source #
Instance details 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 Int a => CanAddAsymmetric Int (WithCurrentPrec p a) Source #
Instance details 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) #
CanSub Dyadic a => CanSub Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type SubType Dyadic (WithCurrentPrec p a) # Methods sub :: Dyadic -> WithCurrentPrec p a -> SubType Dyadic (WithCurrentPrec p a) #
CanSub Rational a => CanSub Rational (WithCurrentPrec p a) Source #
Instance details 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 Integer a => CanSub Integer (WithCurrentPrec p a) Source #
Instance details 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 Int a => CanSub Int (WithCurrentPrec p a) Source #
Instance details 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) #
CanDiv Dyadic a => CanDiv Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type DivType Dyadic (WithCurrentPrec p a) # Methods divide :: Dyadic -> WithCurrentPrec p a -> DivType Dyadic (WithCurrentPrec p a) #
CanDiv Rational a => CanDiv Rational (WithCurrentPrec p a) Source #
Instance details 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 Integer a => CanDiv Integer (WithCurrentPrec p a) Source #
Instance details 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 Int a => CanDiv Int (WithCurrentPrec p a) Source #
Instance details 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) #
HasEqAsymmetric Dyadic a => HasEqAsymmetric Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type EqCompareType Dyadic (WithCurrentPrec p a) # Methods equalTo :: Dyadic -> WithCurrentPrec p a -> EqCompareType Dyadic (WithCurrentPrec p a) # notEqualTo :: Dyadic -> WithCurrentPrec p a -> EqCompareType Dyadic (WithCurrentPrec p a) #
HasEqAsymmetric Rational a => HasEqAsymmetric Rational (WithCurrentPrec p a) Source #
Instance details 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 Integer a => HasEqAsymmetric Integer (WithCurrentPrec p a) Source #
Instance details 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 Int a => HasEqAsymmetric Int (WithCurrentPrec p a) Source #
Instance details 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) #
(ConvertibleWithPrecision t1 t2, KnownNat p) => ConvertibleExactly t1 (WithCurrentPrec p t2) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Type Methods safeConvertExactly :: t1 -> ConvertResult (WithCurrentPrec p t2) #
CanMinMaxAsymmetric Dyadic a => CanMinMaxAsymmetric Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type MinMaxType Dyadic (WithCurrentPrec p a) # Methods min :: Dyadic -> WithCurrentPrec p a -> MinMaxType Dyadic (WithCurrentPrec p a) # max :: Dyadic -> WithCurrentPrec p a -> MinMaxType Dyadic (WithCurrentPrec p a) #
CanMinMaxAsymmetric Rational a => CanMinMaxAsymmetric Rational (WithCurrentPrec p a) Source #
Instance details 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 Integer a => CanMinMaxAsymmetric Integer (WithCurrentPrec p a) Source #
Instance details 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 Int a => CanMinMaxAsymmetric Int (WithCurrentPrec p a) Source #
Instance details 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) #
CanMulAsymmetric Dyadic a => CanMulAsymmetric Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type MulType Dyadic (WithCurrentPrec p a) # Methods mul :: Dyadic -> WithCurrentPrec p a -> MulType Dyadic (WithCurrentPrec p a) #
CanMulAsymmetric Rational a => CanMulAsymmetric Rational (WithCurrentPrec p a) Source #
Instance details 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 Integer a => CanMulAsymmetric Integer (WithCurrentPrec p a) Source #
Instance details 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 Int a => CanMulAsymmetric Int (WithCurrentPrec p a) Source #
Instance details 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) #
HasOrderAsymmetric Dyadic a => HasOrderAsymmetric Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type OrderCompareType Dyadic (WithCurrentPrec p a) # 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) #
HasOrderAsymmetric Rational a => HasOrderAsymmetric Rational (WithCurrentPrec p a) Source #
Instance details 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 Integer a => HasOrderAsymmetric Integer (WithCurrentPrec p a) Source #
Instance details 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 Int a => HasOrderAsymmetric Int (WithCurrentPrec p a) Source #
Instance details 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) #
(CanPow Rational e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Rational (WithCurrentPrec p e) Source #
Instance details 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) #
(CanPow Integer e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Integer (WithCurrentPrec p e) Source #
Instance details 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 Int e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Int (WithCurrentPrec p e) Source #
Instance details 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) #
CanAddAsymmetric (CN Dyadic) a => CanAddAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type AddType (CN Dyadic) (WithCurrentPrec p a) # Methods add :: CN Dyadic -> WithCurrentPrec p a -> AddType (CN Dyadic) (WithCurrentPrec p a) #
CanAddAsymmetric (CN Rational) a => CanAddAsymmetric (CN Rational) (WithCurrentPrec p a) Source #
Instance details 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 Integer) a => CanAddAsymmetric (CN Integer) (WithCurrentPrec p a) Source #
Instance details 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 Int) a => CanAddAsymmetric (CN Int) (WithCurrentPrec p a) Source #
Instance details 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) #
CanSub (CN Dyadic) a => CanSub (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type SubType (CN Dyadic) (WithCurrentPrec p a) # Methods sub :: CN Dyadic -> WithCurrentPrec p a -> SubType (CN Dyadic) (WithCurrentPrec p a) #
CanSub (CN Rational) a => CanSub (CN Rational) (WithCurrentPrec p a) Source #
Instance details 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 Integer) a => CanSub (CN Integer) (WithCurrentPrec p a) Source #
Instance details 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 Int) a => CanSub (CN Int) (WithCurrentPrec p a) Source #
Instance details 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) #
CanDiv (CN Dyadic) a => CanDiv (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type DivType (CN Dyadic) (WithCurrentPrec p a) # Methods divide :: CN Dyadic -> WithCurrentPrec p a -> DivType (CN Dyadic) (WithCurrentPrec p a) #
CanDiv (CN Rational) a => CanDiv (CN Rational) (WithCurrentPrec p a) Source #
Instance details 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 Integer) a => CanDiv (CN Integer) (WithCurrentPrec p a) Source #
Instance details 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 Int) a => CanDiv (CN Int) (WithCurrentPrec p a) Source #
Instance details 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) #
HasEqAsymmetric (CN Dyadic) a => HasEqAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type EqCompareType (CN Dyadic) (WithCurrentPrec p a) # 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) #
HasEqAsymmetric (CN Rational) a => HasEqAsymmetric (CN Rational) (WithCurrentPrec p a) Source #
Instance details 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 Integer) a => HasEqAsymmetric (CN Integer) (WithCurrentPrec p a) Source #
Instance details 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 Int) a => HasEqAsymmetric (CN Int) (WithCurrentPrec p a) Source #
Instance details 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) #
CanMinMaxAsymmetric (CN Dyadic) a => CanMinMaxAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type MinMaxType (CN Dyadic) (WithCurrentPrec p a) # 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) #
CanMinMaxAsymmetric (CN Rational) a => CanMinMaxAsymmetric (CN Rational) (WithCurrentPrec p a) Source #
Instance details 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 Integer) a => CanMinMaxAsymmetric (CN Integer) (WithCurrentPrec p a) Source #
Instance details 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 Int) a => CanMinMaxAsymmetric (CN Int) (WithCurrentPrec p a) Source #
Instance details 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) #
CanMulAsymmetric (CN Dyadic) a => CanMulAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type MulType (CN Dyadic) (WithCurrentPrec p a) # Methods mul :: CN Dyadic -> WithCurrentPrec p a -> MulType (CN Dyadic) (WithCurrentPrec p a) #
CanMulAsymmetric (CN Rational) a => CanMulAsymmetric (CN Rational) (WithCurrentPrec p a) Source #
Instance details 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 Integer) a => CanMulAsymmetric (CN Integer) (WithCurrentPrec p a) Source #
Instance details 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 Int) a => CanMulAsymmetric (CN Int) (WithCurrentPrec p a) Source #
Instance details 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) #
HasOrderAsymmetric (CN Dyadic) a => HasOrderAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type OrderCompareType (CN Dyadic) (WithCurrentPrec p a) # 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) #
HasOrderAsymmetric (CN Rational) a => HasOrderAsymmetric (CN Rational) (WithCurrentPrec p a) Source #
Instance details 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 Integer) a => HasOrderAsymmetric (CN Integer) (WithCurrentPrec p a) Source #
Instance details 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 Int) a => HasOrderAsymmetric (CN Int) (WithCurrentPrec p a) Source #
Instance details 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) #
KnownNat p => Floating (WithCurrentPrec p (CN MPBall)) Source #
Instance details 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, Num t, ConvertibleWithPrecision Integer t) => Num (WithCurrentPrec p t) Source #
Instance details 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 #
(KnownNat p, Fractional t, ConvertibleWithPrecision Integer t, ConvertibleWithPrecision Rational t) => Fractional (WithCurrentPrec p t) Source #
Instance details 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 #
Show t => Show (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Type Methods showsPrec :: Int -> WithCurrentPrec p t -> ShowS # show :: WithCurrentPrec p t -> String # showList :: [WithCurrentPrec p t] -> ShowS #
Eq t => Eq (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.PreludeInstances Methods (==) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool # (/=) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool #
Ord t => Ord (WithCurrentPrec p t) Source #
Instance details 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 #
CanNeg t => CanNeg (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type NegType (WithCurrentPrec p t) # Methods negate :: WithCurrentPrec p t -> NegType (WithCurrentPrec p t) #
CanExp t => CanExp (WithCurrentPrec p t) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) #
CanSqrt t => CanSqrt (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary Associated Types type SqrtType (WithCurrentPrec p t) # Methods sqrt :: WithCurrentPrec p t -> SqrtType (WithCurrentPrec p t) #
KnownNat p => Field (WithCurrentPrec p (CN MPBall)) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec
KnownNat p => OrderedField (WithCurrentPrec p (CN MPBall)) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec
CanAbs t => CanAbs (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type AbsType (WithCurrentPrec p t) # Methods abs :: WithCurrentPrec p t -> AbsType (WithCurrentPrec p t) #
CanTestIsIntegerType t => CanTestIsIntegerType (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Type Methods isIntegerType :: WithCurrentPrec p t -> Bool #
KnownNat p => OrderedRing (WithCurrentPrec p (CN MPBall)) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec
KnownNat p => Ring (WithCurrentPrec p (CN MPBall)) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec
CanAddAsymmetric a Dyadic => CanAddAsymmetric (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type AddType (WithCurrentPrec p a) Dyadic # Methods add :: WithCurrentPrec p a -> Dyadic -> AddType (WithCurrentPrec p a) Dyadic #
CanAddAsymmetric a Rational => CanAddAsymmetric (WithCurrentPrec p a) Rational Source #
Instance details 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 Integer => CanAddAsymmetric (WithCurrentPrec p a) Integer Source #
Instance details 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 #
CanAddAsymmetric a Int => CanAddAsymmetric (WithCurrentPrec p a) Int Source #
Instance details 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 #
CanSub a Dyadic => CanSub (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type SubType (WithCurrentPrec p a) Dyadic # Methods sub :: WithCurrentPrec p a -> Dyadic -> SubType (WithCurrentPrec p a) Dyadic #
CanSub a Rational => CanSub (WithCurrentPrec p a) Rational Source #
Instance details 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 Integer => CanSub (WithCurrentPrec p a) Integer Source #
Instance details 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 #
CanSub a Int => CanSub (WithCurrentPrec p a) Int Source #
Instance details 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 #
CanDiv a Dyadic => CanDiv (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type DivType (WithCurrentPrec p a) Dyadic # Methods divide :: WithCurrentPrec p a -> Dyadic -> DivType (WithCurrentPrec p a) Dyadic #
CanDiv a Rational => CanDiv (WithCurrentPrec p a) Rational Source #
Instance details 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 Integer => CanDiv (WithCurrentPrec p a) Integer Source #
Instance details 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 #
CanDiv a Int => CanDiv (WithCurrentPrec p a) Int Source #
Instance details 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 #
HasEqAsymmetric a Dyadic => HasEqAsymmetric (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type EqCompareType (WithCurrentPrec p a) Dyadic # 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 Source #
Instance details 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 Integer => HasEqAsymmetric (WithCurrentPrec p a) Integer Source #
Instance details 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 #
HasEqAsymmetric a Int => HasEqAsymmetric (WithCurrentPrec p a) Int Source #
Instance details 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 #
CanMinMaxAsymmetric a Dyadic => CanMinMaxAsymmetric (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type MinMaxType (WithCurrentPrec p a) Dyadic # 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 Source #
Instance details 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 Integer => CanMinMaxAsymmetric (WithCurrentPrec p a) Integer Source #
Instance details 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 #
CanMinMaxAsymmetric a Int => CanMinMaxAsymmetric (WithCurrentPrec p a) Int Source #
Instance details 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 #
CanMulAsymmetric a Dyadic => CanMulAsymmetric (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type MulType (WithCurrentPrec p a) Dyadic # Methods mul :: WithCurrentPrec p a -> Dyadic -> MulType (WithCurrentPrec p a) Dyadic #
CanMulAsymmetric a Rational => CanMulAsymmetric (WithCurrentPrec p a) Rational Source #
Instance details 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 Integer => CanMulAsymmetric (WithCurrentPrec p a) Integer Source #
Instance details 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 #
CanMulAsymmetric a Int => CanMulAsymmetric (WithCurrentPrec p a) Int Source #
Instance details 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 #
HasOrderAsymmetric a Dyadic => HasOrderAsymmetric (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type OrderCompareType (WithCurrentPrec p a) Dyadic # 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 Source #
Instance details 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 Integer => HasOrderAsymmetric (WithCurrentPrec p a) Integer Source #
Instance details 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 #
HasOrderAsymmetric a Int => HasOrderAsymmetric (WithCurrentPrec p a) Int Source #
Instance details 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 #
CanPow b Rational => CanPow (WithCurrentPrec p b) Rational Source #
Instance details 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 Integer => CanPow (WithCurrentPrec p b) Integer Source #
Instance details 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 #
CanPow b Int => CanPow (WithCurrentPrec p b) Int Source #
Instance details 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 #
CanAddAsymmetric a (CN Dyadic) => CanAddAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type AddType (WithCurrentPrec p a) (CN Dyadic) # Methods add :: WithCurrentPrec p a -> CN Dyadic -> AddType (WithCurrentPrec p a) (CN Dyadic) #
CanAddAsymmetric a (CN Rational) => CanAddAsymmetric (WithCurrentPrec p a) (CN Rational) Source #
Instance details 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 Integer) => CanAddAsymmetric (WithCurrentPrec p a) (CN Integer) Source #
Instance details 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) #
CanAddAsymmetric a (CN Int) => CanAddAsymmetric (WithCurrentPrec p a) (CN Int) Source #
Instance details 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) #
CanSub a (CN Dyadic) => CanSub (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type SubType (WithCurrentPrec p a) (CN Dyadic) # Methods sub :: WithCurrentPrec p a -> CN Dyadic -> SubType (WithCurrentPrec p a) (CN Dyadic) #
CanSub a (CN Rational) => CanSub (WithCurrentPrec p a) (CN Rational) Source #
Instance details 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 Integer) => CanSub (WithCurrentPrec p a) (CN Integer) Source #
Instance details 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) #
CanSub a (CN Int) => CanSub (WithCurrentPrec p a) (CN Int) Source #
Instance details 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) #
CanDiv a (CN Dyadic) => CanDiv (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type DivType (WithCurrentPrec p a) (CN Dyadic) # Methods divide :: WithCurrentPrec p a -> CN Dyadic -> DivType (WithCurrentPrec p a) (CN Dyadic) #
CanDiv a (CN Rational) => CanDiv (WithCurrentPrec p a) (CN Rational) Source #
Instance details 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 Integer) => CanDiv (WithCurrentPrec p a) (CN Integer) Source #
Instance details 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) #
CanDiv a (CN Int) => CanDiv (WithCurrentPrec p a) (CN Int) Source #
Instance details 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) #
HasEqAsymmetric a (CN Dyadic) => HasEqAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type EqCompareType (WithCurrentPrec p a) (CN Dyadic) # 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) Source #
Instance details 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 Integer) => HasEqAsymmetric (WithCurrentPrec p a) (CN Integer) Source #
Instance details 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) #
HasEqAsymmetric a (CN Int) => HasEqAsymmetric (WithCurrentPrec p a) (CN Int) Source #
Instance details 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) #
CanMinMaxAsymmetric a (CN Dyadic) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type MinMaxType (WithCurrentPrec p a) (CN Dyadic) # 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) Source #
Instance details 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 Integer) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Integer) Source #
Instance details 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) #
CanMinMaxAsymmetric a (CN Int) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Int) Source #
Instance details 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) #
CanMulAsymmetric a (CN Dyadic) => CanMulAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field Associated Types type MulType (WithCurrentPrec p a) (CN Dyadic) # Methods mul :: WithCurrentPrec p a -> CN Dyadic -> MulType (WithCurrentPrec p a) (CN Dyadic) #
CanMulAsymmetric a (CN Rational) => CanMulAsymmetric (WithCurrentPrec p a) (CN Rational) Source #
Instance details 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 Integer) => CanMulAsymmetric (WithCurrentPrec p a) (CN Integer) Source #
Instance details 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) #
CanMulAsymmetric a (CN Int) => CanMulAsymmetric (WithCurrentPrec p a) (CN Int) Source #
Instance details 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) #
HasOrderAsymmetric a (CN Dyadic) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons Associated Types type OrderCompareType (WithCurrentPrec p a) (CN Dyadic) # 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) Source #
Instance details 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 Integer) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Integer) Source #
Instance details 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) #
HasOrderAsymmetric a (CN Int) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Int) Source #
Instance details 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) #
(CanAddAsymmetric t1 t2, p1 ~ p2) => CanAddAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details 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) Source #
Instance details 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) #
(CanDiv t1 t2, p1 ~ p2) => CanDiv (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details 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) #
(HasEqAsymmetric t1 t2, p1 ~ p2) => HasEqAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details 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) #
(CanMinMaxAsymmetric t1 t2, p1 ~ p2) => CanMinMaxAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details 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) #
(CanMulAsymmetric t1 t2, p1 ~ p2) => CanMulAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details 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) #
(HasOrderAsymmetric t1 t2, p1 ~ p2) => HasOrderAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details 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) #
(CanPow t1 t2, p1 ~ p2) => CanPow (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details 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) #
type LimitType ix (CN (WithCurrentPrec p (CN MPBall))) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Limit type LimitType ix (CN (WithCurrentPrec p (CN MPBall))) = WithCurrentPrec p (CN MPBall)
type LimitType ix (WithCurrentPrec p (CN MPBall)) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Limit type LimitType ix (WithCurrentPrec p (CN MPBall)) = WithCurrentPrec p (CN MPBall)
type AddType Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType Dyadic (WithCurrentPrec p a) = WithCurrentPrec p (AddType Dyadic a)
type AddType Rational (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType Rational (WithCurrentPrec p a) = WithCurrentPrec p (AddType Rational a)
type AddType Integer (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType Integer (WithCurrentPrec p a) = WithCurrentPrec p (AddType Integer a)
type AddType Int (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType Int (WithCurrentPrec p a) = WithCurrentPrec p (AddType Int a)
type SubType Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType Dyadic (WithCurrentPrec p a) = WithCurrentPrec p (SubType Dyadic a)
type SubType Rational (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType Rational (WithCurrentPrec p a) = WithCurrentPrec p (SubType Rational a)
type SubType Integer (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType Integer (WithCurrentPrec p a) = WithCurrentPrec p (SubType Integer a)
type SubType Int (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType Int (WithCurrentPrec p a) = WithCurrentPrec p (SubType Int a)
type DivType Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType Dyadic (WithCurrentPrec p a) = WithCurrentPrec p (DivType Dyadic a)
type DivType Rational (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType Rational (WithCurrentPrec p a) = WithCurrentPrec p (DivType Rational a)
type DivType Integer (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType Integer (WithCurrentPrec p a) = WithCurrentPrec p (DivType Integer a)
type DivType Int (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType Int (WithCurrentPrec p a) = WithCurrentPrec p (DivType Int a)
type EqCompareType Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType Dyadic (WithCurrentPrec p a) = EqCompareType Dyadic a
type EqCompareType Rational (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType Rational (WithCurrentPrec p a) = EqCompareType Rational a
type EqCompareType Integer (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType Integer (WithCurrentPrec p a) = EqCompareType Integer a
type EqCompareType Int (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType Int (WithCurrentPrec p a) = EqCompareType Int a
type MinMaxType Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType Dyadic (WithCurrentPrec p a) = WithCurrentPrec p (MinMaxType Dyadic a)
type MinMaxType Rational (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType Rational (WithCurrentPrec p a) = WithCurrentPrec p (MinMaxType Rational a)
type MinMaxType Integer (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType Integer (WithCurrentPrec p a) = WithCurrentPrec p (MinMaxType Integer a)
type MinMaxType Int (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType Int (WithCurrentPrec p a) = WithCurrentPrec p (MinMaxType Int a)
type MulType Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType Dyadic (WithCurrentPrec p a) = WithCurrentPrec p (MulType Dyadic a)
type MulType Rational (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType Rational (WithCurrentPrec p a) = WithCurrentPrec p (MulType Rational a)
type MulType Integer (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType Integer (WithCurrentPrec p a) = WithCurrentPrec p (MulType Integer a)
type MulType Int (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType Int (WithCurrentPrec p a) = WithCurrentPrec p (MulType Int a)
type OrderCompareType Dyadic (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType Dyadic (WithCurrentPrec p a) = OrderCompareType Dyadic a
type OrderCompareType Rational (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType Rational (WithCurrentPrec p a) = OrderCompareType Rational a
type OrderCompareType Integer (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType Integer (WithCurrentPrec p a) = OrderCompareType Integer a
type OrderCompareType Int (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType Int (WithCurrentPrec p a) = OrderCompareType Int a
type PPowType Rational (WithCurrentPrec p e) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PPowType Rational (WithCurrentPrec p e) = PowType Rational (WithCurrentPrec p e)
type PPowType Integer (WithCurrentPrec p e) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PPowType Integer (WithCurrentPrec p e) = PowType Integer (WithCurrentPrec p e)
type PPowType Int (WithCurrentPrec p e) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PPowType Int (WithCurrentPrec p e) = PowType Int (WithCurrentPrec p e)
type PowType Rational (WithCurrentPrec p e) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PowType Rational (WithCurrentPrec p e) = WithCurrentPrec p (PowType Rational e)
type PowType Integer (WithCurrentPrec p e) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PowType Integer (WithCurrentPrec p e) = WithCurrentPrec p (PowType Integer e)
type PowType Int (WithCurrentPrec p e) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PowType Int (WithCurrentPrec p e) = WithCurrentPrec p (PowType Int e)
type AddType (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType (CN Dyadic) (WithCurrentPrec p a) = WithCurrentPrec p (AddType (CN Dyadic) a)
type AddType (CN Rational) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType (CN Rational) (WithCurrentPrec p a) = WithCurrentPrec p (AddType (CN Rational) a)
type AddType (CN Integer) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType (CN Integer) (WithCurrentPrec p a) = WithCurrentPrec p (AddType (CN Integer) a)
type AddType (CN Int) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType (CN Int) (WithCurrentPrec p a) = WithCurrentPrec p (AddType (CN Int) a)
type SubType (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType (CN Dyadic) (WithCurrentPrec p a) = WithCurrentPrec p (SubType (CN Dyadic) a)
type SubType (CN Rational) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType (CN Rational) (WithCurrentPrec p a) = WithCurrentPrec p (SubType (CN Rational) a)
type SubType (CN Integer) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType (CN Integer) (WithCurrentPrec p a) = WithCurrentPrec p (SubType (CN Integer) a)
type SubType (CN Int) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType (CN Int) (WithCurrentPrec p a) = WithCurrentPrec p (SubType (CN Int) a)
type DivType (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType (CN Dyadic) (WithCurrentPrec p a) = WithCurrentPrec p (DivType (CN Dyadic) a)
type DivType (CN Rational) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType (CN Rational) (WithCurrentPrec p a) = WithCurrentPrec p (DivType (CN Rational) a)
type DivType (CN Integer) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType (CN Integer) (WithCurrentPrec p a) = WithCurrentPrec p (DivType (CN Integer) a)
type DivType (CN Int) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType (CN Int) (WithCurrentPrec p a) = WithCurrentPrec p (DivType (CN Int) a)
type EqCompareType (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (CN Dyadic) (WithCurrentPrec p a) = EqCompareType (CN Dyadic) a
type EqCompareType (CN Rational) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (CN Rational) (WithCurrentPrec p a) = EqCompareType (CN Rational) a
type EqCompareType (CN Integer) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (CN Integer) (WithCurrentPrec p a) = EqCompareType (CN Integer) a
type EqCompareType (CN Int) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (CN Int) (WithCurrentPrec p a) = EqCompareType (CN Int) a
type MinMaxType (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType (CN Dyadic) (WithCurrentPrec p a) = WithCurrentPrec p (MinMaxType (CN Dyadic) a)
type MinMaxType (CN Rational) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType (CN Rational) (WithCurrentPrec p a) = WithCurrentPrec p (MinMaxType (CN Rational) a)
type MinMaxType (CN Integer) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType (CN Integer) (WithCurrentPrec p a) = WithCurrentPrec p (MinMaxType (CN Integer) a)
type MinMaxType (CN Int) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType (CN Int) (WithCurrentPrec p a) = WithCurrentPrec p (MinMaxType (CN Int) a)
type MulType (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType (CN Dyadic) (WithCurrentPrec p a) = WithCurrentPrec p (MulType (CN Dyadic) a)
type MulType (CN Rational) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType (CN Rational) (WithCurrentPrec p a) = WithCurrentPrec p (MulType (CN Rational) a)
type MulType (CN Integer) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType (CN Integer) (WithCurrentPrec p a) = WithCurrentPrec p (MulType (CN Integer) a)
type MulType (CN Int) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType (CN Int) (WithCurrentPrec p a) = WithCurrentPrec p (MulType (CN Int) a)
type OrderCompareType (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (CN Dyadic) (WithCurrentPrec p a) = OrderCompareType (CN Dyadic) a
type OrderCompareType (CN Rational) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (CN Rational) (WithCurrentPrec p a) = OrderCompareType (CN Rational) a
type OrderCompareType (CN Integer) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (CN Integer) (WithCurrentPrec p a) = OrderCompareType (CN Integer) a
type OrderCompareType (CN Int) (WithCurrentPrec p a) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (CN Int) (WithCurrentPrec p a) = OrderCompareType (CN Int) a
type NegType (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type NegType (WithCurrentPrec p t) = WithCurrentPrec p (NegType t)
type ExpType (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type ExpType (WithCurrentPrec p t) = WithCurrentPrec p (ExpType t)
type LogType (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type LogType (WithCurrentPrec p t) = WithCurrentPrec p (LogType t)
type SinCosType (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type SinCosType (WithCurrentPrec p t) = WithCurrentPrec p (SinCosType t)
type SqrtType (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type SqrtType (WithCurrentPrec p t) = WithCurrentPrec p (SqrtType t)
type AbsType (WithCurrentPrec p t) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type AbsType (WithCurrentPrec p t) = WithCurrentPrec p (AbsType t)
type AddType (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType (WithCurrentPrec p a) Dyadic = WithCurrentPrec p (AddType a Dyadic)
type AddType (WithCurrentPrec p a) Rational Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType (WithCurrentPrec p a) Rational = WithCurrentPrec p (AddType a Rational)
type AddType (WithCurrentPrec p a) Integer Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType (WithCurrentPrec p a) Integer = WithCurrentPrec p (AddType a Integer)
type AddType (WithCurrentPrec p a) Int Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType (WithCurrentPrec p a) Int = WithCurrentPrec p (AddType a Int)
type SubType (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType (WithCurrentPrec p a) Dyadic = WithCurrentPrec p (SubType a Dyadic)
type SubType (WithCurrentPrec p a) Rational Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType (WithCurrentPrec p a) Rational = WithCurrentPrec p (SubType a Rational)
type SubType (WithCurrentPrec p a) Integer Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType (WithCurrentPrec p a) Integer = WithCurrentPrec p (SubType a Integer)
type SubType (WithCurrentPrec p a) Int Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType (WithCurrentPrec p a) Int = WithCurrentPrec p (SubType a Int)
type DivType (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType (WithCurrentPrec p a) Dyadic = WithCurrentPrec p (DivType a Dyadic)
type DivType (WithCurrentPrec p a) Rational Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType (WithCurrentPrec p a) Rational = WithCurrentPrec p (DivType a Rational)
type DivType (WithCurrentPrec p a) Integer Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType (WithCurrentPrec p a) Integer = WithCurrentPrec p (DivType a Integer)
type DivType (WithCurrentPrec p a) Int Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType (WithCurrentPrec p a) Int = WithCurrentPrec p (DivType a Int)
type EqCompareType (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (WithCurrentPrec p a) Dyadic = EqCompareType a Dyadic
type EqCompareType (WithCurrentPrec p a) Rational Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (WithCurrentPrec p a) Rational = EqCompareType a Rational
type EqCompareType (WithCurrentPrec p a) Integer Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (WithCurrentPrec p a) Integer = EqCompareType a Integer
type EqCompareType (WithCurrentPrec p a) Int Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (WithCurrentPrec p a) Int = EqCompareType a Int
type MinMaxType (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType (WithCurrentPrec p a) Dyadic = WithCurrentPrec p (MinMaxType a Dyadic)
type MinMaxType (WithCurrentPrec p a) Rational Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType (WithCurrentPrec p a) Rational = WithCurrentPrec p (MinMaxType a Rational)
type MinMaxType (WithCurrentPrec p a) Integer Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType (WithCurrentPrec p a) Integer = WithCurrentPrec p (MinMaxType a Integer)
type MinMaxType (WithCurrentPrec p a) Int Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType (WithCurrentPrec p a) Int = WithCurrentPrec p (MinMaxType a Int)
type MulType (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType (WithCurrentPrec p a) Dyadic = WithCurrentPrec p (MulType a Dyadic)
type MulType (WithCurrentPrec p a) Rational Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType (WithCurrentPrec p a) Rational = WithCurrentPrec p (MulType a Rational)
type MulType (WithCurrentPrec p a) Integer Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType (WithCurrentPrec p a) Integer = WithCurrentPrec p (MulType a Integer)
type MulType (WithCurrentPrec p a) Int Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType (WithCurrentPrec p a) Int = WithCurrentPrec p (MulType a Int)
type OrderCompareType (WithCurrentPrec p a) Dyadic Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (WithCurrentPrec p a) Dyadic = OrderCompareType a Dyadic
type OrderCompareType (WithCurrentPrec p a) Rational Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (WithCurrentPrec p a) Rational = OrderCompareType a Rational
type OrderCompareType (WithCurrentPrec p a) Integer Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (WithCurrentPrec p a) Integer = OrderCompareType a Integer
type OrderCompareType (WithCurrentPrec p a) Int Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (WithCurrentPrec p a) Int = OrderCompareType a Int
type PPowType (WithCurrentPrec p b) Rational Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PPowType (WithCurrentPrec p b) Rational = PowType (WithCurrentPrec p b) Rational
type PPowType (WithCurrentPrec p b) Integer Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PPowType (WithCurrentPrec p b) Integer = PowType (WithCurrentPrec p b) Integer
type PPowType (WithCurrentPrec p b) Int Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PPowType (WithCurrentPrec p b) Int = PowType (WithCurrentPrec p b) Int
type PowType (WithCurrentPrec p b) Rational Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PowType (WithCurrentPrec p b) Rational = WithCurrentPrec p (PowType b Rational)
type PowType (WithCurrentPrec p b) Integer Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PowType (WithCurrentPrec p b) Integer = WithCurrentPrec p (PowType b Integer)
type PowType (WithCurrentPrec p b) Int Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PowType (WithCurrentPrec p b) Int = WithCurrentPrec p (PowType b Int)
type AddType (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details 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) Source #
Instance details 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 Integer) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType (WithCurrentPrec p a) (CN Integer) = WithCurrentPrec p (AddType a (CN Integer))
type AddType (WithCurrentPrec p a) (CN Int) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type AddType (WithCurrentPrec p a) (CN Int) = WithCurrentPrec p (AddType a (CN Int))
type SubType (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details 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) Source #
Instance details 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 Integer) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType (WithCurrentPrec p a) (CN Integer) = WithCurrentPrec p (SubType a (CN Integer))
type SubType (WithCurrentPrec p a) (CN Int) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType (WithCurrentPrec p a) (CN Int) = WithCurrentPrec p (SubType a (CN Int))
type DivType (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details 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) Source #
Instance details 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 Integer) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType (WithCurrentPrec p a) (CN Integer) = WithCurrentPrec p (DivType a (CN Integer))
type DivType (WithCurrentPrec p a) (CN Int) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType (WithCurrentPrec p a) (CN Int) = WithCurrentPrec p (DivType a (CN Int))
type EqCompareType (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (WithCurrentPrec p a) (CN Dyadic) = EqCompareType a (CN Dyadic)
type EqCompareType (WithCurrentPrec p a) (CN Rational) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (WithCurrentPrec p a) (CN Rational) = EqCompareType a (CN Rational)
type EqCompareType (WithCurrentPrec p a) (CN Integer) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (WithCurrentPrec p a) (CN Integer) = EqCompareType a (CN Integer)
type EqCompareType (WithCurrentPrec p a) (CN Int) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (WithCurrentPrec p a) (CN Int) = EqCompareType a (CN Int)
type MinMaxType (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details 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) Source #
Instance details 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 Integer) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType (WithCurrentPrec p a) (CN Integer) = WithCurrentPrec p (MinMaxType a (CN Integer))
type MinMaxType (WithCurrentPrec p a) (CN Int) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType (WithCurrentPrec p a) (CN Int) = WithCurrentPrec p (MinMaxType a (CN Int))
type MulType (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details 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) Source #
Instance details 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 Integer) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType (WithCurrentPrec p a) (CN Integer) = WithCurrentPrec p (MulType a (CN Integer))
type MulType (WithCurrentPrec p a) (CN Int) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType (WithCurrentPrec p a) (CN Int) = WithCurrentPrec p (MulType a (CN Int))
type OrderCompareType (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (WithCurrentPrec p a) (CN Dyadic) = OrderCompareType a (CN Dyadic)
type OrderCompareType (WithCurrentPrec p a) (CN Rational) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (WithCurrentPrec p a) (CN Rational) = OrderCompareType a (CN Rational)
type OrderCompareType (WithCurrentPrec p a) (CN Integer) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (WithCurrentPrec p a) (CN Integer) = OrderCompareType a (CN Integer)
type OrderCompareType (WithCurrentPrec p a) (CN Int) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (WithCurrentPrec p a) (CN Int) = OrderCompareType a (CN Int)
type AddType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details 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) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type SubType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = WithCurrentPrec p1 (SubType t1 t2)
type DivType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type DivType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = WithCurrentPrec p1 (DivType t1 t2)
type EqCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type EqCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = EqCompareType t1 t2
type MinMaxType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type MinMaxType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = WithCurrentPrec p1 (MinMaxType t1 t2)
type MulType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Field type MulType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = WithCurrentPrec p1 (MulType t1 t2)
type OrderCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Comparisons type OrderCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = OrderCompareType t1 t2
type PPowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details 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) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Elementary type PowType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) = WithCurrentPrec p1 (PowType t1 t2)

getCurrentPrecision :: KnownNat p => WithCurrentPrec p t -> Precision Source #

newtype WithAnyPrec t Source #

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)

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

Run a WithCurrentPrec computation with a specific precision.

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

lift1 :: (t1 -> t2) -> WithCurrentPrec p t1 -> WithCurrentPrec p t2 Source #

lift2 :: p1 ~ p2 => (t1 -> t2 -> t3) -> WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> WithCurrentPrec p1 t3 Source #

lift2P :: p1 ~ p2 => (t1 -> t2 -> t3) -> WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> t3 Source #

lift1T :: (t1 -> t2 -> t3) -> WithCurrentPrec p1 t1 -> t2 -> WithCurrentPrec p1 t3 Source #

lift1TP :: (t1 -> t2 -> t3) -> WithCurrentPrec p1 t1 -> t2 -> t3 Source #

liftT1 :: (t1 -> t2 -> t3) -> t1 -> WithCurrentPrec p2 t2 -> WithCurrentPrec p1 t3 Source #

liftT1P :: (t1 -> t2 -> t3) -> t1 -> WithCurrentPrec p2 t2 -> t3 Source #