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

AERN2.MP.WithCurrentPrec.Field

Contents

Orphan instances

Description

WithCurrentPrec field operations

Orphan instances

CanDiv Int a => CanDiv Int (WithCurrentPrec a p) Source #
Instance details Associated Types type DivType Int (WithCurrentPrec a p) # Methods divide :: Int -> WithCurrentPrec a p -> DivType Int (WithCurrentPrec a p) #
CanDiv Integer a => CanDiv Integer (WithCurrentPrec a p) Source #
Instance details Associated Types type DivType Integer (WithCurrentPrec a p) # Methods divide :: Integer -> WithCurrentPrec a p -> DivType Integer (WithCurrentPrec a p) #
CanDiv Rational a => CanDiv Rational (WithCurrentPrec a p) Source #
Instance details Associated Types type DivType Rational (WithCurrentPrec a p) # Methods divide :: Rational -> WithCurrentPrec a p -> DivType Rational (WithCurrentPrec a p) #
CanDiv Dyadic a => CanDiv Dyadic (WithCurrentPrec a p) Source #
Instance details Associated Types type DivType Dyadic (WithCurrentPrec a p) # Methods divide :: Dyadic -> WithCurrentPrec a p -> DivType Dyadic (WithCurrentPrec a p) #
CanMulAsymmetric Int a => CanMulAsymmetric Int (WithCurrentPrec a p) Source #
Instance details Associated Types type MulType Int (WithCurrentPrec a p) # Methods mul :: Int -> WithCurrentPrec a p -> MulType Int (WithCurrentPrec a p) #
CanMulAsymmetric Integer a => CanMulAsymmetric Integer (WithCurrentPrec a p) Source #
Instance details Associated Types type MulType Integer (WithCurrentPrec a p) # Methods mul :: Integer -> WithCurrentPrec a p -> MulType Integer (WithCurrentPrec a p) #
CanMulAsymmetric Rational a => CanMulAsymmetric Rational (WithCurrentPrec a p) Source #
Instance details Associated Types type MulType Rational (WithCurrentPrec a p) # Methods mul :: Rational -> WithCurrentPrec a p -> MulType Rational (WithCurrentPrec a p) #
CanMulAsymmetric Dyadic a => CanMulAsymmetric Dyadic (WithCurrentPrec a p) Source #
Instance details Associated Types type MulType Dyadic (WithCurrentPrec a p) # Methods mul :: Dyadic -> WithCurrentPrec a p -> MulType Dyadic (WithCurrentPrec a p) #
CanAddAsymmetric Int a => CanAddAsymmetric Int (WithCurrentPrec a p) Source #
Instance details Associated Types type AddType Int (WithCurrentPrec a p) # Methods add :: Int -> WithCurrentPrec a p -> AddType Int (WithCurrentPrec a p) #
CanAddAsymmetric Integer a => CanAddAsymmetric Integer (WithCurrentPrec a p) Source #
Instance details Associated Types type AddType Integer (WithCurrentPrec a p) # Methods add :: Integer -> WithCurrentPrec a p -> AddType Integer (WithCurrentPrec a p) #
CanAddAsymmetric Rational a => CanAddAsymmetric Rational (WithCurrentPrec a p) Source #
Instance details Associated Types type AddType Rational (WithCurrentPrec a p) # Methods add :: Rational -> WithCurrentPrec a p -> AddType Rational (WithCurrentPrec a p) #
CanAddAsymmetric Dyadic a => CanAddAsymmetric Dyadic (WithCurrentPrec a p) Source #
Instance details Associated Types type AddType Dyadic (WithCurrentPrec a p) # Methods add :: Dyadic -> WithCurrentPrec a p -> AddType Dyadic (WithCurrentPrec a p) #
CanSub Int a => CanSub Int (WithCurrentPrec a p) Source #
Instance details Associated Types type SubType Int (WithCurrentPrec a p) # Methods sub :: Int -> WithCurrentPrec a p -> SubType Int (WithCurrentPrec a p) #
CanSub Integer a => CanSub Integer (WithCurrentPrec a p) Source #
Instance details Associated Types type SubType Integer (WithCurrentPrec a p) # Methods sub :: Integer -> WithCurrentPrec a p -> SubType Integer (WithCurrentPrec a p) #
CanSub Rational a => CanSub Rational (WithCurrentPrec a p) Source #
Instance details Associated Types type SubType Rational (WithCurrentPrec a p) # Methods sub :: Rational -> WithCurrentPrec a p -> SubType Rational (WithCurrentPrec a p) #
CanSub Dyadic a => CanSub Dyadic (WithCurrentPrec a p) Source #
Instance details Associated Types type SubType Dyadic (WithCurrentPrec a p) # Methods sub :: Dyadic -> WithCurrentPrec a p -> SubType Dyadic (WithCurrentPrec a p) #
CanDiv (CN Int) a => CanDiv (CN Int) (WithCurrentPrec a p) Source #
Instance details Associated Types type DivType (CN Int) (WithCurrentPrec a p) # Methods divide :: CN Int -> WithCurrentPrec a p -> DivType (CN Int) (WithCurrentPrec a p) #
CanDiv (CN Integer) a => CanDiv (CN Integer) (WithCurrentPrec a p) Source #
Instance details Associated Types type DivType (CN Integer) (WithCurrentPrec a p) # Methods divide :: CN Integer -> WithCurrentPrec a p -> DivType (CN Integer) (WithCurrentPrec a p) #
CanDiv (CN Rational) a => CanDiv (CN Rational) (WithCurrentPrec a p) Source #
Instance details Associated Types type DivType (CN Rational) (WithCurrentPrec a p) # Methods divide :: CN Rational -> WithCurrentPrec a p -> DivType (CN Rational) (WithCurrentPrec a p) #
CanDiv (CN Dyadic) a => CanDiv (CN Dyadic) (WithCurrentPrec a p) Source #
Instance details Associated Types type DivType (CN Dyadic) (WithCurrentPrec a p) # Methods divide :: CN Dyadic -> WithCurrentPrec a p -> DivType (CN Dyadic) (WithCurrentPrec a p) #
CanMulAsymmetric (CN Int) a => CanMulAsymmetric (CN Int) (WithCurrentPrec a p) Source #
Instance details Associated Types type MulType (CN Int) (WithCurrentPrec a p) # Methods mul :: CN Int -> WithCurrentPrec a p -> MulType (CN Int) (WithCurrentPrec a p) #
CanMulAsymmetric (CN Integer) a => CanMulAsymmetric (CN Integer) (WithCurrentPrec a p) Source #
Instance details Associated Types type MulType (CN Integer) (WithCurrentPrec a p) # Methods mul :: CN Integer -> WithCurrentPrec a p -> MulType (CN Integer) (WithCurrentPrec a p) #
CanMulAsymmetric (CN Rational) a => CanMulAsymmetric (CN Rational) (WithCurrentPrec a p) Source #
Instance details Associated Types type MulType (CN Rational) (WithCurrentPrec a p) # Methods mul :: CN Rational -> WithCurrentPrec a p -> MulType (CN Rational) (WithCurrentPrec a p) #
CanMulAsymmetric (CN Dyadic) a => CanMulAsymmetric (CN Dyadic) (WithCurrentPrec a p) Source #
Instance details Associated Types type MulType (CN Dyadic) (WithCurrentPrec a p) # Methods mul :: CN Dyadic -> WithCurrentPrec a p -> MulType (CN Dyadic) (WithCurrentPrec a p) #
CanAddAsymmetric (CN Int) a => CanAddAsymmetric (CN Int) (WithCurrentPrec a p) Source #
Instance details Associated Types type AddType (CN Int) (WithCurrentPrec a p) # Methods add :: CN Int -> WithCurrentPrec a p -> AddType (CN Int) (WithCurrentPrec a p) #
CanAddAsymmetric (CN Integer) a => CanAddAsymmetric (CN Integer) (WithCurrentPrec a p) Source #
Instance details Associated Types type AddType (CN Integer) (WithCurrentPrec a p) # Methods add :: CN Integer -> WithCurrentPrec a p -> AddType (CN Integer) (WithCurrentPrec a p) #
CanAddAsymmetric (CN Rational) a => CanAddAsymmetric (CN Rational) (WithCurrentPrec a p) Source #
Instance details Associated Types type AddType (CN Rational) (WithCurrentPrec a p) # Methods add :: CN Rational -> WithCurrentPrec a p -> AddType (CN Rational) (WithCurrentPrec a p) #
CanAddAsymmetric (CN Dyadic) a => CanAddAsymmetric (CN Dyadic) (WithCurrentPrec a p) Source #
Instance details Associated Types type AddType (CN Dyadic) (WithCurrentPrec a p) # Methods add :: CN Dyadic -> WithCurrentPrec a p -> AddType (CN Dyadic) (WithCurrentPrec a p) #
CanSub (CN Int) a => CanSub (CN Int) (WithCurrentPrec a p) Source #
Instance details Associated Types type SubType (CN Int) (WithCurrentPrec a p) # Methods sub :: CN Int -> WithCurrentPrec a p -> SubType (CN Int) (WithCurrentPrec a p) #
CanSub (CN Integer) a => CanSub (CN Integer) (WithCurrentPrec a p) Source #
Instance details Associated Types type SubType (CN Integer) (WithCurrentPrec a p) # Methods sub :: CN Integer -> WithCurrentPrec a p -> SubType (CN Integer) (WithCurrentPrec a p) #
CanSub (CN Rational) a => CanSub (CN Rational) (WithCurrentPrec a p) Source #
Instance details Associated Types type SubType (CN Rational) (WithCurrentPrec a p) # Methods sub :: CN Rational -> WithCurrentPrec a p -> SubType (CN Rational) (WithCurrentPrec a p) #
CanSub (CN Dyadic) a => CanSub (CN Dyadic) (WithCurrentPrec a p) Source #
Instance details Associated Types type SubType (CN Dyadic) (WithCurrentPrec a p) # Methods sub :: CN Dyadic -> WithCurrentPrec a p -> SubType (CN Dyadic) (WithCurrentPrec a p) #
CanDiv a Dyadic => CanDiv (WithCurrentPrec a p) Dyadic Source #
Instance details Associated Types type DivType (WithCurrentPrec a p) Dyadic # Methods divide :: WithCurrentPrec a p -> Dyadic -> DivType (WithCurrentPrec a p) Dyadic #
CanDiv a Rational => CanDiv (WithCurrentPrec a p) Rational Source #
Instance details Associated Types type DivType (WithCurrentPrec a p) Rational # Methods divide :: WithCurrentPrec a p -> Rational -> DivType (WithCurrentPrec a p) Rational #
CanDiv a Int => CanDiv (WithCurrentPrec a p) Int Source #
Instance details Associated Types type DivType (WithCurrentPrec a p) Int # Methods divide :: WithCurrentPrec a p -> Int -> DivType (WithCurrentPrec a p) Int #
CanDiv a Integer => CanDiv (WithCurrentPrec a p) Integer Source #
Instance details Associated Types type DivType (WithCurrentPrec a p) Integer # Methods divide :: WithCurrentPrec a p -> Integer -> DivType (WithCurrentPrec a p) Integer #
CanMulAsymmetric a Dyadic => CanMulAsymmetric (WithCurrentPrec a p) Dyadic Source #
Instance details Associated Types type MulType (WithCurrentPrec a p) Dyadic # Methods mul :: WithCurrentPrec a p -> Dyadic -> MulType (WithCurrentPrec a p) Dyadic #
CanMulAsymmetric a Rational => CanMulAsymmetric (WithCurrentPrec a p) Rational Source #
Instance details Associated Types type MulType (WithCurrentPrec a p) Rational # Methods mul :: WithCurrentPrec a p -> Rational -> MulType (WithCurrentPrec a p) Rational #
CanMulAsymmetric a Int => CanMulAsymmetric (WithCurrentPrec a p) Int Source #
Instance details Associated Types type MulType (WithCurrentPrec a p) Int # Methods mul :: WithCurrentPrec a p -> Int -> MulType (WithCurrentPrec a p) Int #
CanMulAsymmetric a Integer => CanMulAsymmetric (WithCurrentPrec a p) Integer Source #
Instance details Associated Types type MulType (WithCurrentPrec a p) Integer # Methods mul :: WithCurrentPrec a p -> Integer -> MulType (WithCurrentPrec a p) Integer #
CanAddAsymmetric a Dyadic => CanAddAsymmetric (WithCurrentPrec a p) Dyadic Source #
Instance details Associated Types type AddType (WithCurrentPrec a p) Dyadic # Methods add :: WithCurrentPrec a p -> Dyadic -> AddType (WithCurrentPrec a p) Dyadic #
CanAddAsymmetric a Rational => CanAddAsymmetric (WithCurrentPrec a p) Rational Source #
Instance details Associated Types type AddType (WithCurrentPrec a p) Rational # Methods add :: WithCurrentPrec a p -> Rational -> AddType (WithCurrentPrec a p) Rational #
CanAddAsymmetric a Int => CanAddAsymmetric (WithCurrentPrec a p) Int Source #
Instance details Associated Types type AddType (WithCurrentPrec a p) Int # Methods add :: WithCurrentPrec a p -> Int -> AddType (WithCurrentPrec a p) Int #
CanAddAsymmetric a Integer => CanAddAsymmetric (WithCurrentPrec a p) Integer Source #
Instance details Associated Types type AddType (WithCurrentPrec a p) Integer # Methods add :: WithCurrentPrec a p -> Integer -> AddType (WithCurrentPrec a p) Integer #
CanSub a Dyadic => CanSub (WithCurrentPrec a p) Dyadic Source #
Instance details Associated Types type SubType (WithCurrentPrec a p) Dyadic # Methods sub :: WithCurrentPrec a p -> Dyadic -> SubType (WithCurrentPrec a p) Dyadic #
CanSub a Rational => CanSub (WithCurrentPrec a p) Rational Source #
Instance details Associated Types type SubType (WithCurrentPrec a p) Rational # Methods sub :: WithCurrentPrec a p -> Rational -> SubType (WithCurrentPrec a p) Rational #
CanSub a Int => CanSub (WithCurrentPrec a p) Int Source #
Instance details Associated Types type SubType (WithCurrentPrec a p) Int # Methods sub :: WithCurrentPrec a p -> Int -> SubType (WithCurrentPrec a p) Int #
CanSub a Integer => CanSub (WithCurrentPrec a p) Integer Source #
Instance details Associated Types type SubType (WithCurrentPrec a p) Integer # Methods sub :: WithCurrentPrec a p -> Integer -> SubType (WithCurrentPrec a p) Integer #
CanDiv a (CN Dyadic) => CanDiv (WithCurrentPrec a p) (CN Dyadic) Source #
Instance details Associated Types type DivType (WithCurrentPrec a p) (CN Dyadic) # Methods divide :: WithCurrentPrec a p -> CN Dyadic -> DivType (WithCurrentPrec a p) (CN Dyadic) #
CanDiv a (CN Rational) => CanDiv (WithCurrentPrec a p) (CN Rational) Source #
Instance details Associated Types type DivType (WithCurrentPrec a p) (CN Rational) # Methods divide :: WithCurrentPrec a p -> CN Rational -> DivType (WithCurrentPrec a p) (CN Rational) #
CanDiv a (CN Int) => CanDiv (WithCurrentPrec a p) (CN Int) Source #
Instance details Associated Types type DivType (WithCurrentPrec a p) (CN Int) # Methods divide :: WithCurrentPrec a p -> CN Int -> DivType (WithCurrentPrec a p) (CN Int) #
CanDiv a (CN Integer) => CanDiv (WithCurrentPrec a p) (CN Integer) Source #
Instance details Associated Types type DivType (WithCurrentPrec a p) (CN Integer) # Methods divide :: WithCurrentPrec a p -> CN Integer -> DivType (WithCurrentPrec a p) (CN Integer) #
CanMulAsymmetric a (CN Dyadic) => CanMulAsymmetric (WithCurrentPrec a p) (CN Dyadic) Source #
Instance details Associated Types type MulType (WithCurrentPrec a p) (CN Dyadic) # Methods mul :: WithCurrentPrec a p -> CN Dyadic -> MulType (WithCurrentPrec a p) (CN Dyadic) #
CanMulAsymmetric a (CN Rational) => CanMulAsymmetric (WithCurrentPrec a p) (CN Rational) Source #
Instance details Associated Types type MulType (WithCurrentPrec a p) (CN Rational) # Methods mul :: WithCurrentPrec a p -> CN Rational -> MulType (WithCurrentPrec a p) (CN Rational) #
CanMulAsymmetric a (CN Int) => CanMulAsymmetric (WithCurrentPrec a p) (CN Int) Source #
Instance details Associated Types type MulType (WithCurrentPrec a p) (CN Int) # Methods mul :: WithCurrentPrec a p -> CN Int -> MulType (WithCurrentPrec a p) (CN Int) #
CanMulAsymmetric a (CN Integer) => CanMulAsymmetric (WithCurrentPrec a p) (CN Integer) Source #
Instance details Associated Types type MulType (WithCurrentPrec a p) (CN Integer) # Methods mul :: WithCurrentPrec a p -> CN Integer -> MulType (WithCurrentPrec a p) (CN Integer) #
CanAddAsymmetric a (CN Dyadic) => CanAddAsymmetric (WithCurrentPrec a p) (CN Dyadic) Source #
Instance details Associated Types type AddType (WithCurrentPrec a p) (CN Dyadic) # Methods add :: WithCurrentPrec a p -> CN Dyadic -> AddType (WithCurrentPrec a p) (CN Dyadic) #
CanAddAsymmetric a (CN Rational) => CanAddAsymmetric (WithCurrentPrec a p) (CN Rational) Source #
Instance details Associated Types type AddType (WithCurrentPrec a p) (CN Rational) # Methods add :: WithCurrentPrec a p -> CN Rational -> AddType (WithCurrentPrec a p) (CN Rational) #
CanAddAsymmetric a (CN Int) => CanAddAsymmetric (WithCurrentPrec a p) (CN Int) Source #
Instance details Associated Types type AddType (WithCurrentPrec a p) (CN Int) # Methods add :: WithCurrentPrec a p -> CN Int -> AddType (WithCurrentPrec a p) (CN Int) #
CanAddAsymmetric a (CN Integer) => CanAddAsymmetric (WithCurrentPrec a p) (CN Integer) Source #
Instance details Associated Types type AddType (WithCurrentPrec a p) (CN Integer) # Methods add :: WithCurrentPrec a p -> CN Integer -> AddType (WithCurrentPrec a p) (CN Integer) #
CanSub a (CN Dyadic) => CanSub (WithCurrentPrec a p) (CN Dyadic) Source #
Instance details Associated Types type SubType (WithCurrentPrec a p) (CN Dyadic) # Methods sub :: WithCurrentPrec a p -> CN Dyadic -> SubType (WithCurrentPrec a p) (CN Dyadic) #
CanSub a (CN Rational) => CanSub (WithCurrentPrec a p) (CN Rational) Source #
Instance details Associated Types type SubType (WithCurrentPrec a p) (CN Rational) # Methods sub :: WithCurrentPrec a p -> CN Rational -> SubType (WithCurrentPrec a p) (CN Rational) #
CanSub a (CN Int) => CanSub (WithCurrentPrec a p) (CN Int) Source #
Instance details Associated Types type SubType (WithCurrentPrec a p) (CN Int) # Methods sub :: WithCurrentPrec a p -> CN Int -> SubType (WithCurrentPrec a p) (CN Int) #
CanSub a (CN Integer) => CanSub (WithCurrentPrec a p) (CN Integer) Source #
Instance details Associated Types type SubType (WithCurrentPrec a p) (CN Integer) # Methods sub :: WithCurrentPrec a p -> CN Integer -> SubType (WithCurrentPrec a p) (CN Integer) #
(CanDiv t1 t2, p1 ~ p2) => CanDiv (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) Source #
Instance details Associated Types type DivType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # Methods divide :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> DivType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) #
(CanMulAsymmetric t1 t2, p1 ~ p2) => CanMulAsymmetric (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) Source #
Instance details Associated Types type MulType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # Methods mul :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> MulType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) #
(CanAddAsymmetric t1 t2, p1 ~ p2) => CanAddAsymmetric (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) Source #
Instance details Associated Types type AddType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # Methods add :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> AddType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) #
(CanSub t1 t2, p1 ~ p2) => CanSub (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) Source #
Instance details Associated Types type SubType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # Methods sub :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> SubType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) #