(QAArrow to0, CanDiv Int b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (DivType Int b0), SuitableForWGParam prm0 (DivTypeNoCN Int b0)) => CanDiv Int (WithGlobalParamA to0 prm0 b0) Source # | |
|
(QAArrow to0, CanDiv Integer b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (DivType Integer b0), SuitableForWGParam prm0 (DivTypeNoCN Integer b0)) => CanDiv Integer (WithGlobalParamA to0 prm0 b0) Source # | |
|
(QAArrow to0, CanDiv Rational b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (DivType Rational b0), SuitableForWGParam prm0 (DivTypeNoCN Rational b0)) => CanDiv Rational (WithGlobalParamA to0 prm0 b0) Source # | |
|
(QAArrow to0, CanDiv Dyadic b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (DivType Dyadic b0), SuitableForWGParam prm0 (DivTypeNoCN Dyadic b0)) => CanDiv Dyadic (WithGlobalParamA to0 prm0 b0) Source # | |
|
(CanDiv a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (DivType a (WithGlobalParamA to prm b)), CanEnsureCE es (DivTypeNoCN a (WithGlobalParamA to prm b)), SuitableForCE es) => CanDiv (CollectErrors es a) (WithGlobalParamA to prm b) Source # | |
|
(QAArrow to0, CanDiv a0 Dyadic, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (DivType a0 Dyadic), SuitableForWGParam prm0 (DivTypeNoCN a0 Dyadic)) => CanDiv (WithGlobalParamA to0 prm0 a0) Dyadic Source # | |
|
(QAArrow to0, CanDiv a0 Rational, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (DivType a0 Rational), SuitableForWGParam prm0 (DivTypeNoCN a0 Rational)) => CanDiv (WithGlobalParamA to0 prm0 a0) Rational Source # | |
|
(QAArrow to0, CanDiv a0 Int, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (DivType a0 Int), SuitableForWGParam prm0 (DivTypeNoCN a0 Int)) => CanDiv (WithGlobalParamA to0 prm0 a0) Int Source # | |
|
(QAArrow to0, CanDiv a0 Integer, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (DivType a0 Integer), SuitableForWGParam prm0 (DivTypeNoCN a0 Integer)) => CanDiv (WithGlobalParamA to0 prm0 a0) Integer Source # | |
|
(CanDiv (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (DivType (WithGlobalParamA to prm a) b), CanEnsureCE es (DivTypeNoCN (WithGlobalParamA to prm a) b), SuitableForCE es) => CanDiv (WithGlobalParamA to prm a) (CollectErrors es b) Source # | |
|
(QAArrow to, CanDiv a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (DivType a b), SuitableForWGParam prm (DivTypeNoCN a b)) => CanDiv (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) Source # | |
|