AERN2.MP.UseMPFR.Ball.Field

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