CanTestPosNeg MPBall Source # | |
|
CanTestInteger MPBall Source # | |
|
CanTestZero MPBall Source # | |
|
CanMinMaxAsymmetric Int MPBall Source # | |
|
CanMinMaxAsymmetric Integer MPBall Source # | |
|
CanMinMaxAsymmetric Rational MPBall Source # | |
|
CanMinMaxAsymmetric Dyadic MPBall Source # | |
|
CanMinMaxAsymmetric MPBall Int Source # | |
|
CanMinMaxAsymmetric MPBall Integer Source # | |
|
CanMinMaxAsymmetric MPBall Rational Source # | |
|
CanMinMaxAsymmetric MPBall Dyadic Source # | |
|
CanMinMaxAsymmetric MPBall MPBall Source # | |
|
HasOrderAsymmetric Int MPBall Source # | |
|
HasOrderAsymmetric Integer MPBall Source # | |
|
HasOrderAsymmetric Rational MPBall Source # | |
|
HasOrderAsymmetric Dyadic MPBall Source # | |
|
HasOrderAsymmetric MPBall Int Source # | |
|
HasOrderAsymmetric MPBall Integer Source # | |
|
HasOrderAsymmetric MPBall Rational Source # | |
|
HasOrderAsymmetric MPBall Dyadic Source # | |
|
HasOrderAsymmetric MPBall MPBall Source # | |
|
HasEqAsymmetric Int MPBall Source # | |
|
HasEqAsymmetric Integer MPBall Source # | |
|
HasEqAsymmetric Rational MPBall Source # | |
|
HasEqAsymmetric Dyadic MPBall Source # | |
|
HasEqAsymmetric MPBall Int Source # | |
|
HasEqAsymmetric MPBall Integer Source # | |
|
HasEqAsymmetric MPBall Rational Source # | |
|
HasEqAsymmetric MPBall Dyadic Source # | |
|
HasEqAsymmetric MPBall MPBall Source # | |
|
CanUnionAsymmetric MPBall MPBall Source # | |
|
CanIntersectAsymmetric MPBall MPBall Source # | |
|
(CanMinMaxAsymmetric MPBall b, CanEnsureCE es b, CanEnsureCE es (MinMaxType MPBall b), SuitableForCE es) => CanMinMaxAsymmetric MPBall (CollectErrors es b) Source # | |
|
(HasOrderAsymmetric MPBall b, CanEnsureCE es b, CanEnsureCE es (OrderCompareType MPBall b), IsBool (EnsureCE es (OrderCompareType MPBall b)), SuitableForCE es) => HasOrderAsymmetric MPBall (CollectErrors es b) Source # | |
|
(HasEqAsymmetric MPBall b, CanEnsureCE es b, CanEnsureCE es (EqCompareType MPBall b), IsBool (EnsureCE es (EqCompareType MPBall b)), SuitableForCE es) => HasEqAsymmetric MPBall (CollectErrors es b) Source # | |
|
(CanUnionAsymmetric MPBall b, CanEnsureCE es b, CanEnsureCE es (UnionType MPBall b), SuitableForCE es) => CanUnionAsymmetric MPBall (CollectErrors es b) Source # | |
|
(CanIntersectAsymmetric MPBall b, CanEnsureCE es b, CanEnsureCE es (IntersectionType MPBall b), SuitableForCE es) => CanIntersectAsymmetric MPBall (CollectErrors es b) Source # | |
|
(CanMinMaxAsymmetric a MPBall, CanEnsureCE es a, CanEnsureCE es (MinMaxType a MPBall), SuitableForCE es) => CanMinMaxAsymmetric (CollectErrors es a) MPBall Source # | |
|
(HasOrderAsymmetric a MPBall, CanEnsureCE es a, CanEnsureCE es (OrderCompareType a MPBall), IsBool (EnsureCE es (OrderCompareType a MPBall)), SuitableForCE es) => HasOrderAsymmetric (CollectErrors es a) MPBall Source # | |
|
(HasEqAsymmetric a MPBall, CanEnsureCE es a, CanEnsureCE es (EqCompareType a MPBall), IsBool (EnsureCE es (EqCompareType a MPBall)), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) MPBall Source # | |
|
(CanUnionAsymmetric a MPBall, CanEnsureCE es a, CanEnsureCE es (UnionType a MPBall), SuitableForCE es) => CanUnionAsymmetric (CollectErrors es a) MPBall Source # | |
|
(CanIntersectAsymmetric a MPBall, CanEnsureCE es a, CanEnsureCE es (IntersectionType a MPBall), SuitableForCE es) => CanIntersectAsymmetric (CollectErrors es a) MPBall Source # | |
|