(CanDiv Int a, CanTestZero a) => CanDiv Int (CSequence a) Source # | |
Instance details |
(CanDiv Integer a, CanTestZero a) => CanDiv Integer (CSequence a) Source # | |
Instance details |
(CanDiv Rational a, CanTestZero a) => CanDiv Rational (CSequence a) Source # | |
Instance details |
(CanDiv Dyadic a, CanTestZero a) => CanDiv Dyadic (CSequence a) Source # | |
Instance details |
(CanPow Int e, HasOrderCertainly e Integer, CanTestIsIntegerType e, CanTestInteger e) => CanPow Int (CSequence e) Source # | |
Instance details |
(CanPow Integer e, HasOrderCertainly e Integer, CanTestIsIntegerType e, CanTestInteger e) => CanPow Integer (CSequence e) Source # | |
Instance details |
(CanPow Rational e, HasOrderCertainly e Integer, CanTestIsIntegerType e, CanTestInteger e) => CanPow Rational (CSequence e) Source # | |
Instance details |
(CanMulAsymmetric Int a, CanGiveUpIfVeryInaccurate (MulType Int a)) => CanMulAsymmetric Int (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric Integer a, CanGiveUpIfVeryInaccurate (MulType Integer a)) => CanMulAsymmetric Integer (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric Rational a, CanGiveUpIfVeryInaccurate (MulType Rational a)) => CanMulAsymmetric Rational (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric Dyadic a, CanGiveUpIfVeryInaccurate (MulType Dyadic a)) => CanMulAsymmetric Dyadic (CSequence a) Source # | |
Instance details |
CanAddAsymmetric Int a => CanAddAsymmetric Int (CSequence a) Source # | |
Instance details |
CanAddAsymmetric Integer a => CanAddAsymmetric Integer (CSequence a) Source # | |
Instance details |
CanAddAsymmetric Rational a => CanAddAsymmetric Rational (CSequence a) Source # | |
Instance details |
CanAddAsymmetric Dyadic a => CanAddAsymmetric Dyadic (CSequence a) Source # | |
Instance details |
CanSub Int a => CanSub Int (CSequence a) Source # | |
Instance details |
CanSub Integer a => CanSub Integer (CSequence a) Source # | |
Instance details |
CanSub Rational a => CanSub Rational (CSequence a) Source # | |
Instance details |
CanSub Dyadic a => CanSub Dyadic (CSequence a) Source # | |
Instance details |
CanDiv a Integer => CanDiv (CSequence a) Integer Source # | |
Instance details |
CanDiv a Int => CanDiv (CSequence a) Int Source # | |
Instance details |
CanDiv a Rational => CanDiv (CSequence a) Rational Source # | |
Instance details |
CanDiv a Dyadic => CanDiv (CSequence a) Dyadic Source # | |
Instance details |
(CanPow b Integer, HasOrderCertainly b Integer, HasEqCertainly b Integer, CanTestIsIntegerType b) => CanPow (CSequence b) Integer Source # | |
Instance details |
(CanPow b Int, HasOrderCertainly b Integer, HasEqCertainly b Integer, CanTestIsIntegerType b) => CanPow (CSequence b) Int Source # | |
Instance details |
(CanPow b Rational, HasOrderCertainly b Integer, HasEqCertainly b Integer, CanTestIsIntegerType b) => CanPow (CSequence b) Rational Source # | |
Instance details |
(CanMulAsymmetric a Integer, CanGiveUpIfVeryInaccurate (MulType a Integer)) => CanMulAsymmetric (CSequence a) Integer Source # | |
Instance details |
(CanMulAsymmetric a Int, CanGiveUpIfVeryInaccurate (MulType a Int)) => CanMulAsymmetric (CSequence a) Int Source # | |
Instance details |
(CanMulAsymmetric a Rational, CanGiveUpIfVeryInaccurate (MulType a Rational)) => CanMulAsymmetric (CSequence a) Rational Source # | |
Instance details |
(CanMulAsymmetric a Dyadic, CanGiveUpIfVeryInaccurate (MulType a Dyadic)) => CanMulAsymmetric (CSequence a) Dyadic Source # | |
Instance details |
CanAddAsymmetric a Integer => CanAddAsymmetric (CSequence a) Integer Source # | |
Instance details |
CanAddAsymmetric a Int => CanAddAsymmetric (CSequence a) Int Source # | |
Instance details |
CanAddAsymmetric a Rational => CanAddAsymmetric (CSequence a) Rational Source # | |
Instance details |
CanAddAsymmetric a Dyadic => CanAddAsymmetric (CSequence a) Dyadic Source # | |
Instance details |
CanSub a Integer => CanSub (CSequence a) Integer Source # | |
Instance details |
CanSub a Int => CanSub (CSequence a) Int Source # | |
Instance details |
CanSub a Rational => CanSub (CSequence a) Rational Source # | |
Instance details |
CanSub a Dyadic => CanSub (CSequence a) Dyadic Source # | |
Instance details |
(CanDiv Int a, CanTestZero a) => CanDiv (CN Int) (CSequence a) Source # | |
Instance details |
(CanDiv Integer a, CanTestZero a) => CanDiv (CN Integer) (CSequence a) Source # | |
Instance details |
(CanDiv Rational a, CanTestZero a) => CanDiv (CN Rational) (CSequence a) Source # | |
Instance details |
(CanDiv Dyadic a, CanTestZero a) => CanDiv (CN Dyadic) (CSequence a) Source # | |
Instance details |
CanDiv a Integer => CanDiv (CSequence a) (CN Integer) Source # | |
Instance details |
CanDiv a Int => CanDiv (CSequence a) (CN Int) Source # | |
Instance details |
CanDiv a Rational => CanDiv (CSequence a) (CN Rational) Source # | |
Instance details |
CanDiv a Dyadic => CanDiv (CSequence a) (CN Dyadic) Source # | |
Instance details |
(CanMulAsymmetric Int a, CanGiveUpIfVeryInaccurate (MulType Int a)) => CanMulAsymmetric (CN Int) (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric Integer a, CanGiveUpIfVeryInaccurate (MulType Integer a)) => CanMulAsymmetric (CN Integer) (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric Rational a, CanGiveUpIfVeryInaccurate (MulType Rational a)) => CanMulAsymmetric (CN Rational) (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric Dyadic a, CanGiveUpIfVeryInaccurate (MulType Dyadic a)) => CanMulAsymmetric (CN Dyadic) (CSequence a) Source # | |
Instance details |
(CanMulAsymmetric a Integer, CanGiveUpIfVeryInaccurate (MulType a Integer)) => CanMulAsymmetric (CSequence a) (CN Integer) Source # | |
Instance details |
(CanMulAsymmetric a Int, CanGiveUpIfVeryInaccurate (MulType a Int)) => CanMulAsymmetric (CSequence a) (CN Int) Source # | |
Instance details |
(CanMulAsymmetric a Rational, CanGiveUpIfVeryInaccurate (MulType a Rational)) => CanMulAsymmetric (CSequence a) (CN Rational) Source # | |
Instance details |
(CanMulAsymmetric a Dyadic, CanGiveUpIfVeryInaccurate (MulType a Dyadic)) => CanMulAsymmetric (CSequence a) (CN Dyadic) Source # | |
Instance details |
CanAddAsymmetric Int a => CanAddAsymmetric (CN Int) (CSequence a) Source # | |
Instance details |
CanAddAsymmetric Integer a => CanAddAsymmetric (CN Integer) (CSequence a) Source # | |
Instance details |
CanAddAsymmetric Rational a => CanAddAsymmetric (CN Rational) (CSequence a) Source # | |
Instance details |
CanAddAsymmetric Dyadic a => CanAddAsymmetric (CN Dyadic) (CSequence a) Source # | |
Instance details |
CanAddAsymmetric a Integer => CanAddAsymmetric (CSequence a) (CN Integer) Source # | |
Instance details |
CanAddAsymmetric a Int => CanAddAsymmetric (CSequence a) (CN Int) Source # | |
Instance details |
CanAddAsymmetric a Rational => CanAddAsymmetric (CSequence a) (CN Rational) Source # | |
Instance details |
CanAddAsymmetric a Dyadic => CanAddAsymmetric (CSequence a) (CN Dyadic) Source # | |
Instance details |
CanSub Int a => CanSub (CN Int) (CSequence a) Source # | |
Instance details |
CanSub Integer a => CanSub (CN Integer) (CSequence a) Source # | |
Instance details |
CanSub Rational a => CanSub (CN Rational) (CSequence a) Source # | |
Instance details |
CanSub Dyadic a => CanSub (CN Dyadic) (CSequence a) Source # | |
Instance details |
CanSub a Integer => CanSub (CSequence a) (CN Integer) Source # | |
Instance details |
CanSub a Int => CanSub (CSequence a) (CN Int) Source # | |
Instance details |
CanSub a Rational => CanSub (CSequence a) (CN Rational) Source # | |
Instance details |
CanSub a Dyadic => CanSub (CSequence a) (CN Dyadic) Source # | |
Instance details |