(CanMinMaxAsymmetric MPBall b, SuitableForSeq b, CanSetPrecision (MinMaxType MPBall b)) => CanMinMaxAsymmetric MPBall (Sequence b) Source # | |
|
(QAArrow to0, CanMinMaxAsymmetric Int b0, SuitableForSeq b0, SuitableForSeq (MinMaxType Int b0)) => CanMinMaxAsymmetric Int (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanMinMaxAsymmetric Integer b0, SuitableForSeq b0, SuitableForSeq (MinMaxType Integer b0)) => CanMinMaxAsymmetric Integer (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanMinMaxAsymmetric Rational b0, SuitableForSeq b0, SuitableForSeq (MinMaxType Rational b0)) => CanMinMaxAsymmetric Rational (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanMinMaxAsymmetric Dyadic b0, SuitableForSeq b0, SuitableForSeq (MinMaxType Dyadic b0)) => CanMinMaxAsymmetric Dyadic (SequenceA to0 b0) Source # | |
|
(QAArrow to0, HasOrderAsymmetric Int a0, SuitableForSeq a0, SuitableForSeq (OrderCompareType Int a0)) => HasOrderAsymmetric Int (SequenceA to0 a0) Source # | |
|
(QAArrow to0, HasOrderAsymmetric Integer a0, SuitableForSeq a0, SuitableForSeq (OrderCompareType Integer a0)) => HasOrderAsymmetric Integer (SequenceA to0 a0) Source # | |
|
(QAArrow to0, HasOrderAsymmetric Rational a0, SuitableForSeq a0, SuitableForSeq (OrderCompareType Rational a0)) => HasOrderAsymmetric Rational (SequenceA to0 a0) Source # | |
|
(QAArrow to0, HasOrderAsymmetric Dyadic a0, SuitableForSeq a0, SuitableForSeq (OrderCompareType Dyadic a0)) => HasOrderAsymmetric Dyadic (SequenceA to0 a0) Source # | |
|
(QAArrow to0, HasEqAsymmetric Int a0, SuitableForSeq a0, SuitableForSeq (EqCompareType Int a0)) => HasEqAsymmetric Int (SequenceA to0 a0) Source # | |
|
(QAArrow to0, HasEqAsymmetric Integer a0, SuitableForSeq a0, SuitableForSeq (EqCompareType Integer a0)) => HasEqAsymmetric Integer (SequenceA to0 a0) Source # | |
|
(QAArrow to0, HasEqAsymmetric Rational a0, SuitableForSeq a0, SuitableForSeq (EqCompareType Rational a0)) => HasEqAsymmetric Rational (SequenceA to0 a0) Source # | |
|
(QAArrow to0, HasEqAsymmetric Dyadic a0, SuitableForSeq a0, SuitableForSeq (EqCompareType Dyadic a0)) => HasEqAsymmetric Dyadic (SequenceA to0 a0) Source # | |
|
(QAArrow to, HasBools b, SuitableForSeq b) => ConvertibleExactly Bool (SequenceA to b) Source # | |
|
(CanMinMaxAsymmetric a MPBall, SuitableForSeq a, CanSetPrecision (MinMaxType a MPBall)) => CanMinMaxAsymmetric (Sequence a) MPBall Source # | |
|
(QAArrow to, CanAbs a, SuitableForSeq a, SuitableForSeq (AbsType a)) => CanAbs (SequenceA to a) Source # | |
|
(QAArrow to, CanNeg a, SuitableForSeq a, SuitableForSeq (NegType a)) => CanNeg (SequenceA to a) Source # | |
|
(QAArrow to0, CanMinMaxAsymmetric a0 Dyadic, SuitableForSeq a0, SuitableForSeq (MinMaxType a0 Dyadic)) => CanMinMaxAsymmetric (SequenceA to0 a0) Dyadic Source # | |
|
(QAArrow to0, CanMinMaxAsymmetric a0 Rational, SuitableForSeq a0, SuitableForSeq (MinMaxType a0 Rational)) => CanMinMaxAsymmetric (SequenceA to0 a0) Rational Source # | |
|
(QAArrow to0, CanMinMaxAsymmetric a0 Int, SuitableForSeq a0, SuitableForSeq (MinMaxType a0 Int)) => CanMinMaxAsymmetric (SequenceA to0 a0) Int Source # | |
|
(QAArrow to0, CanMinMaxAsymmetric a0 Integer, SuitableForSeq a0, SuitableForSeq (MinMaxType a0 Integer)) => CanMinMaxAsymmetric (SequenceA to0 a0) Integer Source # | |
|
(QAArrow to0, HasOrderAsymmetric a0 Dyadic, SuitableForSeq a0, SuitableForSeq (OrderCompareType a0 Dyadic)) => HasOrderAsymmetric (SequenceA to0 a0) Dyadic Source # | |
|
(QAArrow to0, HasOrderAsymmetric a0 Rational, SuitableForSeq a0, SuitableForSeq (OrderCompareType a0 Rational)) => HasOrderAsymmetric (SequenceA to0 a0) Rational Source # | |
|
(QAArrow to0, HasOrderAsymmetric a0 Int, SuitableForSeq a0, SuitableForSeq (OrderCompareType a0 Int)) => HasOrderAsymmetric (SequenceA to0 a0) Int Source # | |
|
(QAArrow to0, HasOrderAsymmetric a0 Integer, SuitableForSeq a0, SuitableForSeq (OrderCompareType a0 Integer)) => HasOrderAsymmetric (SequenceA to0 a0) Integer Source # | |
|
(QAArrow to0, HasEqAsymmetric a0 Dyadic, SuitableForSeq a0, SuitableForSeq (EqCompareType a0 Dyadic)) => HasEqAsymmetric (SequenceA to0 a0) Dyadic Source # | |
|
(QAArrow to0, HasEqAsymmetric a0 Rational, SuitableForSeq a0, SuitableForSeq (EqCompareType a0 Rational)) => HasEqAsymmetric (SequenceA to0 a0) Rational Source # | |
|
(QAArrow to0, HasEqAsymmetric a0 Int, SuitableForSeq a0, SuitableForSeq (EqCompareType a0 Int)) => HasEqAsymmetric (SequenceA to0 a0) Int Source # | |
|
(QAArrow to0, HasEqAsymmetric a0 Integer, SuitableForSeq a0, SuitableForSeq (EqCompareType a0 Integer)) => HasEqAsymmetric (SequenceA to0 a0) Integer Source # | |
|
(CanMinMaxAsymmetric a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (MinMaxType a (SequenceA to b)), SuitableForCE es) => CanMinMaxAsymmetric (CollectErrors es a) (SequenceA to b) Source # | |
|
(CanMinMaxAsymmetric (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (MinMaxType (SequenceA to a) b), SuitableForCE es) => CanMinMaxAsymmetric (SequenceA to a) (CollectErrors es b) Source # | |
|
(QAArrow to, CanMinMaxAsymmetric a b, SuitableForSeq a, SuitableForSeq b, SuitableForSeq (MinMaxType a b)) => CanMinMaxAsymmetric (SequenceA to a) (SequenceA to b) Source # | |
|
(HasOrderAsymmetric a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (OrderCompareType a (SequenceA to b)), IsBool (EnsureCE es (OrderCompareType a (SequenceA to b))), SuitableForCE es) => HasOrderAsymmetric (CollectErrors es a) (SequenceA to b) Source # | |
|
(HasOrderAsymmetric (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (OrderCompareType (SequenceA to a) b), IsBool (EnsureCE es (OrderCompareType (SequenceA to a) b)), SuitableForCE es) => HasOrderAsymmetric (SequenceA to a) (CollectErrors es b) Source # | |
|
(QAArrow to, HasOrderAsymmetric a b, SuitableForSeq a, SuitableForSeq b, SuitableForSeq (OrderCompareType a b)) => HasOrderAsymmetric (SequenceA to a) (SequenceA to b) Source # | |
|
(HasEqAsymmetric a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (EqCompareType a (SequenceA to b)), IsBool (EnsureCE es (EqCompareType a (SequenceA to b))), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) (SequenceA to b) Source # | |
|
(HasEqAsymmetric (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (EqCompareType (SequenceA to a) b), IsBool (EnsureCE es (EqCompareType (SequenceA to a) b)), SuitableForCE es) => HasEqAsymmetric (SequenceA to a) (CollectErrors es b) Source # | |
|
(QAArrow to, HasEqAsymmetric a b, SuitableForSeq a, SuitableForSeq b, SuitableForSeq (EqCompareType a b)) => HasEqAsymmetric (SequenceA to a) (SequenceA to b) Source # | |
|
(QAArrow to, CanAndOrAsymmetric a b, SuitableForSeq a, SuitableForSeq b, SuitableForSeq (AndOrType a b)) => CanAndOrAsymmetric (SequenceA to a) (SequenceA to b) Source # | |
|