(SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (CollectErrors es a) Source # | |
|
(ConvertibleExactly Bool t0, Monoid es0) => ConvertibleExactly Bool (CollectErrors es0 t0) Source # | |
|
(ConvertibleExactly Double t0, Monoid es0) => ConvertibleExactly Double (CollectErrors es0 t0) Source # | |
|
(ConvertibleExactly Int t0, Monoid es0) => ConvertibleExactly Int (CollectErrors es0 t0) Source # | |
|
(ConvertibleExactly Integer t0, Monoid es0) => ConvertibleExactly Integer (CollectErrors es0 t0) Source # | |
|
(ConvertibleExactly Rational t0, Monoid es0) => ConvertibleExactly Rational (CollectErrors es0 t0) Source # | |
|
(CanAndOrAsymmetric Bool t2, SuitableForCE es, CanEnsureCE es t2, CanEnsureCE es (AndOrType Bool t2)) => CanAndOrAsymmetric Bool (CollectErrors es t2) Source # | |
|
(HasEqAsymmetric Bool b0, CanEnsureCE es0 b0, CanEnsureCE es0 (EqCompareType Bool b0), IsBool (EnsureCE es0 (EqCompareType Bool b0)), SuitableForCE es0) => HasEqAsymmetric Bool (CollectErrors es0 b0) Source # | |
|
(HasEqAsymmetric Double b0, CanEnsureCE es0 b0, CanEnsureCE es0 (EqCompareType Double b0), IsBool (EnsureCE es0 (EqCompareType Double b0)), SuitableForCE es0) => HasEqAsymmetric Double (CollectErrors es0 b0) Source # | |
|
(HasEqAsymmetric Int b0, CanEnsureCE es0 b0, CanEnsureCE es0 (EqCompareType Int b0), IsBool (EnsureCE es0 (EqCompareType Int b0)), SuitableForCE es0) => HasEqAsymmetric Int (CollectErrors es0 b0) Source # | |
|
(HasEqAsymmetric Integer b0, CanEnsureCE es0 b0, CanEnsureCE es0 (EqCompareType Integer b0), IsBool (EnsureCE es0 (EqCompareType Integer b0)), SuitableForCE es0) => HasEqAsymmetric Integer (CollectErrors es0 b0) Source # | |
|
(HasEqAsymmetric Rational b0, CanEnsureCE es0 b0, CanEnsureCE es0 (EqCompareType Rational b0), IsBool (EnsureCE es0 (EqCompareType Rational b0)), SuitableForCE es0) => HasEqAsymmetric Rational (CollectErrors es0 b0) Source # | |
|
(HasOrderAsymmetric Double b0, CanEnsureCE es0 b0, CanEnsureCE es0 (OrderCompareType Double b0), IsBool (EnsureCE es0 (OrderCompareType Double b0)), SuitableForCE es0) => HasOrderAsymmetric Double (CollectErrors es0 b0) Source # | |
|
(HasOrderAsymmetric Int b0, CanEnsureCE es0 b0, CanEnsureCE es0 (OrderCompareType Int b0), IsBool (EnsureCE es0 (OrderCompareType Int b0)), SuitableForCE es0) => HasOrderAsymmetric Int (CollectErrors es0 b0) Source # | |
|
(HasOrderAsymmetric Integer b0, CanEnsureCE es0 b0, CanEnsureCE es0 (OrderCompareType Integer b0), IsBool (EnsureCE es0 (OrderCompareType Integer b0)), SuitableForCE es0) => HasOrderAsymmetric Integer (CollectErrors es0 b0) Source # | |
|
(HasOrderAsymmetric Rational b0, CanEnsureCE es0 b0, CanEnsureCE es0 (OrderCompareType Rational b0), IsBool (EnsureCE es0 (OrderCompareType Rational b0)), SuitableForCE es0) => HasOrderAsymmetric Rational (CollectErrors es0 b0) Source # | |
|
(CanMinMaxAsymmetric Double b0, CanEnsureCE es0 b0, CanEnsureCE es0 (MinMaxType Double b0), SuitableForCE es0) => CanMinMaxAsymmetric Double (CollectErrors es0 b0) Source # | |
|
(CanMinMaxAsymmetric Int b0, CanEnsureCE es0 b0, CanEnsureCE es0 (MinMaxType Int b0), SuitableForCE es0) => CanMinMaxAsymmetric Int (CollectErrors es0 b0) Source # | |
|
(CanMinMaxAsymmetric Integer b0, CanEnsureCE es0 b0, CanEnsureCE es0 (MinMaxType Integer b0), SuitableForCE es0) => CanMinMaxAsymmetric Integer (CollectErrors es0 b0) Source # | |
|
(CanMinMaxAsymmetric Rational b0, CanEnsureCE es0 b0, CanEnsureCE es0 (MinMaxType Rational b0), SuitableForCE es0) => CanMinMaxAsymmetric Rational (CollectErrors es0 b0) Source # | |
|
(CanSub Double b0, CanEnsureCE es0 b0, CanEnsureCE es0 (SubType Double b0), SuitableForCE es0) => CanSub Double (CollectErrors es0 b0) Source # | |
|
(CanSub Int b0, CanEnsureCE es0 b0, CanEnsureCE es0 (SubType Int b0), SuitableForCE es0) => CanSub Int (CollectErrors es0 b0) Source # | |
|
(CanSub Integer b0, CanEnsureCE es0 b0, CanEnsureCE es0 (SubType Integer b0), SuitableForCE es0) => CanSub Integer (CollectErrors es0 b0) Source # | |
|
(CanSub Rational b0, CanEnsureCE es0 b0, CanEnsureCE es0 (SubType Rational b0), SuitableForCE es0) => CanSub Rational (CollectErrors es0 b0) Source # | |
|
(CanAddAsymmetric Double b0, CanEnsureCE es0 b0, CanEnsureCE es0 (AddType Double b0), SuitableForCE es0) => CanAddAsymmetric Double (CollectErrors es0 b0) Source # | |
|
(CanAddAsymmetric Int b0, CanEnsureCE es0 b0, CanEnsureCE es0 (AddType Int b0), SuitableForCE es0) => CanAddAsymmetric Int (CollectErrors es0 b0) Source # | |
|
(CanAddAsymmetric Integer b0, CanEnsureCE es0 b0, CanEnsureCE es0 (AddType Integer b0), SuitableForCE es0) => CanAddAsymmetric Integer (CollectErrors es0 b0) Source # | |
|
(CanAddAsymmetric Rational b0, CanEnsureCE es0 b0, CanEnsureCE es0 (AddType Rational b0), SuitableForCE es0) => CanAddAsymmetric Rational (CollectErrors es0 b0) Source # | |
|
(CanPow Double b0, CanEnsureCE es0 b0, CanEnsureCE es0 (PowType Double b0), CanEnsureCE es0 (PowTypeNoCN Double b0), SuitableForCE es0) => CanPow Double (CollectErrors es0 b0) Source # | |
|
(CanPow Int b0, CanEnsureCE es0 b0, CanEnsureCE es0 (PowType Int b0), CanEnsureCE es0 (PowTypeNoCN Int b0), SuitableForCE es0) => CanPow Int (CollectErrors es0 b0) Source # | |
|
(CanPow Integer b0, CanEnsureCE es0 b0, CanEnsureCE es0 (PowType Integer b0), CanEnsureCE es0 (PowTypeNoCN Integer b0), SuitableForCE es0) => CanPow Integer (CollectErrors es0 b0) Source # | |
|
(CanPow Rational b0, CanEnsureCE es0 b0, CanEnsureCE es0 (PowType Rational b0), CanEnsureCE es0 (PowTypeNoCN Rational b0), SuitableForCE es0) => CanPow Rational (CollectErrors es0 b0) Source # | |
|
(CanMulAsymmetric Double b0, CanEnsureCE es0 b0, CanEnsureCE es0 (MulType Double b0), SuitableForCE es0) => CanMulAsymmetric Double (CollectErrors es0 b0) Source # | |
|
(CanMulAsymmetric Int b0, CanEnsureCE es0 b0, CanEnsureCE es0 (MulType Int b0), SuitableForCE es0) => CanMulAsymmetric Int (CollectErrors es0 b0) Source # | |
|
(CanMulAsymmetric Integer b0, CanEnsureCE es0 b0, CanEnsureCE es0 (MulType Integer b0), SuitableForCE es0) => CanMulAsymmetric Integer (CollectErrors es0 b0) Source # | |
|
(CanMulAsymmetric Rational b0, CanEnsureCE es0 b0, CanEnsureCE es0 (MulType Rational b0), SuitableForCE es0) => CanMulAsymmetric Rational (CollectErrors es0 b0) Source # | |
|
(CanDiv Double b0, CanEnsureCE es0 b0, CanEnsureCE es0 (DivType Double b0), CanEnsureCE es0 (DivTypeNoCN Double b0), SuitableForCE es0) => CanDiv Double (CollectErrors es0 b0) Source # | |
|
(CanDiv Int b0, CanEnsureCE es0 b0, CanEnsureCE es0 (DivType Int b0), CanEnsureCE es0 (DivTypeNoCN Int b0), SuitableForCE es0) => CanDiv Int (CollectErrors es0 b0) Source # | |
|
(CanDiv Integer b0, CanEnsureCE es0 b0, CanEnsureCE es0 (DivType Integer b0), CanEnsureCE es0 (DivTypeNoCN Integer b0), SuitableForCE es0) => CanDiv Integer (CollectErrors es0 b0) Source # | |
|
(CanDiv Rational b0, CanEnsureCE es0 b0, CanEnsureCE es0 (DivType Rational b0), CanEnsureCE es0 (DivTypeNoCN Rational b0), SuitableForCE es0) => CanDiv Rational (CollectErrors es0 b0) Source # | |
|
Monoid es => Monad (CollectErrors es) Source # | |
|
Functor (CollectErrors es) Source # | |
|
Monoid es => Applicative (CollectErrors es) Source # | |
|
OrderedCertainlyRing (CN Integer) Source # | |
|
OrderedCertainlyRing (CN Rational) Source # | |
|
OrderedRing (CN Integer) Source # | |
|
OrderedRing (CN Rational) Source # | |
|
Ring (CN Integer) Source # | |
|
Ring (CN Rational) Source # | |
|
OrderedCertainlyField (CN Rational) Source # | |
|
OrderedField (CN Rational) Source # | |
|
Field (CN Rational) Source # | |
|
(HasEqAsymmetric (Maybe Bool) b0, CanEnsureCE es0 b0, CanEnsureCE es0 (EqCompareType (Maybe Bool) b0), IsBool (EnsureCE es0 (EqCompareType (Maybe Bool) b0)), SuitableForCE es0) => HasEqAsymmetric (Maybe Bool) (CollectErrors es0 b0) Source # | |
|
(Show v, SuitableForCE es) => Show (CollectErrors es v) Source # | |
|
(Arbitrary t, Monoid es) => Arbitrary (CollectErrors es t) Source # | |
|
(CanNeg t, SuitableForCE es, CanEnsureCE es t, CanEnsureCE es (NegType t)) => CanNeg (CollectErrors es t) Source # | |
|
(CanTestCertainly t, SuitableForCE es) => CanTestCertainly (CollectErrors es t) Source # | |
|
(CanPickNonZero a, SuitableForCE es) => CanPickNonZero (CollectErrors es a) Source # | |
|
(CanTestZero t, SuitableForCE es) => CanTestZero (CollectErrors es t) Source # | |
|
(CanTestInteger t, SuitableForCE es) => CanTestInteger (CollectErrors es t) Source # | |
|
(CanTestFinite t, SuitableForCE es) => CanTestFinite (CollectErrors es t) Source # | |
|
(CanTestNaN t, SuitableForCE es) => CanTestNaN (CollectErrors es t) Source # | |
|
(CanTestPosNeg t, SuitableForCE es) => CanTestPosNeg (CollectErrors es t) Source # | |
|
(CanAbs a, CanEnsureCE es a, CanEnsureCE es (AbsType a), SuitableForCE es) => CanAbs (CollectErrors es a) Source # | |
|
(CanSinCos a, CanEnsureCE es a, CanEnsureCE es (SinCosType a), SuitableForCE es) => CanSinCos (CollectErrors es a) Source # | |
|
(CanLog a, CanEnsureCE es a, CanEnsureCE es (LogType a), SuitableForCE es) => CanLog (CollectErrors es a) Source # | |
|
(CanExp a, CanEnsureCE es a, CanEnsureCE es (ExpType a), SuitableForCE es) => CanExp (CollectErrors es a) Source # | |
|
(CanSqrt a, CanEnsureCE es a, CanEnsureCE es (SqrtType a), SuitableForCE es) => CanSqrt (CollectErrors es a) Source # | |
|
(CanAndOrAsymmetric t1 Bool, SuitableForCE es, CanEnsureCE es t1, CanEnsureCE es (AndOrType t1 Bool)) => CanAndOrAsymmetric (CollectErrors es t1) Bool Source # | |
|
(HasEqAsymmetric a0 Double, CanEnsureCE es0 a0, CanEnsureCE es0 (EqCompareType a0 Double), IsBool (EnsureCE es0 (EqCompareType a0 Double)), SuitableForCE es0) => HasEqAsymmetric (CollectErrors es0 a0) Double Source # | |
|
(HasEqAsymmetric a0 Rational, CanEnsureCE es0 a0, CanEnsureCE es0 (EqCompareType a0 Rational), IsBool (EnsureCE es0 (EqCompareType a0 Rational)), SuitableForCE es0) => HasEqAsymmetric (CollectErrors es0 a0) Rational Source # | |
|
(HasEqAsymmetric a0 Int, CanEnsureCE es0 a0, CanEnsureCE es0 (EqCompareType a0 Int), IsBool (EnsureCE es0 (EqCompareType a0 Int)), SuitableForCE es0) => HasEqAsymmetric (CollectErrors es0 a0) Int Source # | |
|
(HasEqAsymmetric a0 Integer, CanEnsureCE es0 a0, CanEnsureCE es0 (EqCompareType a0 Integer), IsBool (EnsureCE es0 (EqCompareType a0 Integer)), SuitableForCE es0) => HasEqAsymmetric (CollectErrors es0 a0) Integer Source # | |
|
(HasEqAsymmetric a0 Bool, CanEnsureCE es0 a0, CanEnsureCE es0 (EqCompareType a0 Bool), IsBool (EnsureCE es0 (EqCompareType a0 Bool)), SuitableForCE es0) => HasEqAsymmetric (CollectErrors es0 a0) Bool Source # | |
|
(HasOrderAsymmetric a0 Double, CanEnsureCE es0 a0, CanEnsureCE es0 (OrderCompareType a0 Double), IsBool (EnsureCE es0 (OrderCompareType a0 Double)), SuitableForCE es0) => HasOrderAsymmetric (CollectErrors es0 a0) Double Source # | |
|
(HasOrderAsymmetric a0 Rational, CanEnsureCE es0 a0, CanEnsureCE es0 (OrderCompareType a0 Rational), IsBool (EnsureCE es0 (OrderCompareType a0 Rational)), SuitableForCE es0) => HasOrderAsymmetric (CollectErrors es0 a0) Rational Source # | |
|
(HasOrderAsymmetric a0 Int, CanEnsureCE es0 a0, CanEnsureCE es0 (OrderCompareType a0 Int), IsBool (EnsureCE es0 (OrderCompareType a0 Int)), SuitableForCE es0) => HasOrderAsymmetric (CollectErrors es0 a0) Int Source # | |
|
(HasOrderAsymmetric a0 Integer, CanEnsureCE es0 a0, CanEnsureCE es0 (OrderCompareType a0 Integer), IsBool (EnsureCE es0 (OrderCompareType a0 Integer)), SuitableForCE es0) => HasOrderAsymmetric (CollectErrors es0 a0) Integer Source # | |
|
(CanMinMaxAsymmetric a0 Double, CanEnsureCE es0 a0, CanEnsureCE es0 (MinMaxType a0 Double), SuitableForCE es0) => CanMinMaxAsymmetric (CollectErrors es0 a0) Double Source # | |
|
(CanMinMaxAsymmetric a0 Rational, CanEnsureCE es0 a0, CanEnsureCE es0 (MinMaxType a0 Rational), SuitableForCE es0) => CanMinMaxAsymmetric (CollectErrors es0 a0) Rational Source # | |
|
(CanMinMaxAsymmetric a0 Int, CanEnsureCE es0 a0, CanEnsureCE es0 (MinMaxType a0 Int), SuitableForCE es0) => CanMinMaxAsymmetric (CollectErrors es0 a0) Int Source # | |
|
(CanMinMaxAsymmetric a0 Integer, CanEnsureCE es0 a0, CanEnsureCE es0 (MinMaxType a0 Integer), SuitableForCE es0) => CanMinMaxAsymmetric (CollectErrors es0 a0) Integer Source # | |
|
(CanSub a0 Double, CanEnsureCE es0 a0, CanEnsureCE es0 (SubType a0 Double), SuitableForCE es0) => CanSub (CollectErrors es0 a0) Double Source # | |
|
(CanSub a0 Rational, CanEnsureCE es0 a0, CanEnsureCE es0 (SubType a0 Rational), SuitableForCE es0) => CanSub (CollectErrors es0 a0) Rational Source # | |
|
(CanSub a0 Int, CanEnsureCE es0 a0, CanEnsureCE es0 (SubType a0 Int), SuitableForCE es0) => CanSub (CollectErrors es0 a0) Int Source # | |
|
(CanSub a0 Integer, CanEnsureCE es0 a0, CanEnsureCE es0 (SubType a0 Integer), SuitableForCE es0) => CanSub (CollectErrors es0 a0) Integer Source # | |
|
(CanAddAsymmetric a0 Double, CanEnsureCE es0 a0, CanEnsureCE es0 (AddType a0 Double), SuitableForCE es0) => CanAddAsymmetric (CollectErrors es0 a0) Double Source # | |
|
(CanAddAsymmetric a0 Rational, CanEnsureCE es0 a0, CanEnsureCE es0 (AddType a0 Rational), SuitableForCE es0) => CanAddAsymmetric (CollectErrors es0 a0) Rational Source # | |
|
(CanAddAsymmetric a0 Int, CanEnsureCE es0 a0, CanEnsureCE es0 (AddType a0 Int), SuitableForCE es0) => CanAddAsymmetric (CollectErrors es0 a0) Int Source # | |
|
(CanAddAsymmetric a0 Integer, CanEnsureCE es0 a0, CanEnsureCE es0 (AddType a0 Integer), SuitableForCE es0) => CanAddAsymmetric (CollectErrors es0 a0) Integer Source # | |
|
(CanPow a0 Double, CanEnsureCE es0 a0, CanEnsureCE es0 (PowType a0 Double), CanEnsureCE es0 (PowTypeNoCN a0 Double), SuitableForCE es0) => CanPow (CollectErrors es0 a0) Double Source # | |
|
(CanPow a0 Rational, CanEnsureCE es0 a0, CanEnsureCE es0 (PowType a0 Rational), CanEnsureCE es0 (PowTypeNoCN a0 Rational), SuitableForCE es0) => CanPow (CollectErrors es0 a0) Rational Source # | |
|
(CanPow a0 Int, CanEnsureCE es0 a0, CanEnsureCE es0 (PowType a0 Int), CanEnsureCE es0 (PowTypeNoCN a0 Int), SuitableForCE es0) => CanPow (CollectErrors es0 a0) Int Source # | |
|
(CanPow a0 Integer, CanEnsureCE es0 a0, CanEnsureCE es0 (PowType a0 Integer), CanEnsureCE es0 (PowTypeNoCN a0 Integer), SuitableForCE es0) => CanPow (CollectErrors es0 a0) Integer Source # | |
|
(CanMulAsymmetric a0 Double, CanEnsureCE es0 a0, CanEnsureCE es0 (MulType a0 Double), SuitableForCE es0) => CanMulAsymmetric (CollectErrors es0 a0) Double Source # | |
|
(CanMulAsymmetric a0 Rational, CanEnsureCE es0 a0, CanEnsureCE es0 (MulType a0 Rational), SuitableForCE es0) => CanMulAsymmetric (CollectErrors es0 a0) Rational Source # | |
|
(CanMulAsymmetric a0 Int, CanEnsureCE es0 a0, CanEnsureCE es0 (MulType a0 Int), SuitableForCE es0) => CanMulAsymmetric (CollectErrors es0 a0) Int Source # | |
|
(CanMulAsymmetric a0 Integer, CanEnsureCE es0 a0, CanEnsureCE es0 (MulType a0 Integer), SuitableForCE es0) => CanMulAsymmetric (CollectErrors es0 a0) Integer Source # | |
|
(CanDiv a0 Double, CanEnsureCE es0 a0, CanEnsureCE es0 (DivType a0 Double), CanEnsureCE es0 (DivTypeNoCN a0 Double), SuitableForCE es0) => CanDiv (CollectErrors es0 a0) Double Source # | |
|
(CanDiv a0 Rational, CanEnsureCE es0 a0, CanEnsureCE es0 (DivType a0 Rational), CanEnsureCE es0 (DivTypeNoCN a0 Rational), SuitableForCE es0) => CanDiv (CollectErrors es0 a0) Rational Source # | |
|
(CanDiv a0 Int, CanEnsureCE es0 a0, CanEnsureCE es0 (DivType a0 Int), CanEnsureCE es0 (DivTypeNoCN a0 Int), SuitableForCE es0) => CanDiv (CollectErrors es0 a0) Int Source # | |
|
(CanDiv a0 Integer, CanEnsureCE es0 a0, CanEnsureCE es0 (DivType a0 Integer), CanEnsureCE es0 (DivTypeNoCN a0 Integer), SuitableForCE es0) => CanDiv (CollectErrors es0 a0) Integer Source # | |
|
(HasEqAsymmetric a0 (Maybe Bool), CanEnsureCE es0 a0, CanEnsureCE es0 (EqCompareType a0 (Maybe Bool)), IsBool (EnsureCE es0 (EqCompareType a0 (Maybe Bool))), SuitableForCE es0) => HasEqAsymmetric (CollectErrors es0 a0) (Maybe Bool) Source # | |
|
(CanAndOrAsymmetric t1 t2, SuitableForCE es, CanEnsureCE es t1, CanEnsureCE es t2, CanEnsureCE es (AndOrType t1 t2)) => CanAndOrAsymmetric (CollectErrors es t1) (CollectErrors es t2) Source # | |
|
(HasEqAsymmetric a b, CanEnsureCE es (EqCompareType a b), CanEnsureCE es a, CanEnsureCE es b, IsBool (EnsureCE es (EqCompareType a b)), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) (CollectErrors es b) Source # | |
|
(HasOrderAsymmetric a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (OrderCompareType a b), IsBool (EnsureCE es (OrderCompareType a b)), SuitableForCE es) => HasOrderAsymmetric (CollectErrors es a) (CollectErrors es b) Source # | |
|
(CanMinMaxAsymmetric a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (MinMaxType a b), SuitableForCE es) => CanMinMaxAsymmetric (CollectErrors es a) (CollectErrors es b) Source # | |
|
(CanSub a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (SubType a b), SuitableForCE es) => CanSub (CollectErrors es a) (CollectErrors es b) Source # | |
|
(CanAddAsymmetric a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (AddType a b), SuitableForCE es) => CanAddAsymmetric (CollectErrors es a) (CollectErrors es b) Source # | |
|
(CanPow a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (PowTypeNoCN a b), CanEnsureCE es (PowType a b), SuitableForCE es) => CanPow (CollectErrors es a) (CollectErrors es b) Source # | |
|
(CanMulAsymmetric a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (MulType a b), SuitableForCE es) => CanMulAsymmetric (CollectErrors es a) (CollectErrors es b) Source # | |
|
(CanDiv a b, CanEnsureCE es a, CanEnsureCE es b, CanEnsureCE es (DivType a b), CanEnsureCE es (DivTypeNoCN a b), SuitableForCE es) => CanDiv (CollectErrors es a) (CollectErrors es b) Source # | |
|
type EnsureCE es (CollectErrors es a) Source # | |
|
type EnsureNoCE es (CollectErrors es a) Source # | |
|
type AndOrType Bool (CollectErrors es t2) Source # | |
|
type EqCompareType Bool (CollectErrors es0 b0) Source # | |
|
type EqCompareType Double (CollectErrors es0 b0) Source # | |
|
type EqCompareType Int (CollectErrors es0 b0) Source # | |
|
type EqCompareType Integer (CollectErrors es0 b0) Source # | |
|
type EqCompareType Rational (CollectErrors es0 b0) Source # | |
|
type OrderCompareType Double (CollectErrors es0 b0) Source # | |
|
type OrderCompareType Int (CollectErrors es0 b0) Source # | |
|
type OrderCompareType Integer (CollectErrors es0 b0) Source # | |
|
type OrderCompareType Rational (CollectErrors es0 b0) Source # | |
|
type MinMaxType Double (CollectErrors es0 b0) Source # | |
|
type MinMaxType Int (CollectErrors es0 b0) Source # | |
|
type MinMaxType Integer (CollectErrors es0 b0) Source # | |
|
type MinMaxType Rational (CollectErrors es0 b0) Source # | |
|
type SubType Double (CollectErrors es0 b0) Source # | |
|
type SubType Int (CollectErrors es0 b0) Source # | |
|
type SubType Integer (CollectErrors es0 b0) Source # | |
|
type SubType Rational (CollectErrors es0 b0) Source # | |
|
type AddType Double (CollectErrors es0 b0) Source # | |
|
type AddType Int (CollectErrors es0 b0) Source # | |
|
type AddType Integer (CollectErrors es0 b0) Source # | |
|
type AddType Rational (CollectErrors es0 b0) Source # | |
|
type PowTypeNoCN Double (CollectErrors es0 b0) Source # | |
|
type PowTypeNoCN Int (CollectErrors es0 b0) Source # | |
|
type PowTypeNoCN Integer (CollectErrors es0 b0) Source # | |
|
type PowTypeNoCN Rational (CollectErrors es0 b0) Source # | |
|
type PowType Double (CollectErrors es0 b0) Source # | |
|
type PowType Int (CollectErrors es0 b0) Source # | |
|
type PowType Integer (CollectErrors es0 b0) Source # | |
|
type PowType Rational (CollectErrors es0 b0) Source # | |
|
type MulType Double (CollectErrors es0 b0) Source # | |
|
type MulType Int (CollectErrors es0 b0) Source # | |
|
type MulType Integer (CollectErrors es0 b0) Source # | |
|
type MulType Rational (CollectErrors es0 b0) Source # | |
|
type DivTypeNoCN Double (CollectErrors es0 b0) Source # | |
|
type DivTypeNoCN Int (CollectErrors es0 b0) Source # | |
|
type DivTypeNoCN Integer (CollectErrors es0 b0) Source # | |
|
type DivTypeNoCN Rational (CollectErrors es0 b0) Source # | |
|
type DivType Double (CollectErrors es0 b0) Source # | |
|
type DivType Int (CollectErrors es0 b0) Source # | |
|
type DivType Integer (CollectErrors es0 b0) Source # | |
|
type DivType Rational (CollectErrors es0 b0) Source # | |
|
type EqCompareType (Maybe Bool) (CollectErrors es0 b0) Source # | |
|
type NegType (CollectErrors es t) Source # | |
|
type AbsType (CollectErrors es a) Source # | |
|
type SinCosType (CollectErrors es a) Source # | |
|
type LogType (CollectErrors es a) Source # | |
|
type ExpType (CollectErrors es a) Source # | |
|
type SqrtType (CollectErrors es a) Source # | |
|
type AndOrType (CollectErrors es t1) Bool Source # | |
|
type EqCompareType (CollectErrors es0 a0) Double Source # | |
|
type EqCompareType (CollectErrors es0 a0) Rational Source # | |
|
type EqCompareType (CollectErrors es0 a0) Int Source # | |
|
type EqCompareType (CollectErrors es0 a0) Integer Source # | |
|
type EqCompareType (CollectErrors es0 a0) Bool Source # | |
|
type OrderCompareType (CollectErrors es0 a0) Double Source # | |
|
type OrderCompareType (CollectErrors es0 a0) Rational Source # | |
|
type OrderCompareType (CollectErrors es0 a0) Int Source # | |
|
type OrderCompareType (CollectErrors es0 a0) Integer Source # | |
|
type MinMaxType (CollectErrors es0 a0) Double Source # | |
|
type MinMaxType (CollectErrors es0 a0) Rational Source # | |
|
type MinMaxType (CollectErrors es0 a0) Int Source # | |
|
type MinMaxType (CollectErrors es0 a0) Integer Source # | |
|
type SubType (CollectErrors es0 a0) Double Source # | |
|
type SubType (CollectErrors es0 a0) Rational Source # | |
|
type SubType (CollectErrors es0 a0) Int Source # | |
|
type SubType (CollectErrors es0 a0) Integer Source # | |
|
type AddType (CollectErrors es0 a0) Double Source # | |
|
type AddType (CollectErrors es0 a0) Rational Source # | |
|
type AddType (CollectErrors es0 a0) Int Source # | |
|
type AddType (CollectErrors es0 a0) Integer Source # | |
|
type PowTypeNoCN (CollectErrors es0 a0) Double Source # | |
|
type PowTypeNoCN (CollectErrors es0 a0) Rational Source # | |
|
type PowTypeNoCN (CollectErrors es0 a0) Int Source # | |
|
type PowTypeNoCN (CollectErrors es0 a0) Integer Source # | |
|
type PowType (CollectErrors es0 a0) Double Source # | |
|
type PowType (CollectErrors es0 a0) Rational Source # | |
|
type PowType (CollectErrors es0 a0) Int Source # | |
|
type PowType (CollectErrors es0 a0) Integer Source # | |
|
type MulType (CollectErrors es0 a0) Double Source # | |
|
type MulType (CollectErrors es0 a0) Rational Source # | |
|
type MulType (CollectErrors es0 a0) Int Source # | |
|
type MulType (CollectErrors es0 a0) Integer Source # | |
|
type DivTypeNoCN (CollectErrors es0 a0) Double Source # | |
|
type DivTypeNoCN (CollectErrors es0 a0) Rational Source # | |
|
type DivTypeNoCN (CollectErrors es0 a0) Int Source # | |
|
type DivTypeNoCN (CollectErrors es0 a0) Integer Source # | |
|
type DivType (CollectErrors es0 a0) Double Source # | |
|
type DivType (CollectErrors es0 a0) Rational Source # | |
|
type DivType (CollectErrors es0 a0) Int Source # | |
|
type DivType (CollectErrors es0 a0) Integer Source # | |
|
type EqCompareType (CollectErrors es0 a0) (Maybe Bool) Source # | |
|
type AndOrType (CollectErrors es t1) (CollectErrors es t2) Source # | |
|
type EqCompareType (CollectErrors es a) (CollectErrors es b) Source # | |
|
type OrderCompareType (CollectErrors es a) (CollectErrors es b) Source # | |
|
type MinMaxType (CollectErrors es a) (CollectErrors es b) Source # | |
|
type SubType (CollectErrors es a) (CollectErrors es b) Source # | |
|
type AddType (CollectErrors es a) (CollectErrors es b) Source # | |
|
type PowTypeNoCN (CollectErrors es a) (CollectErrors es b) Source # | |
|
type PowType (CollectErrors es a) (CollectErrors es b) Source # | |
|
type MulType (CollectErrors es a) (CollectErrors es b) Source # | |
|
type DivTypeNoCN (CollectErrors es a) (CollectErrors es b) Source # | |
|
type DivType (CollectErrors es a) (CollectErrors es b) Source # | |
|