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

AERN2.MP.UseMPFR.Ball.Field

Contents

Orphan instances

Description

Field operations on arbitrary precision dyadic balls

Orphan instances

CanDiv Int MPBall #
Associated Types type DivTypeNoCN Int MPBall :: * # type DivType Int MPBall :: * # Methods divideNoCN :: Int -> MPBall -> DivTypeNoCN Int MPBall # divide :: Int -> MPBall -> DivType Int MPBall #
CanDiv Integer MPBall #
Associated Types type DivTypeNoCN Integer MPBall :: * # type DivType Integer MPBall :: * # Methods divideNoCN :: Integer -> MPBall -> DivTypeNoCN Integer MPBall # divide :: Integer -> MPBall -> DivType Integer MPBall #
CanDiv Rational MPBall #
Associated Types type DivTypeNoCN Rational MPBall :: * # type DivType Rational MPBall :: * # Methods divideNoCN :: Rational -> MPBall -> DivTypeNoCN Rational MPBall # divide :: Rational -> MPBall -> DivType Rational MPBall #
CanDiv Dyadic Dyadic #
Associated Types type DivTypeNoCN Dyadic Dyadic :: * # type DivType Dyadic Dyadic :: * # Methods divideNoCN :: Dyadic -> Dyadic -> DivTypeNoCN Dyadic Dyadic # divide :: Dyadic -> Dyadic -> DivType Dyadic Dyadic #
CanDiv Dyadic MPBall #
Associated Types type DivTypeNoCN Dyadic MPBall :: * # type DivType Dyadic MPBall :: * # Methods divideNoCN :: Dyadic -> MPBall -> DivTypeNoCN Dyadic MPBall # divide :: Dyadic -> MPBall -> DivType Dyadic MPBall #
CanDiv MPBall Int #
Associated Types type DivTypeNoCN MPBall Int :: * # type DivType MPBall Int :: * # Methods divideNoCN :: MPBall -> Int -> DivTypeNoCN MPBall Int # divide :: MPBall -> Int -> DivType MPBall Int #
CanDiv MPBall Integer #
Associated Types type DivTypeNoCN MPBall Integer :: * # type DivType MPBall Integer :: * # Methods divideNoCN :: MPBall -> Integer -> DivTypeNoCN MPBall Integer # divide :: MPBall -> Integer -> DivType MPBall Integer #
CanDiv MPBall Rational #
Associated Types type DivTypeNoCN MPBall Rational :: * # type DivType MPBall Rational :: * # Methods divideNoCN :: MPBall -> Rational -> DivTypeNoCN MPBall Rational # divide :: MPBall -> Rational -> DivType MPBall Rational #
CanDiv MPBall Dyadic #
Associated Types type DivTypeNoCN MPBall Dyadic :: * # type DivType MPBall Dyadic :: * # Methods divideNoCN :: MPBall -> Dyadic -> DivTypeNoCN MPBall Dyadic # divide :: MPBall -> Dyadic -> DivType MPBall Dyadic #
CanDiv MPBall MPBall #
Associated Types type DivTypeNoCN MPBall MPBall :: * # type DivType MPBall MPBall :: * # Methods divideNoCN :: MPBall -> MPBall -> DivTypeNoCN MPBall MPBall # divide :: MPBall -> MPBall -> DivType MPBall MPBall #
CanMulAsymmetric Int MPBall #
Associated Types type MulType Int MPBall :: * # Methods mul :: Int -> MPBall -> MulType Int MPBall #
CanMulAsymmetric Integer MPBall #
Associated Types type MulType Integer MPBall :: * # Methods mul :: Integer -> MPBall -> MulType Integer MPBall #
CanMulAsymmetric Rational MPBall #
Associated Types type MulType Rational MPBall :: * # Methods mul :: Rational -> MPBall -> MulType Rational MPBall #
CanMulAsymmetric Dyadic MPBall #
Associated Types type MulType Dyadic MPBall :: * # Methods mul :: Dyadic -> MPBall -> MulType Dyadic MPBall #
CanMulAsymmetric MPBall Int #
Associated Types type MulType MPBall Int :: * # Methods mul :: MPBall -> Int -> MulType MPBall Int #
CanMulAsymmetric MPBall Integer #
Associated Types type MulType MPBall Integer :: * # Methods mul :: MPBall -> Integer -> MulType MPBall Integer #
CanMulAsymmetric MPBall Rational #
Associated Types type MulType MPBall Rational :: * # Methods mul :: MPBall -> Rational -> MulType MPBall Rational #
CanMulAsymmetric MPBall Dyadic #
Associated Types type MulType MPBall Dyadic :: * # Methods mul :: MPBall -> Dyadic -> MulType MPBall Dyadic #
CanMulAsymmetric MPBall MPBall #
Associated Types type MulType MPBall MPBall :: * # Methods mul :: MPBall -> MPBall -> MulType MPBall MPBall #
CanPow MPBall Int #
Associated Types type PowTypeNoCN MPBall Int :: * # type PowType MPBall Int :: * # Methods powNoCN :: MPBall -> Int -> PowTypeNoCN MPBall Int # pow :: MPBall -> Int -> PowType MPBall Int #
CanPow MPBall Integer #
Associated Types type PowTypeNoCN MPBall Integer :: * # type PowType MPBall Integer :: * # Methods powNoCN :: MPBall -> Integer -> PowTypeNoCN MPBall Integer # pow :: MPBall -> Integer -> PowType MPBall Integer #
CanAddAsymmetric Int MPBall #
Associated Types type AddType Int MPBall :: * # Methods add :: Int -> MPBall -> AddType Int MPBall #
CanAddAsymmetric Integer MPBall #
Associated Types type AddType Integer MPBall :: * # Methods add :: Integer -> MPBall -> AddType Integer MPBall #
CanAddAsymmetric Rational MPBall #
Associated Types type AddType Rational MPBall :: * # Methods add :: Rational -> MPBall -> AddType Rational MPBall #
CanAddAsymmetric Dyadic MPBall #
Associated Types type AddType Dyadic MPBall :: * # Methods add :: Dyadic -> MPBall -> AddType Dyadic MPBall #
CanAddAsymmetric MPBall Int #
Associated Types type AddType MPBall Int :: * # Methods add :: MPBall -> Int -> AddType MPBall Int #
CanAddAsymmetric MPBall Integer #
Associated Types type AddType MPBall Integer :: * # Methods add :: MPBall -> Integer -> AddType MPBall Integer #
CanAddAsymmetric MPBall Rational #
Associated Types type AddType MPBall Rational :: * # Methods add :: MPBall -> Rational -> AddType MPBall Rational #
CanAddAsymmetric MPBall Dyadic #
Associated Types type AddType MPBall Dyadic :: * # Methods add :: MPBall -> Dyadic -> AddType MPBall Dyadic #
CanAddAsymmetric MPBall MPBall #
Associated Types type AddType MPBall MPBall :: * # Methods add :: MPBall -> MPBall -> AddType MPBall MPBall #
CanSub Int MPBall #
Associated Types type SubType Int MPBall :: * # Methods sub :: Int -> MPBall -> SubType Int MPBall #
CanSub Integer MPBall #
Associated Types type SubType Integer MPBall :: * # Methods sub :: Integer -> MPBall -> SubType Integer MPBall #
CanSub Rational MPBall #
Associated Types type SubType Rational MPBall :: * # Methods sub :: Rational -> MPBall -> SubType Rational MPBall #
CanSub Dyadic MPBall #
Associated Types type SubType Dyadic MPBall :: * # Methods sub :: Dyadic -> MPBall -> SubType Dyadic MPBall #
CanSub MPBall Int #
Associated Types type SubType MPBall Int :: * # Methods sub :: MPBall -> Int -> SubType MPBall Int #
CanSub MPBall Integer #
Associated Types type SubType MPBall Integer :: * # Methods sub :: MPBall -> Integer -> SubType MPBall Integer #
CanSub MPBall Rational #
Associated Types type SubType MPBall Rational :: * # Methods sub :: MPBall -> Rational -> SubType MPBall Rational #
CanSub MPBall Dyadic #
Associated Types type SubType MPBall Dyadic :: * # Methods sub :: MPBall -> Dyadic -> SubType MPBall Dyadic #
CanSub MPBall MPBall #
Associated Types type SubType MPBall MPBall :: * # Methods sub :: MPBall -> MPBall -> SubType MPBall MPBall #
(CanDiv MPBall b, CanEnsureCE es b, CanEnsureCE es (DivType MPBall b), CanEnsureCE es (DivTypeNoCN MPBall b), SuitableForCE es) => CanDiv MPBall (CollectErrors es b) #
Associated Types type DivTypeNoCN MPBall (CollectErrors es b) :: * # type DivType MPBall (CollectErrors es b) :: * # Methods divideNoCN :: MPBall -> CollectErrors es b -> DivTypeNoCN MPBall (CollectErrors es b) # divide :: MPBall -> CollectErrors es b -> DivType MPBall (CollectErrors es b) #
(CanMulAsymmetric MPBall b, CanEnsureCE es b, CanEnsureCE es (MulType MPBall b), SuitableForCE es) => CanMulAsymmetric MPBall (CollectErrors es b) #
Associated Types type MulType MPBall (CollectErrors es b) :: * # Methods mul :: MPBall -> CollectErrors es b -> MulType MPBall (CollectErrors es b) #
(CanPow MPBall b, CanEnsureCE es b, CanEnsureCE es (PowType MPBall b), CanEnsureCE es (PowTypeNoCN MPBall b), SuitableForCE es) => CanPow MPBall (CollectErrors es b) #
Associated Types type PowTypeNoCN MPBall (CollectErrors es b) :: * # type PowType MPBall (CollectErrors es b) :: * # Methods powNoCN :: MPBall -> CollectErrors es b -> PowTypeNoCN MPBall (CollectErrors es b) # pow :: MPBall -> CollectErrors es b -> PowType MPBall (CollectErrors es b) #
(CanAddAsymmetric MPBall b, CanEnsureCE es b, CanEnsureCE es (AddType MPBall b), SuitableForCE es) => CanAddAsymmetric MPBall (CollectErrors es b) #
Associated Types type AddType MPBall (CollectErrors es b) :: * # Methods add :: MPBall -> CollectErrors es b -> AddType MPBall (CollectErrors es b) #
(CanSub MPBall b, CanEnsureCE es b, CanEnsureCE es (SubType MPBall b), SuitableForCE es) => CanSub MPBall (CollectErrors es b) #
Associated Types type SubType MPBall (CollectErrors es b) :: * # Methods sub :: MPBall -> CollectErrors es b -> SubType MPBall (CollectErrors es b) #
(CanDiv a MPBall, CanEnsureCE es a, CanEnsureCE es (DivType a MPBall), CanEnsureCE es (DivTypeNoCN a MPBall), SuitableForCE es) => CanDiv (CollectErrors es a) MPBall #
Associated Types type DivTypeNoCN (CollectErrors es a) MPBall :: * # type DivType (CollectErrors es a) MPBall :: * # Methods divideNoCN :: CollectErrors es a -> MPBall -> DivTypeNoCN (CollectErrors es a) MPBall # divide :: CollectErrors es a -> MPBall -> DivType (CollectErrors es a) MPBall #
(CanMulAsymmetric a MPBall, CanEnsureCE es a, CanEnsureCE es (MulType a MPBall), SuitableForCE es) => CanMulAsymmetric (CollectErrors es a) MPBall #
Associated Types type MulType (CollectErrors es a) MPBall :: * # Methods mul :: CollectErrors es a -> MPBall -> MulType (CollectErrors es a) MPBall #
(CanPow a MPBall, CanEnsureCE es a, CanEnsureCE es (PowType a MPBall), CanEnsureCE es (PowTypeNoCN a MPBall), SuitableForCE es) => CanPow (CollectErrors es a) MPBall #
Associated Types type PowTypeNoCN (CollectErrors es a) MPBall :: * # type PowType (CollectErrors es a) MPBall :: * # Methods powNoCN :: CollectErrors es a -> MPBall -> PowTypeNoCN (CollectErrors es a) MPBall # pow :: CollectErrors es a -> MPBall -> PowType (CollectErrors es a) MPBall #
(CanAddAsymmetric a MPBall, CanEnsureCE es a, CanEnsureCE es (AddType a MPBall), SuitableForCE es) => CanAddAsymmetric (CollectErrors es a) MPBall #
Associated Types type AddType (CollectErrors es a) MPBall :: * # Methods add :: CollectErrors es a -> MPBall -> AddType (CollectErrors es a) MPBall #
(CanSub a MPBall, CanEnsureCE es a, CanEnsureCE es (SubType a MPBall), SuitableForCE es) => CanSub (CollectErrors es a) MPBall #
Associated Types type SubType (CollectErrors es a) MPBall :: * # Methods sub :: CollectErrors es a -> MPBall -> SubType (CollectErrors es a) MPBall #