Functor SequenceP Source # | |
|
HasLimits Rational CauchyReal Source # | |
|
(SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (SequenceP a) Source # | |
|
HasLimits Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) Source # | |
|
(QAArrow to0, ConvertibleExactly Int a0, CanSetPrecision a0, SuitableForSeq a0) => ConvertibleExactly Int (SequenceA to0 a0) Source # | |
|
(QAArrow to0, ConvertibleExactly Integer a0, CanSetPrecision a0, SuitableForSeq a0) => ConvertibleExactly Integer (SequenceA to0 a0) Source # | |
|
(QAArrow to, ConvertibleWithPrecision Rational a, CanSetPrecision a, SuitableForSeq a) => ConvertibleExactly Rational (SequenceA to a) Source # | |
|
(QAArrow to0, ConvertibleExactly Dyadic a0, CanSetPrecision a0, SuitableForSeq a0) => ConvertibleExactly Dyadic (SequenceA to0 a0) Source # | |
|
(Arrow to, SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (SequenceA to a) Source # | |
|
HasLimits Rational (CauchyReal -> CauchyRealCN) Source # | |
|
Show a => Show (Sequence a) Source # | |
|
Show a => Show (SequenceP a) Source # | |
|
SuitableForSeq a => QAProtocolCacheable (SequenceP a) Source # | |
|
Show a => QAProtocol (SequenceP a) 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 EnsureNoCE es (SequenceP a) Source # | |
|
type EnsureCE es (SequenceP a) Source # | |
|
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) Source # | |
|
type EnsureCE es (SequenceA to a) Source # | |
|
type LimitType Rational (CauchyReal -> CauchyRealCN) Source # | |
|
type QACache (SequenceP a) Source # | |
|
type Q (SequenceP a) Source # | |
|
type A (SequenceP a) Source # | |
|
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) # | |
|