CanDiv Int MPBall Source # | |
|
CanDiv Integer MPBall Source # | |
|
CanDiv Rational MPBall Source # | |
|
CanDiv Dyadic Dyadic Source # | |
|
CanDiv Dyadic MPBall Source # | |
|
CanDiv MPBall Int Source # | |
|
CanDiv MPBall Integer Source # | |
|
CanDiv MPBall Rational Source # | |
|
CanDiv MPBall Dyadic Source # | |
|
CanDiv MPBall MPBall Source # | |
|
CanMulAsymmetric Int MPBall Source # | |
|
CanMulAsymmetric Integer MPBall Source # | |
|
CanMulAsymmetric Rational MPBall Source # | |
|
CanMulAsymmetric Dyadic MPBall Source # | |
|
CanMulAsymmetric MPBall Int Source # | |
|
CanMulAsymmetric MPBall Integer Source # | |
|
CanMulAsymmetric MPBall Rational Source # | |
|
CanMulAsymmetric MPBall Dyadic Source # | |
|
CanMulAsymmetric MPBall MPBall Source # | |
|
CanPow MPBall Int Source # | |
|
CanPow MPBall Integer Source # | |
|
CanAddAsymmetric Int MPBall Source # | |
|
CanAddAsymmetric Integer MPBall Source # | |
|
CanAddAsymmetric Rational MPBall Source # | |
|
CanAddAsymmetric Dyadic MPBall Source # | |
|
CanAddAsymmetric MPBall Int Source # | |
|
CanAddAsymmetric MPBall Integer Source # | |
|
CanAddAsymmetric MPBall Rational Source # | |
|
CanAddAsymmetric MPBall Dyadic Source # | |
|
CanAddAsymmetric MPBall MPBall Source # | |
|
CanSub Int MPBall Source # | |
|
CanSub Integer MPBall Source # | |
|
CanSub Rational MPBall Source # | |
|
CanSub Dyadic MPBall Source # | |
|
CanSub MPBall Int Source # | |
|
CanSub MPBall Integer Source # | |
|
CanSub MPBall Rational Source # | |
|
CanSub MPBall Dyadic Source # | |
|
CanSub MPBall MPBall Source # | |
|
(CanDiv MPBall b, CanEnsureCE es b, CanEnsureCE es (DivType MPBall b), CanEnsureCE es (DivTypeNoCN MPBall b), SuitableForCE es) => CanDiv MPBall (CollectErrors es b) Source # | |
|
(CanMulAsymmetric MPBall b, CanEnsureCE es b, CanEnsureCE es (MulType MPBall b), SuitableForCE es) => CanMulAsymmetric MPBall (CollectErrors es b) Source # | |
|
(CanPow MPBall b, CanEnsureCE es b, CanEnsureCE es (PowType MPBall b), CanEnsureCE es (PowTypeNoCN MPBall b), SuitableForCE es) => CanPow MPBall (CollectErrors es b) Source # | |
|
(CanAddAsymmetric MPBall b, CanEnsureCE es b, CanEnsureCE es (AddType MPBall b), SuitableForCE es) => CanAddAsymmetric MPBall (CollectErrors es b) Source # | |
|
(CanSub MPBall b, CanEnsureCE es b, CanEnsureCE es (SubType MPBall b), SuitableForCE es) => CanSub MPBall (CollectErrors es b) Source # | |
|
(CanDiv a MPBall, CanEnsureCE es a, CanEnsureCE es (DivType a MPBall), CanEnsureCE es (DivTypeNoCN a MPBall), SuitableForCE es) => CanDiv (CollectErrors es a) MPBall Source # | |
|
(CanMulAsymmetric a MPBall, CanEnsureCE es a, CanEnsureCE es (MulType a MPBall), SuitableForCE es) => CanMulAsymmetric (CollectErrors es a) MPBall Source # | |
|
(CanPow a MPBall, CanEnsureCE es a, CanEnsureCE es (PowType a MPBall), CanEnsureCE es (PowTypeNoCN a MPBall), SuitableForCE es) => CanPow (CollectErrors es a) MPBall Source # | |
|
(CanAddAsymmetric a MPBall, CanEnsureCE es a, CanEnsureCE es (AddType a MPBall), SuitableForCE es) => CanAddAsymmetric (CollectErrors es a) MPBall Source # | |
|
(CanSub a MPBall, CanEnsureCE es a, CanEnsureCE es (SubType a MPBall), SuitableForCE es) => CanSub (CollectErrors es a) MPBall Source # | |
|