(CanDiv MPBall b, SuitableForSeq b, HasNorm (EnsureNoCN b), CanEnsureCN b, CanSetPrecision (DivType MPBall b), CanSetPrecision (DivTypeNoCN MPBall b)) => CanDiv MPBall (Sequence b) Source # | |
|
(QAArrow to0, CanDiv Int b0, SuitableForSeq b0, SuitableForSeq (DivType Int b0), SuitableForSeq (DivTypeNoCN Int b0), HasNorm (EnsureNoCN b0)) => CanDiv Int (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanDiv Integer b0, SuitableForSeq b0, SuitableForSeq (DivType Integer b0), SuitableForSeq (DivTypeNoCN Integer b0), HasNorm (EnsureNoCN b0)) => CanDiv Integer (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanDiv Rational b0, SuitableForSeq b0, SuitableForSeq (DivType Rational b0), SuitableForSeq (DivTypeNoCN Rational b0), HasNorm (EnsureNoCN b0)) => CanDiv Rational (SequenceA to0 b0) Source # | |
|
(QAArrow to0, CanDiv Dyadic b0, SuitableForSeq b0, SuitableForSeq (DivType Dyadic b0), SuitableForSeq (DivTypeNoCN Dyadic b0), HasNorm (EnsureNoCN b0)) => CanDiv Dyadic (SequenceA to0 b0) Source # | |
|
(CanDiv a MPBall, SuitableForSeq a, CanSetPrecision (DivType a MPBall), CanSetPrecision (DivTypeNoCN a MPBall)) => CanDiv (Sequence a) MPBall Source # | |
|
(QAArrow to0, CanDiv a0 Dyadic, SuitableForSeq a0, SuitableForSeq (DivType a0 Dyadic), SuitableForSeq (DivTypeNoCN a0 Dyadic)) => CanDiv (SequenceA to0 a0) Dyadic Source # | |
|
(QAArrow to0, CanDiv a0 Rational, SuitableForSeq a0, SuitableForSeq (DivType a0 Rational), SuitableForSeq (DivTypeNoCN a0 Rational)) => CanDiv (SequenceA to0 a0) Rational Source # | |
|
(QAArrow to0, CanDiv a0 Int, SuitableForSeq a0, SuitableForSeq (DivType a0 Int), SuitableForSeq (DivTypeNoCN a0 Int)) => CanDiv (SequenceA to0 a0) Int Source # | |
|
(QAArrow to0, CanDiv a0 Integer, SuitableForSeq a0, SuitableForSeq (DivType a0 Integer), SuitableForSeq (DivTypeNoCN a0 Integer)) => CanDiv (SequenceA to0 a0) Integer Source # | |
|
(CanDiv a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (DivType a (SequenceA to b)), CanEnsureCE es (DivTypeNoCN a (SequenceA to b)), SuitableForCE es) => CanDiv (CollectErrors es a) (SequenceA to b) Source # | |
|
(CanDiv (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (DivType (SequenceA to a) b), CanEnsureCE es (DivTypeNoCN (SequenceA to a) b), SuitableForCE es) => CanDiv (SequenceA to a) (CollectErrors es b) Source # | |
|
(QAArrow to, CanDiv a b, HasNorm (EnsureNoCN a), HasNorm (EnsureNoCN b), SuitableForSeq a, SuitableForSeq b, SuitableForSeq (DivType a b), SuitableForSeq (DivTypeNoCN a b)) => CanDiv (SequenceA to a) (SequenceA to b) Source # | |
|