(CanMulAsymmetric MPBall b, SuitableForSeq b, CanSetPrecision (MulType MPBall b)) => CanMulAsymmetric MPBall (Sequence b) Source # | |
|
(CanAddAsymmetric MPBall b, SuitableForSeq b, CanSetPrecision (AddType MPBall b)) => CanAddAsymmetric MPBall (Sequence b) Source # | |
|
(CanSub MPBall b, SuitableForSeq b, CanSetPrecision (SubType MPBall b)) => CanSub MPBall (Sequence b) Source # | |
|
(QAArrow to0, CanMulAsymmetric Int b0, SuitableForSeq b0, SuitableForSeq (MulType Int b0)) => CanMulAsymmetric Int (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanMulAsymmetric Integer b0, SuitableForSeq b0, SuitableForSeq (MulType Integer b0)) => CanMulAsymmetric Integer (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanMulAsymmetric Rational b0, SuitableForSeq b0, SuitableForSeq (MulType Rational b0)) => CanMulAsymmetric Rational (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanMulAsymmetric Dyadic b0, SuitableForSeq b0, SuitableForSeq (MulType Dyadic b0)) => CanMulAsymmetric Dyadic (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanAddAsymmetric Int b0, SuitableForSeq b0, SuitableForSeq (AddType Int b0)) => CanAddAsymmetric Int (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanAddAsymmetric Integer b0, SuitableForSeq b0, SuitableForSeq (AddType Integer b0)) => CanAddAsymmetric Integer (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanAddAsymmetric Rational b0, SuitableForSeq b0, SuitableForSeq (AddType Rational b0)) => CanAddAsymmetric Rational (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanAddAsymmetric Dyadic b0, SuitableForSeq b0, SuitableForSeq (AddType Dyadic b0)) => CanAddAsymmetric Dyadic (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanSub Int b0, SuitableForSeq b0, SuitableForSeq (SubType Int b0)) => CanSub Int (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanSub Integer b0, SuitableForSeq b0, SuitableForSeq (SubType Integer b0)) => CanSub Integer (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanSub Rational b0, SuitableForSeq b0, SuitableForSeq (SubType Rational b0)) => CanSub Rational (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanSub Dyadic b0, SuitableForSeq b0, SuitableForSeq (SubType Dyadic b0)) => CanSub Dyadic (SequenceA to0 b0) Source # | |
|
(CanMulAsymmetric a MPBall, SuitableForSeq a, CanSetPrecision (MulType a MPBall)) => CanMulAsymmetric (Sequence a) MPBall Source # | |
|
(CanAddAsymmetric a MPBall, SuitableForSeq a, CanSetPrecision (AddType a MPBall)) => CanAddAsymmetric (Sequence a) MPBall Source # | |
|
(CanSub a MPBall, SuitableForSeq a, CanSetPrecision (SubType a MPBall)) => CanSub (Sequence a) MPBall Source # | |
|
(QAArrow to0, CanMulAsymmetric a0 Dyadic, SuitableForSeq a0, SuitableForSeq (MulType a0 Dyadic)) => CanMulAsymmetric (SequenceA to0 a0) Dyadic Source # | |
|
(QAArrow to0, CanMulAsymmetric a0 Rational, SuitableForSeq a0, SuitableForSeq (MulType a0 Rational)) => CanMulAsymmetric (SequenceA to0 a0) Rational Source # | |
|
(QAArrow to0, CanMulAsymmetric a0 Int, SuitableForSeq a0, SuitableForSeq (MulType a0 Int)) => CanMulAsymmetric (SequenceA to0 a0) Int Source # | |
|
(QAArrow to0, CanMulAsymmetric a0 Integer, SuitableForSeq a0, SuitableForSeq (MulType a0 Integer)) => CanMulAsymmetric (SequenceA to0 a0) Integer Source # | |
|
(QAArrow to0, CanAddAsymmetric a0 Dyadic, SuitableForSeq a0, SuitableForSeq (AddType a0 Dyadic)) => CanAddAsymmetric (SequenceA to0 a0) Dyadic Source # | |
|
(QAArrow to0, CanAddAsymmetric a0 Rational, SuitableForSeq a0, SuitableForSeq (AddType a0 Rational)) => CanAddAsymmetric (SequenceA to0 a0) Rational Source # | |
|
(QAArrow to0, CanAddAsymmetric a0 Int, SuitableForSeq a0, SuitableForSeq (AddType a0 Int)) => CanAddAsymmetric (SequenceA to0 a0) Int Source # | |
|
(QAArrow to0, CanAddAsymmetric a0 Integer, SuitableForSeq a0, SuitableForSeq (AddType a0 Integer)) => CanAddAsymmetric (SequenceA to0 a0) Integer Source # | |
|
(QAArrow to0, CanSub a0 Dyadic, SuitableForSeq a0, SuitableForSeq (SubType a0 Dyadic)) => CanSub (SequenceA to0 a0) Dyadic Source # | |
|
(QAArrow to0, CanSub a0 Rational, SuitableForSeq a0, SuitableForSeq (SubType a0 Rational)) => CanSub (SequenceA to0 a0) Rational Source # | |
|
(QAArrow to0, CanSub a0 Int, SuitableForSeq a0, SuitableForSeq (SubType a0 Int)) => CanSub (SequenceA to0 a0) Int Source # | |
|
(QAArrow to0, CanSub a0 Integer, SuitableForSeq a0, SuitableForSeq (SubType a0 Integer)) => CanSub (SequenceA to0 a0) Integer Source # | |
|
(CanMulAsymmetric a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (MulType a (SequenceA to b)), SuitableForCE es) => CanMulAsymmetric (CollectErrors es a) (SequenceA to b) Source # | |
|
(CanMulAsymmetric (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (MulType (SequenceA to a) b), SuitableForCE es) => CanMulAsymmetric (SequenceA to a) (CollectErrors es b) Source # | |
|
(QAArrow to, CanMulAsymmetric a b, HasNorm (EnsureNoCN a), HasNorm (EnsureNoCN b), SuitableForSeq a, SuitableForSeq b, SuitableForSeq (MulType a b)) => CanMulAsymmetric (SequenceA to a) (SequenceA to b) Source # | |
|
(CanAddAsymmetric a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (AddType a (SequenceA to b)), SuitableForCE es) => CanAddAsymmetric (CollectErrors es a) (SequenceA to b) Source # | |
|
(QAArrow to, CanAddAsymmetric a b, SuitableForSeq a, SuitableForSeq b, SuitableForSeq (AddType a b)) => CanAddAsymmetric (SequenceA to a) (SequenceA to b) Source # | |
|
(CanAddAsymmetric (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (AddType (SequenceA to a) b), SuitableForCE es) => CanAddAsymmetric (SequenceA to a) (CollectErrors es b) Source # | |
|
(CanSub a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (SubType a (SequenceA to b)), SuitableForCE es) => CanSub (CollectErrors es a) (SequenceA to b) Source # | |
|
(QAArrow to, CanSub a b, SuitableForSeq a, SuitableForSeq b, SuitableForSeq (SubType a b)) => CanSub (SequenceA to a) (SequenceA to b) Source # | |
|
(CanSub (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (SubType (SequenceA to a) b), SuitableForCE es) => CanSub (SequenceA to a) (CollectErrors es b) Source # | |
|