HasLimits Rational CauchyReal Source # | |
|
HasLimits Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) Source # | |
|
(QAArrow to0, ConvertibleExactly Int a0, CanSetPrecision a0, SuitableForSeq a0) => ConvertibleExactly Int (SequenceA to0 a0) # | |
|
(QAArrow to0, ConvertibleExactly Integer a0, CanSetPrecision a0, SuitableForSeq a0) => ConvertibleExactly Integer (SequenceA to0 a0) # | |
|
(QAArrow to, ConvertibleWithPrecision Rational a, CanSetPrecision a, SuitableForSeq a) => ConvertibleExactly Rational (SequenceA to a) # | |
|
(QAArrow to0, ConvertibleExactly Dyadic a0, CanSetPrecision a0, SuitableForSeq a0) => ConvertibleExactly Dyadic (SequenceA to0 a0) # | |
|
(Arrow to, SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (SequenceA to a) # | |
|
HasLimits Rational (CauchyReal -> CauchyRealCN) Source # | |
|
(Arrow to, SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (WithGlobalParamA to prm a) # | |
|
Show a => Show (Sequence a) # | |
|
(CanSwitchArrow to1 to2, QAArrow to1, QAArrow to2, QAProtocolCacheable p) => ConvertibleExactly (QA to1 p) (QA to2 p) Source # | |
|
type DivType Double CauchyReal # | |
|
type DivType CauchyReal Double # | |
|
type DivTypeNoCN Double CauchyReal # | |
|
type DivTypeNoCN CauchyReal Double # | |
|
type MulType Double CauchyReal # | |
|
type MulType CauchyReal Double # | |
|
type PowType Double CauchyReal # | |
|
type PowType CauchyReal Double # | |
|
type PowTypeNoCN Double CauchyReal # | |
|
type PowTypeNoCN CauchyReal Double # | |
|
type AddType Double CauchyReal # | |
|
type AddType CauchyReal Double # | |
|
type SubType Double CauchyReal # | |
|
type SubType CauchyReal Double # | |
|
type LimitType Rational CauchyReal Source # | |
|
type DivType MPBall (Sequence b) # | |
|
type DivTypeNoCN MPBall (Sequence b) # | |
|
type MulType MPBall (Sequence b) # | |
|
type PowType MPBall (Sequence e) # | |
|
type PowTypeNoCN MPBall (Sequence e) # | |
|
type AddType MPBall (Sequence b) # | |
|
type SubType MPBall (Sequence b) # | |
|
type MinMaxType MPBall (Sequence b) # | |
|
type LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) Source # | |
|
type DivType Int (SequenceA to0 b0) # | |
|
type DivType Integer (SequenceA to0 b0) # | |
|
type DivType Rational (SequenceA to0 b0) # | |
|
type DivType Dyadic (SequenceA to0 b0) # | |
|
type DivTypeNoCN Int (SequenceA to0 b0) # | |
|
type DivTypeNoCN Integer (SequenceA to0 b0) # | |
|
type DivTypeNoCN Rational (SequenceA to0 b0) # | |
|
type DivTypeNoCN Dyadic (SequenceA to0 b0) # | |
|
type MulType Int (SequenceA to0 b0) # | |
|
type MulType Integer (SequenceA to0 b0) # | |
|
type MulType Rational (SequenceA to0 b0) # | |
|
type MulType Dyadic (SequenceA to0 b0) # | |
|
type PowType Int (SequenceA to0 a0) # | |
|
type PowType Integer (SequenceA to0 a0) # | |
|
type PowType Rational (SequenceA to0 a0) # | |
|
type PowType Dyadic (SequenceA to0 a0) # | |
|
type PowTypeNoCN Int (SequenceA to0 a0) # | |
|
type PowTypeNoCN Integer (SequenceA to0 a0) # | |
|
type PowTypeNoCN Rational (SequenceA to0 a0) # | |
|
type PowTypeNoCN Dyadic (SequenceA to0 a0) # | |
|
type AddType Int (SequenceA to0 b0) # | |
|
type AddType Integer (SequenceA to0 b0) # | |
|
type AddType Rational (SequenceA to0 b0) # | |
|
type AddType Dyadic (SequenceA to0 b0) # | |
|
type SubType Int (SequenceA to0 b0) # | |
|
type SubType Integer (SequenceA to0 b0) # | |
|
type SubType Rational (SequenceA to0 b0) # | |
|
type SubType Dyadic (SequenceA to0 b0) # | |
|
type MinMaxType Int (SequenceA to0 b0) # | |
|
type MinMaxType Integer (SequenceA to0 b0) # | |
|
type MinMaxType Rational (SequenceA to0 b0) # | |
|
type MinMaxType Dyadic (SequenceA to0 b0) # | |
|
type OrderCompareType Int (SequenceA to0 a0) # | |
|
type OrderCompareType Integer (SequenceA to0 a0) # | |
|
type OrderCompareType Rational (SequenceA to0 a0) # | |
|
type OrderCompareType Dyadic (SequenceA to0 a0) # | |
|
type EqCompareType Int (SequenceA to0 a0) # | |
|
type EqCompareType Integer (SequenceA to0 a0) # | |
|
type EqCompareType Rational (SequenceA to0 a0) # | |
|
type EqCompareType Dyadic (SequenceA to0 a0) # | |
|
type EnsureNoCE es (SequenceA to a) # | |
|
type EnsureCE es (SequenceA to a) # | |
|
type LimitType Rational (CauchyReal -> CauchyRealCN) Source # | |
|
type DivType Int (WithGlobalParamA to0 prm0 b0) # | |
|
type DivType Integer (WithGlobalParamA to0 prm0 b0) # | |
|
type DivType Rational (WithGlobalParamA to0 prm0 b0) # | |
|
type DivType Dyadic (WithGlobalParamA to0 prm0 b0) # | |
|
type DivTypeNoCN Int (WithGlobalParamA to0 prm0 b0) # | |
|
type DivTypeNoCN Integer (WithGlobalParamA to0 prm0 b0) # | |
|
type DivTypeNoCN Rational (WithGlobalParamA to0 prm0 b0) # | |
|
type DivTypeNoCN Dyadic (WithGlobalParamA to0 prm0 b0) # | |
|
type MulType Int (WithGlobalParamA to0 prm0 b0) # | |
|
type MulType Integer (WithGlobalParamA to0 prm0 b0) # | |
|
type MulType Rational (WithGlobalParamA to0 prm0 b0) # | |
|
type MulType Dyadic (WithGlobalParamA to0 prm0 b0) # | |
|
type PowType Int (WithGlobalParamA to0 prm0 a0) # | |
|
type PowType Integer (WithGlobalParamA to0 prm0 a0) # | |
|
type PowType Rational (WithGlobalParamA to0 prm0 a0) # | |
|
type PowType Dyadic (WithGlobalParamA to0 prm0 a0) # | |
|
type PowTypeNoCN Int (WithGlobalParamA to0 prm0 a0) # | |
|
type PowTypeNoCN Integer (WithGlobalParamA to0 prm0 a0) # | |
|
type PowTypeNoCN Rational (WithGlobalParamA to0 prm0 a0) # | |
|
type PowTypeNoCN Dyadic (WithGlobalParamA to0 prm0 a0) # | |
|
type AddType Int (WithGlobalParamA to0 prm0 b0) # | |
|
type AddType Integer (WithGlobalParamA to0 prm0 b0) # | |
|
type AddType Rational (WithGlobalParamA to0 prm0 b0) # | |
|
type AddType Dyadic (WithGlobalParamA to0 prm0 b0) # | |
|
type SubType Int (WithGlobalParamA to0 prm0 b0) # | |
|
type SubType Integer (WithGlobalParamA to0 prm0 b0) # | |
|
type SubType Rational (WithGlobalParamA to0 prm0 b0) # | |
|
type SubType Dyadic (WithGlobalParamA to0 prm0 b0) # | |
|
type MinMaxType Int (WithGlobalParamA to0 prm0 b0) # | |
|
type MinMaxType Integer (WithGlobalParamA to0 prm0 b0) # | |
|
type MinMaxType Rational (WithGlobalParamA to0 prm0 b0) # | |
|
type MinMaxType Dyadic (WithGlobalParamA to0 prm0 b0) # | |
|
type OrderCompareType Int (WithGlobalParamA to0 prm0 a0) # | |
|
type OrderCompareType Integer (WithGlobalParamA to0 prm0 a0) # | |
|
type OrderCompareType Rational (WithGlobalParamA to0 prm0 a0) # | |
|
type OrderCompareType Dyadic (WithGlobalParamA to0 prm0 a0) # | |
|
type EqCompareType Int (WithGlobalParamA to0 prm0 a0) # | |
|
type EqCompareType Integer (WithGlobalParamA to0 prm0 a0) # | |
|
type EqCompareType Rational (WithGlobalParamA to0 prm0 a0) # | |
|
type EqCompareType Dyadic (WithGlobalParamA to0 prm0 a0) # | |
|
type EnsureNoCE es (WithGlobalParamA to prm a) # | |
|
type EnsureCE es (WithGlobalParamA to prm a) # | |
|
type DivType (Sequence a) MPBall # | |
|
type DivTypeNoCN (Sequence a) MPBall # | |
|
type MulType (Sequence a) MPBall # | |
|
type PowType (Sequence a) MPBall # | |
|
type PowTypeNoCN (Sequence a) MPBall # | |
|
type AddType (Sequence a) MPBall # | |
|
type SubType (Sequence a) MPBall # | |
|
type MinMaxType (Sequence a) MPBall # | |
|
type MulType (Complex t) (CauchyRealA to) # | |
|
type MulType (CauchyRealA to) (Complex t) # | |
|
type AddType (Complex t) (CauchyRealA to) # | |
|
type AddType (CauchyRealA to) (Complex t) # | |
|
type SubType (Complex t) (CauchyRealA to) # | |
|
type SubType (CauchyRealA to) (Complex t) # | |
|
type SqrtType (SequenceA to a) # | |
|
type ExpType (SequenceA to a) # | |
|
type LogType (SequenceA to a) # | |
|
type SinCosType (SequenceA to a) # | |
|
type AbsType (SequenceA to a) # | |
|
type NegType (SequenceA to a) # | |
|
type DivType (SequenceA to0 a0) Dyadic # | |
|
type DivType (SequenceA to0 a0) Rational # | |
|
type DivType (SequenceA to0 a0) Int # | |
|
type DivType (SequenceA to0 a0) Integer # | |
|
type DivTypeNoCN (SequenceA to0 a0) Dyadic # | |
|
type DivTypeNoCN (SequenceA to0 a0) Rational # | |
|
type DivTypeNoCN (SequenceA to0 a0) Int # | |
|
type DivTypeNoCN (SequenceA to0 a0) Integer # | |
|
type MulType (SequenceA to0 a0) Dyadic # | |
|
type MulType (SequenceA to0 a0) Rational # | |
|
type MulType (SequenceA to0 a0) Int # | |
|
type MulType (SequenceA to0 a0) Integer # | |
|
type PowType (SequenceA to0 a0) Rational # | |
|
type PowType (SequenceA to0 a0) Dyadic # | |
|
type PowType (SequenceA to0 a0) Int # | |
|
type PowType (SequenceA to0 a0) Integer # | |
|
type PowTypeNoCN (SequenceA to0 a0) Rational # | |
|
type PowTypeNoCN (SequenceA to0 a0) Dyadic # | |
|
type PowTypeNoCN (SequenceA to0 a0) Int # | |
|
type PowTypeNoCN (SequenceA to0 a0) Integer # | |
|
type AddType (SequenceA to0 a0) Dyadic # | |
|
type AddType (SequenceA to0 a0) Rational # | |
|
type AddType (SequenceA to0 a0) Int # | |
|
type AddType (SequenceA to0 a0) Integer # | |
|
type SubType (SequenceA to0 a0) Dyadic # | |
|
type SubType (SequenceA to0 a0) Rational # | |
|
type SubType (SequenceA to0 a0) Int # | |
|
type SubType (SequenceA to0 a0) Integer # | |
|
type MinMaxType (SequenceA to0 a0) Dyadic # | |
|
type MinMaxType (SequenceA to0 a0) Rational # | |
|
type MinMaxType (SequenceA to0 a0) Int # | |
|
type MinMaxType (SequenceA to0 a0) Integer # | |
|
type OrderCompareType (SequenceA to0 a0) Dyadic # | |
|
type OrderCompareType (SequenceA to0 a0) Rational # | |
|
type OrderCompareType (SequenceA to0 a0) Int # | |
|
type OrderCompareType (SequenceA to0 a0) Integer # | |
|
type EqCompareType (SequenceA to0 a0) Dyadic # | |
|
type EqCompareType (SequenceA to0 a0) Rational # | |
|
type EqCompareType (SequenceA to0 a0) Int # | |
|
type EqCompareType (SequenceA to0 a0) Integer # | |
|
type DivType (CollectErrors es a) (SequenceA to b) # | |
|
type DivType (SequenceA to a) (CollectErrors es b) # | |
|
type DivType (SequenceA to a) (SequenceA to b) # | |
|
type DivTypeNoCN (CollectErrors es a) (SequenceA to b) # | |
|
type DivTypeNoCN (SequenceA to a) (CollectErrors es b) # | |
|
type DivTypeNoCN (SequenceA to a) (SequenceA to b) # | |
|
type MulType (CollectErrors es a) (SequenceA to b) # | |
|
type MulType (SequenceA to a) (CollectErrors es b) # | |
|
type MulType (SequenceA to a) (SequenceA to b) # | |
|
type PowType (CollectErrors es a) (SequenceA to b) # | |
|
type PowType (SequenceA to a) (CollectErrors es b) # | |
|
type PowType (SequenceA to a) (SequenceA to e) # | |
|
type PowTypeNoCN (CollectErrors es a) (SequenceA to b) # | |
|
type PowTypeNoCN (SequenceA to a) (CollectErrors es b) # | |
|
type PowTypeNoCN (SequenceA to a) (SequenceA to e) # | |
|
type AddType (CollectErrors es a) (SequenceA to b) # | |
|
type AddType (SequenceA to a) (SequenceA to b) # | |
|
type AddType (SequenceA to a) (CollectErrors es b) # | |
|
type SubType (CollectErrors es a) (SequenceA to b) # | |
|
type SubType (SequenceA to a) (SequenceA to b) # | |
|
type SubType (SequenceA to a) (CollectErrors es b) # | |
|
type MinMaxType (CollectErrors es a) (SequenceA to b) # | |
|
type MinMaxType (SequenceA to a) (CollectErrors es b) # | |
|
type MinMaxType (SequenceA to a) (SequenceA to b) # | |
|
type OrderCompareType (CollectErrors es a) (SequenceA to b) # | |
|
type OrderCompareType (SequenceA to a) (CollectErrors es b) # | |
|
type OrderCompareType (SequenceA to a) (SequenceA to b) # | |
|
type EqCompareType (CollectErrors es a) (SequenceA to b) # | |
|
type EqCompareType (SequenceA to a) (CollectErrors es b) # | |
|
type EqCompareType (SequenceA to a) (SequenceA to b) # | |
|
type AndOrType (SequenceA to a) (SequenceA to b) # | |
|
type IfThenElseType (SequenceA to b) (SequenceA to t) # | |
|
type DivType (CollectErrors es a) (WithGlobalParamA to prm b) # | |
|
type DivTypeNoCN (CollectErrors es a) (WithGlobalParamA to prm b) # | |
|
type MulType (CollectErrors es a) (WithGlobalParamA to prm b) # | |
|
type PowType (CollectErrors es a) (WithGlobalParamA to prm b) # | |
|
type PowTypeNoCN (CollectErrors es a) (WithGlobalParamA to prm b) # | |
|
type AddType (CollectErrors es a) (WithGlobalParamA to prm b) # | |
|
type SubType (CollectErrors es a) (WithGlobalParamA to prm b) # | |
|
type MinMaxType (CollectErrors es a) (WithGlobalParamA to prm b) # | |
|
type OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) # | |
|
type EqCompareType (CollectErrors es a) (WithGlobalParamA to prm b) # | |
|
type SqrtType (WithGlobalParamA to prm a) # | |
|
type ExpType (WithGlobalParamA to prm a) # | |
|
type LogType (WithGlobalParamA to prm a) # | |
|
type SinCosType (WithGlobalParamA to prm a) # | |
|
type AbsType (WithGlobalParamA to prm a) # | |
|
type NegType (WithGlobalParamA to prm a) # | |
|
type DivType (WithGlobalParamA to0 prm0 a0) Dyadic # | |
|
type DivType (WithGlobalParamA to0 prm0 a0) Rational # | |
|
type DivType (WithGlobalParamA to0 prm0 a0) Int # | |
|
type DivType (WithGlobalParamA to0 prm0 a0) Integer # | |
|
type DivTypeNoCN (WithGlobalParamA to0 prm0 a0) Dyadic # | |
|
type DivTypeNoCN (WithGlobalParamA to0 prm0 a0) Rational # | |
|
type DivTypeNoCN (WithGlobalParamA to0 prm0 a0) Int # | |
|
type DivTypeNoCN (WithGlobalParamA to0 prm0 a0) Integer # | |
|
type MulType (WithGlobalParamA to0 prm0 a0) Dyadic # | |
|
type MulType (WithGlobalParamA to0 prm0 a0) Rational # | |
|
type MulType (WithGlobalParamA to0 prm0 a0) Int # | |
|
type MulType (WithGlobalParamA to0 prm0 a0) Integer # | |
|
type PowType (WithGlobalParamA to0 prm0 a0) Rational # | |
|
type PowType (WithGlobalParamA to0 prm0 a0) Dyadic # | |
|
type PowType (WithGlobalParamA to0 prm0 a0) Int # | |
|
type PowType (WithGlobalParamA to0 prm0 a0) Integer # | |
|
type PowTypeNoCN (WithGlobalParamA to0 prm0 a0) Rational # | |
|
type PowTypeNoCN (WithGlobalParamA to0 prm0 a0) Dyadic # | |
|
type PowTypeNoCN (WithGlobalParamA to0 prm0 a0) Int # | |
|
type PowTypeNoCN (WithGlobalParamA to0 prm0 a0) Integer # | |
|
type AddType (WithGlobalParamA to0 prm0 a0) Dyadic # | |
|
type AddType (WithGlobalParamA to0 prm0 a0) Rational # | |
|
type AddType (WithGlobalParamA to0 prm0 a0) Int # | |
|
type AddType (WithGlobalParamA to0 prm0 a0) Integer # | |
|
type SubType (WithGlobalParamA to0 prm0 a0) Dyadic # | |
|
type SubType (WithGlobalParamA to0 prm0 a0) Rational # | |
|
type SubType (WithGlobalParamA to0 prm0 a0) Int # | |
|
type SubType (WithGlobalParamA to0 prm0 a0) Integer # | |
|
type MinMaxType (WithGlobalParamA to0 prm0 a0) Dyadic # | |
|
type MinMaxType (WithGlobalParamA to0 prm0 a0) Rational # | |
|
type MinMaxType (WithGlobalParamA to0 prm0 a0) Int # | |
|
type MinMaxType (WithGlobalParamA to0 prm0 a0) Integer # | |
|
type OrderCompareType (WithGlobalParamA to0 prm0 a0) Dyadic # | |
|
type OrderCompareType (WithGlobalParamA to0 prm0 a0) Rational # | |
|
type OrderCompareType (WithGlobalParamA to0 prm0 a0) Int # | |
|
type OrderCompareType (WithGlobalParamA to0 prm0 a0) Integer # | |
|
type EqCompareType (WithGlobalParamA to0 prm0 a0) Dyadic # | |
|
type EqCompareType (WithGlobalParamA to0 prm0 a0) Rational # | |
|
type EqCompareType (WithGlobalParamA to0 prm0 a0) Int # | |
|
type EqCompareType (WithGlobalParamA to0 prm0 a0) Integer # | |
|
type DivType (WithGlobalParamA to prm a) (CollectErrors es b) # | |
|
type DivTypeNoCN (WithGlobalParamA to prm a) (CollectErrors es b) # | |
|
type MulType (WithGlobalParamA to prm a) (CollectErrors es b) # | |
|
type PowType (WithGlobalParamA to prm a) (CollectErrors es b) # | |
|
type PowTypeNoCN (WithGlobalParamA to prm a) (CollectErrors es b) # | |
|
type AddType (WithGlobalParamA to prm a) (CollectErrors es b) # | |
|
type SubType (WithGlobalParamA to prm a) (CollectErrors es b) # | |
|
type MinMaxType (WithGlobalParamA to prm a) (CollectErrors es b) # | |
|
type OrderCompareType (WithGlobalParamA to prm a) (CollectErrors es b) # | |
|
type EqCompareType (WithGlobalParamA to prm a) (CollectErrors es b) # | |
|
type DivType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # | |
|
type DivTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # | |
|
type MulType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # | |
|
type PowType (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) # | |
|
type PowTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) # | |
|
type AddType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # | |
|
type SubType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # | |
|
type MinMaxType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # | |
|
type OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # | |
|
type EqCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # | |
|
type AndOrType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # | |
|
type IfThenElseType (WithGlobalParamA to prm b) (WithGlobalParamA to prm t) # | |
|