Copyright	(c) Michal Konecny
License	BSD3
Maintainer	mikkonecny@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

AERN2.MP.WithCurrentPrec.Field

Contents

Orphan instances

Description

WithCurrentPrec field operations

Orphan instances

CanAddAsymmetric Dyadic a => CanAddAsymmetric Dyadic (WithCurrentPrec p a) Source #
Instance details 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 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 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 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 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 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 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 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 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 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 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 Associated Types type DivType Int (WithCurrentPrec p a) # Methods divide :: Int -> WithCurrentPrec p a -> DivType Int (WithCurrentPrec p a) #
CanMulAsymmetric Dyadic a => CanMulAsymmetric Dyadic (WithCurrentPrec p a) Source #
Instance details 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 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 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 Associated Types type MulType Int (WithCurrentPrec p a) # Methods mul :: Int -> WithCurrentPrec p a -> MulType Int (WithCurrentPrec p a) #
CanAddAsymmetric (CN Dyadic) a => CanAddAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details 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 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 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 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 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 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 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 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 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 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 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 Associated Types type DivType (CN Int) (WithCurrentPrec p a) # Methods divide :: CN Int -> WithCurrentPrec p a -> DivType (CN Int) (WithCurrentPrec p a) #
CanMulAsymmetric (CN Dyadic) a => CanMulAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source #
Instance details 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 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 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 Associated Types type MulType (CN Int) (WithCurrentPrec p a) # Methods mul :: CN Int -> WithCurrentPrec p a -> MulType (CN Int) (WithCurrentPrec p a) #
CanNeg t => CanNeg (WithCurrentPrec p t) Source #
Instance details Associated Types type NegType (WithCurrentPrec p t) # Methods negate :: WithCurrentPrec p t -> NegType (WithCurrentPrec p t) #
CanAddAsymmetric a Dyadic => CanAddAsymmetric (WithCurrentPrec p a) Dyadic Source #
Instance details 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 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 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 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 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 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 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 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 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 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 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 Associated Types type DivType (WithCurrentPrec p a) Int # Methods divide :: WithCurrentPrec p a -> Int -> DivType (WithCurrentPrec p a) Int #
CanMulAsymmetric a Dyadic => CanMulAsymmetric (WithCurrentPrec p a) Dyadic Source #
Instance details 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 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 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 Associated Types type MulType (WithCurrentPrec p a) Int # Methods mul :: WithCurrentPrec p a -> Int -> MulType (WithCurrentPrec p a) Int #
CanAddAsymmetric a (CN Dyadic) => CanAddAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details 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 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 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 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 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 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 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 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 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 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 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 Associated Types type DivType (WithCurrentPrec p a) (CN Int) # Methods divide :: WithCurrentPrec p a -> CN Int -> DivType (WithCurrentPrec p a) (CN Int) #
CanMulAsymmetric a (CN Dyadic) => CanMulAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source #
Instance details 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 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 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 Associated Types type MulType (WithCurrentPrec p a) (CN Int) # Methods mul :: WithCurrentPrec p a -> CN Int -> MulType (WithCurrentPrec p a) (CN Int) #
(CanAddAsymmetric t1 t2, p1 ~ p2) => CanAddAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details 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 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 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) #
(CanMulAsymmetric t1 t2, p1 ~ p2) => CanMulAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source #
Instance details 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) #