AERN2.AD.MPBallOperations

Orphan instances

CanDiv Integer (Differential (CN MPBall))

Associated Types

type DivType Integer (Differential (CN MPBall))

Methods

divide :: Integer -> Differential (CN MPBall) -> DivType Integer (Differential (CN MPBall))

CanDiv MPBall (Differential (CN MPBall))

Associated Types

type DivType MPBall (Differential (CN MPBall))

Methods

divide :: MPBall -> Differential (CN MPBall) -> DivType MPBall (Differential (CN MPBall))

CanMulAsymmetric Integer (Differential (CN MPBall))

Associated Types

type MulType Integer (Differential (CN MPBall))

Methods

mul :: Integer -> Differential (CN MPBall) -> MulType Integer (Differential (CN MPBall))

CanMulAsymmetric MPBall (Differential (CN MPBall))

Associated Types

type MulType MPBall (Differential (CN MPBall))

Methods

mul :: MPBall -> Differential (CN MPBall) -> MulType MPBall (Differential (CN MPBall))

CanAddAsymmetric Integer (Differential (CN MPBall))

Associated Types

type AddType Integer (Differential (CN MPBall))

Methods

add :: Integer -> Differential (CN MPBall) -> AddType Integer (Differential (CN MPBall))

CanAddAsymmetric MPBall (Differential (CN MPBall))

Associated Types

type AddType MPBall (Differential (CN MPBall))

Methods

add :: MPBall -> Differential (CN MPBall) -> AddType MPBall (Differential (CN MPBall))

CanSub Integer (Differential (CN MPBall))

Associated Types

type SubType Integer (Differential (CN MPBall))

Methods

sub :: Integer -> Differential (CN MPBall) -> SubType Integer (Differential (CN MPBall))

CanSub MPBall (Differential (CN MPBall))

Associated Types

type SubType MPBall (Differential (CN MPBall))

Methods

sub :: MPBall -> Differential (CN MPBall) -> SubType MPBall (Differential (CN MPBall))

CanAbs (Differential (CN MPBall))

Associated Types

type AbsType (Differential (CN MPBall))

Methods

abs :: Differential (CN MPBall) -> AbsType (Differential (CN MPBall))

CanDiv (Differential (CN MPBall)) Integer

Associated Types

type DivType (Differential (CN MPBall)) Integer

Methods

divide :: Differential (CN MPBall) -> Integer -> DivType (Differential (CN MPBall)) Integer

CanDiv (Differential (CN MPBall)) MPBall

Associated Types

type DivType (Differential (CN MPBall)) MPBall

Methods

divide :: Differential (CN MPBall) -> MPBall -> DivType (Differential (CN MPBall)) MPBall

CanPow (Differential (CN MPBall)) Integer

Associated Types

type PowType (Differential (CN MPBall)) Integer

type PPowType (Differential (CN MPBall)) Integer

Methods

pow :: Differential (CN MPBall) -> Integer -> PowType (Differential (CN MPBall)) Integer

ppow :: Differential (CN MPBall) -> Integer -> PPowType (Differential (CN MPBall)) Integer

CanMulAsymmetric (Differential (CN MPBall)) Integer

Associated Types

type MulType (Differential (CN MPBall)) Integer

Methods

mul :: Differential (CN MPBall) -> Integer -> MulType (Differential (CN MPBall)) Integer

CanMulAsymmetric (Differential (CN MPBall)) MPBall

Associated Types

type MulType (Differential (CN MPBall)) MPBall

Methods

mul :: Differential (CN MPBall) -> MPBall -> MulType (Differential (CN MPBall)) MPBall

CanAddAsymmetric (Differential (CN MPBall)) Integer

Associated Types

type AddType (Differential (CN MPBall)) Integer

Methods

add :: Differential (CN MPBall) -> Integer -> AddType (Differential (CN MPBall)) Integer

CanAddAsymmetric (Differential (CN MPBall)) MPBall

Associated Types

type AddType (Differential (CN MPBall)) MPBall

Methods

add :: Differential (CN MPBall) -> MPBall -> AddType (Differential (CN MPBall)) MPBall

CanSub (Differential (CN MPBall)) Integer

Associated Types

type SubType (Differential (CN MPBall)) Integer

Methods

sub :: Differential (CN MPBall) -> Integer -> SubType (Differential (CN MPBall)) Integer

CanSub (Differential (CN MPBall)) MPBall

Associated Types

type SubType (Differential (CN MPBall)) MPBall

Methods

sub :: Differential (CN MPBall) -> MPBall -> SubType (Differential (CN MPBall)) MPBall

CanBeMPBall a => CanDiv (CN a) (Differential (CN MPBall))

Associated Types

type DivType (CN a) (Differential (CN MPBall))

Methods

divide :: CN a -> Differential (CN MPBall) -> DivType (CN a) (Differential (CN MPBall))

CanBeMPBall a => CanDiv (Differential (CN MPBall)) (CN a)

Associated Types

type DivType (Differential (CN MPBall)) (CN a)

Methods

divide :: Differential (CN MPBall) -> CN a -> DivType (Differential (CN MPBall)) (CN a)

CanDivIMod (Differential (CN MPBall)) (Differential (CN MPBall))

Associated Types

type DivIType (Differential (CN MPBall)) (Differential (CN MPBall))

type ModType (Differential (CN MPBall)) (Differential (CN MPBall))

Methods

divIMod :: Differential (CN MPBall) -> Differential (CN MPBall) -> (DivIType (Differential (CN MPBall)) (Differential (CN MPBall)), ModType (Differential (CN MPBall)) (Differential (CN MPBall)))

mod :: Differential (CN MPBall) -> Differential (CN MPBall) -> ModType (Differential (CN MPBall)) (Differential (CN MPBall))

divI :: Differential (CN MPBall) -> Differential (CN MPBall) -> DivIType (Differential (CN MPBall)) (Differential (CN MPBall))

CanBeMPBall a => CanMulAsymmetric (CN a) (Differential (CN MPBall))

Associated Types

type MulType (CN a) (Differential (CN MPBall))

Methods

mul :: CN a -> Differential (CN MPBall) -> MulType (CN a) (Differential (CN MPBall))

CanBeMPBall a => CanMulAsymmetric (Differential (CN MPBall)) (CN a)

Associated Types

type MulType (Differential (CN MPBall)) (CN a)

Methods

mul :: Differential (CN MPBall) -> CN a -> MulType (Differential (CN MPBall)) (CN a)

CanBeMPBall a => CanAddAsymmetric (CN a) (Differential (CN MPBall))

Associated Types

type AddType (CN a) (Differential (CN MPBall))

Methods

add :: CN a -> Differential (CN MPBall) -> AddType (CN a) (Differential (CN MPBall))

CanBeMPBall a => CanAddAsymmetric (Differential (CN MPBall)) (CN a)

Associated Types

type AddType (Differential (CN MPBall)) (CN a)

Methods

add :: Differential (CN MPBall) -> CN a -> AddType (Differential (CN MPBall)) (CN a)

CanBeMPBall a => CanSub (CN a) (Differential (CN MPBall))

Associated Types

type SubType (CN a) (Differential (CN MPBall))

Methods

sub :: CN a -> Differential (CN MPBall) -> SubType (CN a) (Differential (CN MPBall))

CanBeMPBall a => CanSub (Differential (CN MPBall)) (CN a)

Associated Types

type SubType (Differential (CN MPBall)) (CN a)

Methods

sub :: Differential (CN MPBall) -> CN a -> SubType (Differential (CN MPBall)) (CN a)