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