Copyright	(c) Michal Konecny
License	BSD3
Maintainer	mikkonecny@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell98

AERN2.Sequence.Type

Description

The type of fast convergent sequences

Synopsis

Documentation

data SequenceP a Source #

Constructors

SequenceP
Fields unSequenceP :: a

Instances

Functor SequenceP Source #
Methods fmap :: (a -> b) -> SequenceP a -> SequenceP b # (<$) :: a -> SequenceP b -> SequenceP a #
HasLimits Rational CauchyReal Source #
Associated Types type LimitType Rational CauchyReal :: * Source # Methods limit :: (Rational -> CauchyReal) -> LimitType Rational CauchyReal Source #
(SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (SequenceP a) Source #
Associated Types type EnsureCE es (SequenceP a) :: * # type EnsureNoCE es (SequenceP a) :: * # Methods ensureCE :: Maybe es -> SequenceP a -> EnsureCE es (SequenceP a) # deEnsureCE :: Maybe es -> EnsureCE es (SequenceP a) -> Either es (SequenceP a) # ensureNoCE :: Maybe es -> SequenceP a -> (Maybe (EnsureNoCE es (SequenceP a)), es) # noValueECE :: Maybe (SequenceP a) -> es -> EnsureCE es (SequenceP a) # prependErrorsECE :: Maybe (SequenceP a) -> es -> EnsureCE es (SequenceP a) -> EnsureCE es (SequenceP a) #
HasLimits Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) Source #
Associated Types type LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) :: * Source # Methods limit :: (Rational -> WithLipschitz (CauchyReal -> CauchyRealCN)) -> LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) Source #
(QAArrow to0, ConvertibleExactly Int a0, CanSetPrecision a0, SuitableForSeq a0) => ConvertibleExactly Int (SequenceA to0 a0) Source #
Methods safeConvertExactly :: Int -> ConvertResult (SequenceA to0 a0) #
(QAArrow to0, ConvertibleExactly Integer a0, CanSetPrecision a0, SuitableForSeq a0) => ConvertibleExactly Integer (SequenceA to0 a0) Source #
Methods safeConvertExactly :: Integer -> ConvertResult (SequenceA to0 a0) #
(QAArrow to, ConvertibleWithPrecision Rational a, CanSetPrecision a, SuitableForSeq a) => ConvertibleExactly Rational (SequenceA to a) Source #
Methods safeConvertExactly :: Rational -> ConvertResult (SequenceA to a) #
(QAArrow to0, ConvertibleExactly Dyadic a0, CanSetPrecision a0, SuitableForSeq a0) => ConvertibleExactly Dyadic (SequenceA to0 a0) Source #
Methods safeConvertExactly :: Dyadic -> ConvertResult (SequenceA to0 a0) #
(Arrow to, SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (SequenceA to a) Source #
Associated Types type EnsureCE es (SequenceA to a) :: * # type EnsureNoCE es (SequenceA to a) :: * # Methods ensureCE :: Maybe es -> SequenceA to a -> EnsureCE es (SequenceA to a) # deEnsureCE :: Maybe es -> EnsureCE es (SequenceA to a) -> Either es (SequenceA to a) # ensureNoCE :: Maybe es -> SequenceA to a -> (Maybe (EnsureNoCE es (SequenceA to a)), es) # noValueECE :: Maybe (SequenceA to a) -> es -> EnsureCE es (SequenceA to a) # prependErrorsECE :: Maybe (SequenceA to a) -> es -> EnsureCE es (SequenceA to a) -> EnsureCE es (SequenceA to a) #
HasLimits Rational (CauchyReal -> CauchyRealCN) Source #
Associated Types type LimitType Rational (CauchyReal -> CauchyRealCN) :: * Source # Methods limit :: (Rational -> CauchyReal -> CauchyRealCN) -> LimitType Rational (CauchyReal -> CauchyRealCN) Source #
Show a => Show (Sequence a) Source #
Methods showsPrec :: Int -> Sequence a -> ShowS # show :: Sequence a -> String # showList :: [Sequence a] -> ShowS #
Show a => Show (SequenceP a) Source #
Methods showsPrec :: Int -> SequenceP a -> ShowS # show :: SequenceP a -> String # showList :: [SequenceP a] -> ShowS #
SuitableForSeq a => QAProtocolCacheable (SequenceP a) Source #
Associated Types type QACache (SequenceP a) :: * Source # Methods newQACache :: SequenceP a -> QACache (SequenceP a) Source # lookupQACache :: SequenceP a -> QACache (SequenceP a) -> Q (SequenceP a) -> (Maybe (A (SequenceP a)), Maybe String) Source # updateQACache :: SequenceP a -> Q (SequenceP a) -> A (SequenceP a) -> QACache (SequenceP a) -> QACache (SequenceP a) Source #
Show a => QAProtocol (SequenceP a) Source #
Associated Types type Q (SequenceP a) :: * Source # type A (SequenceP a) :: * Source #
type DivType Double CauchyReal #
type DivType Double CauchyReal = Double
type DivType CauchyReal Double #
type DivType CauchyReal Double = Double
type DivTypeNoCN Double CauchyReal #
type DivTypeNoCN Double CauchyReal = Double
type DivTypeNoCN CauchyReal Double #
type DivTypeNoCN CauchyReal Double = Double
type MulType Double CauchyReal #
type MulType Double CauchyReal = Double
type MulType CauchyReal Double #
type MulType CauchyReal Double = Double
type PowType Double CauchyReal #
type PowType Double CauchyReal = Double
type PowType CauchyReal Double #
type PowType CauchyReal Double = Double
type PowTypeNoCN Double CauchyReal #
type PowTypeNoCN Double CauchyReal = Double
type PowTypeNoCN CauchyReal Double #
type PowTypeNoCN CauchyReal Double = Double
type AddType Double CauchyReal #
type AddType Double CauchyReal = Double
type AddType CauchyReal Double #
type AddType CauchyReal Double = Double
type SubType Double CauchyReal #
type SubType Double CauchyReal = Double
type SubType CauchyReal Double #
type SubType CauchyReal Double = Double
type LimitType Rational CauchyReal Source #
type LimitType Rational CauchyReal = CauchyReal
type DivType MPBall (Sequence b) #
type DivType MPBall (Sequence b) = DivType MPBall b
type DivTypeNoCN MPBall (Sequence b) #
type DivTypeNoCN MPBall (Sequence b) = DivTypeNoCN MPBall b
type MulType MPBall (Sequence b) #
type MulType MPBall (Sequence b) = MulType MPBall b
type PowType MPBall (Sequence e) #
type PowType MPBall (Sequence e) = PowType MPBall e
type PowTypeNoCN MPBall (Sequence e) #
type PowTypeNoCN MPBall (Sequence e) = PowTypeNoCN MPBall e
type AddType MPBall (Sequence b) #
type AddType MPBall (Sequence b) = AddType MPBall b
type SubType MPBall (Sequence b) #
type SubType MPBall (Sequence b) = SubType MPBall b
type MinMaxType MPBall (Sequence b) #
type MinMaxType MPBall (Sequence b) = MinMaxType MPBall b
type EnsureNoCE es (SequenceP a) Source #
type EnsureNoCE es (SequenceP a) = SequenceP (EnsureNoCE es a)
type EnsureCE es (SequenceP a) Source #
type EnsureCE es (SequenceP a) = SequenceP (EnsureCE es a)
type LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) Source #
type LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) = CauchyReal -> CauchyRealCN
type DivType Int (SequenceA to0 b0) #
type DivType Int (SequenceA to0 b0) = SequenceA to0 (DivType Int b0)
type DivType Integer (SequenceA to0 b0) #
type DivType Integer (SequenceA to0 b0) = SequenceA to0 (DivType Integer b0)
type DivType Rational (SequenceA to0 b0) #
type DivType Rational (SequenceA to0 b0) = SequenceA to0 (DivType Rational b0)
type DivType Dyadic (SequenceA to0 b0) #
type DivType Dyadic (SequenceA to0 b0) = SequenceA to0 (DivType Dyadic b0)
type DivTypeNoCN Int (SequenceA to0 b0) #
type DivTypeNoCN Int (SequenceA to0 b0) = SequenceA to0 (DivTypeNoCN Int b0)
type DivTypeNoCN Integer (SequenceA to0 b0) #
type DivTypeNoCN Integer (SequenceA to0 b0) = SequenceA to0 (DivTypeNoCN Integer b0)
type DivTypeNoCN Rational (SequenceA to0 b0) #
type DivTypeNoCN Rational (SequenceA to0 b0) = SequenceA to0 (DivTypeNoCN Rational b0)
type DivTypeNoCN Dyadic (SequenceA to0 b0) #
type DivTypeNoCN Dyadic (SequenceA to0 b0) = SequenceA to0 (DivTypeNoCN Dyadic b0)
type MulType Int (SequenceA to0 b0) #
type MulType Int (SequenceA to0 b0) = SequenceA to0 (MulType Int b0)
type MulType Integer (SequenceA to0 b0) #
type MulType Integer (SequenceA to0 b0) = SequenceA to0 (MulType Integer b0)
type MulType Rational (SequenceA to0 b0) #
type MulType Rational (SequenceA to0 b0) = SequenceA to0 (MulType Rational b0)
type MulType Dyadic (SequenceA to0 b0) #
type MulType Dyadic (SequenceA to0 b0) = SequenceA to0 (MulType Dyadic b0)
type PowType Int (SequenceA to0 a0) #
type PowType Int (SequenceA to0 a0) = SequenceA to0 (PowType Int a0)
type PowType Integer (SequenceA to0 a0) #
type PowType Integer (SequenceA to0 a0) = SequenceA to0 (PowType Integer a0)
type PowType Rational (SequenceA to0 a0) #
type PowType Rational (SequenceA to0 a0) = SequenceA to0 (PowType Rational a0)
type PowType Dyadic (SequenceA to0 a0) #
type PowType Dyadic (SequenceA to0 a0) = SequenceA to0 (PowType Dyadic a0)
type PowTypeNoCN Int (SequenceA to0 a0) #
type PowTypeNoCN Int (SequenceA to0 a0) = SequenceA to0 (PowTypeNoCN Int a0)
type PowTypeNoCN Integer (SequenceA to0 a0) #
type PowTypeNoCN Integer (SequenceA to0 a0) = SequenceA to0 (PowTypeNoCN Integer a0)
type PowTypeNoCN Rational (SequenceA to0 a0) #
type PowTypeNoCN Rational (SequenceA to0 a0) = SequenceA to0 (PowTypeNoCN Rational a0)
type PowTypeNoCN Dyadic (SequenceA to0 a0) #
type PowTypeNoCN Dyadic (SequenceA to0 a0) = SequenceA to0 (PowTypeNoCN Dyadic a0)
type AddType Int (SequenceA to0 b0) #
type AddType Int (SequenceA to0 b0) = SequenceA to0 (AddType Int b0)
type AddType Integer (SequenceA to0 b0) #
type AddType Integer (SequenceA to0 b0) = SequenceA to0 (AddType Integer b0)
type AddType Rational (SequenceA to0 b0) #
type AddType Rational (SequenceA to0 b0) = SequenceA to0 (AddType Rational b0)
type AddType Dyadic (SequenceA to0 b0) #
type AddType Dyadic (SequenceA to0 b0) = SequenceA to0 (AddType Dyadic b0)
type SubType Int (SequenceA to0 b0) #
type SubType Int (SequenceA to0 b0) = SequenceA to0 (SubType Int b0)
type SubType Integer (SequenceA to0 b0) #
type SubType Integer (SequenceA to0 b0) = SequenceA to0 (SubType Integer b0)
type SubType Rational (SequenceA to0 b0) #
type SubType Rational (SequenceA to0 b0) = SequenceA to0 (SubType Rational b0)
type SubType Dyadic (SequenceA to0 b0) #
type SubType Dyadic (SequenceA to0 b0) = SequenceA to0 (SubType Dyadic b0)
type MinMaxType Int (SequenceA to0 b0) #
type MinMaxType Int (SequenceA to0 b0) = SequenceA to0 (MinMaxType Int b0)
type MinMaxType Integer (SequenceA to0 b0) #
type MinMaxType Integer (SequenceA to0 b0) = SequenceA to0 (MinMaxType Integer b0)
type MinMaxType Rational (SequenceA to0 b0) #
type MinMaxType Rational (SequenceA to0 b0) = SequenceA to0 (MinMaxType Rational b0)
type MinMaxType Dyadic (SequenceA to0 b0) #
type MinMaxType Dyadic (SequenceA to0 b0) = SequenceA to0 (MinMaxType Dyadic b0)
type OrderCompareType Int (SequenceA to0 a0) #
type OrderCompareType Int (SequenceA to0 a0) = SequenceA to0 (OrderCompareType Int a0)
type OrderCompareType Integer (SequenceA to0 a0) #
type OrderCompareType Integer (SequenceA to0 a0) = SequenceA to0 (OrderCompareType Integer a0)
type OrderCompareType Rational (SequenceA to0 a0) #
type OrderCompareType Rational (SequenceA to0 a0) = SequenceA to0 (OrderCompareType Rational a0)
type OrderCompareType Dyadic (SequenceA to0 a0) #
type OrderCompareType Dyadic (SequenceA to0 a0) = SequenceA to0 (OrderCompareType Dyadic a0)
type EqCompareType Int (SequenceA to0 a0) #
type EqCompareType Int (SequenceA to0 a0) = SequenceA to0 (EqCompareType Int a0)
type EqCompareType Integer (SequenceA to0 a0) #
type EqCompareType Integer (SequenceA to0 a0) = SequenceA to0 (EqCompareType Integer a0)
type EqCompareType Rational (SequenceA to0 a0) #
type EqCompareType Rational (SequenceA to0 a0) = SequenceA to0 (EqCompareType Rational a0)
type EqCompareType Dyadic (SequenceA to0 a0) #
type EqCompareType Dyadic (SequenceA to0 a0) = SequenceA to0 (EqCompareType Dyadic a0)
type EnsureNoCE es (SequenceA to a) Source #
type EnsureNoCE es (SequenceA to a) = SequenceA to (EnsureNoCE es a)
type EnsureCE es (SequenceA to a) Source #
type EnsureCE es (SequenceA to a) = SequenceA to (EnsureCE es a)
type LimitType Rational (CauchyReal -> CauchyRealCN) Source #
type LimitType Rational (CauchyReal -> CauchyRealCN) = CauchyReal -> CauchyRealCN
type QACache (SequenceP a) Source #
type QACache (SequenceP a) = Maybe (a, AccuracySG)
type Q (SequenceP a) Source #
type Q (SequenceP a) = AccuracySG
type A (SequenceP a) Source #
type A (SequenceP a) = a
type DivType (Sequence a) MPBall #
type DivType (Sequence a) MPBall = DivType a MPBall
type DivTypeNoCN (Sequence a) MPBall #
type DivTypeNoCN (Sequence a) MPBall = DivTypeNoCN a MPBall
type MulType (Sequence a) MPBall #
type MulType (Sequence a) MPBall = MulType a MPBall
type PowType (Sequence a) MPBall #
type PowType (Sequence a) MPBall = PowType a MPBall
type PowTypeNoCN (Sequence a) MPBall #
type PowTypeNoCN (Sequence a) MPBall = PowTypeNoCN a MPBall
type AddType (Sequence a) MPBall #
type AddType (Sequence a) MPBall = AddType a MPBall
type SubType (Sequence a) MPBall #
type SubType (Sequence a) MPBall = SubType a MPBall
type MinMaxType (Sequence a) MPBall #
type MinMaxType (Sequence a) MPBall = MinMaxType a MPBall
type MulType (Complex t) (CauchyRealA to) #
type MulType (Complex t) (CauchyRealA to) = Complex (MulType t (CauchyRealA to))
type MulType (CauchyRealA to) (Complex t) #
type MulType (CauchyRealA to) (Complex t) = Complex (MulType (CauchyRealA to) t)
type AddType (Complex t) (CauchyRealA to) #
type AddType (Complex t) (CauchyRealA to) = Complex (AddType t (CauchyRealA to))
type AddType (CauchyRealA to) (Complex t) #
type AddType (CauchyRealA to) (Complex t) = Complex (AddType (CauchyRealA to) t)
type SubType (Complex t) (CauchyRealA to) #
type SubType (Complex t) (CauchyRealA to) = AddType (Complex t) (NegType (CauchyRealA to))
type SubType (CauchyRealA to) (Complex t) #
type SubType (CauchyRealA to) (Complex t) = AddType (CauchyRealA to) (NegType (Complex t))
type SqrtType (SequenceA to a) #
type SqrtType (SequenceA to a) = SequenceA to (SqrtType a)
type ExpType (SequenceA to a) #
type ExpType (SequenceA to a) = SequenceA to (ExpType a)
type LogType (SequenceA to a) #
type LogType (SequenceA to a) = SequenceA to (LogType a)
type SinCosType (SequenceA to a) #
type SinCosType (SequenceA to a) = SequenceA to (SinCosType a)
type AbsType (SequenceA to a) #
type AbsType (SequenceA to a) = SequenceA to (AbsType a)
type NegType (SequenceA to a) #
type NegType (SequenceA to a) = SequenceA to (NegType a)
type DivType (SequenceA to0 a0) Dyadic #
type DivType (SequenceA to0 a0) Dyadic = SequenceA to0 (DivType a0 Dyadic)
type DivType (SequenceA to0 a0) Rational #
type DivType (SequenceA to0 a0) Rational = SequenceA to0 (DivType a0 Rational)
type DivType (SequenceA to0 a0) Int #
type DivType (SequenceA to0 a0) Int = SequenceA to0 (DivType a0 Int)
type DivType (SequenceA to0 a0) Integer #
type DivType (SequenceA to0 a0) Integer = SequenceA to0 (DivType a0 Integer)
type DivTypeNoCN (SequenceA to0 a0) Dyadic #
type DivTypeNoCN (SequenceA to0 a0) Dyadic = SequenceA to0 (DivTypeNoCN a0 Dyadic)
type DivTypeNoCN (SequenceA to0 a0) Rational #
type DivTypeNoCN (SequenceA to0 a0) Rational = SequenceA to0 (DivTypeNoCN a0 Rational)
type DivTypeNoCN (SequenceA to0 a0) Int #
type DivTypeNoCN (SequenceA to0 a0) Int = SequenceA to0 (DivTypeNoCN a0 Int)
type DivTypeNoCN (SequenceA to0 a0) Integer #
type DivTypeNoCN (SequenceA to0 a0) Integer = SequenceA to0 (DivTypeNoCN a0 Integer)
type MulType (SequenceA to0 a0) Dyadic #
type MulType (SequenceA to0 a0) Dyadic = SequenceA to0 (MulType a0 Dyadic)
type MulType (SequenceA to0 a0) Rational #
type MulType (SequenceA to0 a0) Rational = SequenceA to0 (MulType a0 Rational)
type MulType (SequenceA to0 a0) Int #
type MulType (SequenceA to0 a0) Int = SequenceA to0 (MulType a0 Int)
type MulType (SequenceA to0 a0) Integer #
type MulType (SequenceA to0 a0) Integer = SequenceA to0 (MulType a0 Integer)
type PowType (SequenceA to0 a0) Rational #
type PowType (SequenceA to0 a0) Rational = SequenceA to0 (PowType a0 Rational)
type PowType (SequenceA to0 a0) Dyadic #
type PowType (SequenceA to0 a0) Dyadic = SequenceA to0 (PowType a0 Dyadic)
type PowType (SequenceA to0 a0) Int #
type PowType (SequenceA to0 a0) Int = SequenceA to0 (PowType a0 Int)
type PowType (SequenceA to0 a0) Integer #
type PowType (SequenceA to0 a0) Integer = SequenceA to0 (PowType a0 Integer)
type PowTypeNoCN (SequenceA to0 a0) Rational #
type PowTypeNoCN (SequenceA to0 a0) Rational = SequenceA to0 (PowTypeNoCN a0 Rational)
type PowTypeNoCN (SequenceA to0 a0) Dyadic #
type PowTypeNoCN (SequenceA to0 a0) Dyadic = SequenceA to0 (PowTypeNoCN a0 Dyadic)
type PowTypeNoCN (SequenceA to0 a0) Int #
type PowTypeNoCN (SequenceA to0 a0) Int = SequenceA to0 (PowTypeNoCN a0 Int)
type PowTypeNoCN (SequenceA to0 a0) Integer #
type PowTypeNoCN (SequenceA to0 a0) Integer = SequenceA to0 (PowTypeNoCN a0 Integer)
type AddType (SequenceA to0 a0) Dyadic #
type AddType (SequenceA to0 a0) Dyadic = SequenceA to0 (AddType a0 Dyadic)
type AddType (SequenceA to0 a0) Rational #
type AddType (SequenceA to0 a0) Rational = SequenceA to0 (AddType a0 Rational)
type AddType (SequenceA to0 a0) Int #
type AddType (SequenceA to0 a0) Int = SequenceA to0 (AddType a0 Int)
type AddType (SequenceA to0 a0) Integer #
type AddType (SequenceA to0 a0) Integer = SequenceA to0 (AddType a0 Integer)
type SubType (SequenceA to0 a0) Dyadic #
type SubType (SequenceA to0 a0) Dyadic = SequenceA to0 (SubType a0 Dyadic)
type SubType (SequenceA to0 a0) Rational #
type SubType (SequenceA to0 a0) Rational = SequenceA to0 (SubType a0 Rational)
type SubType (SequenceA to0 a0) Int #
type SubType (SequenceA to0 a0) Int = SequenceA to0 (SubType a0 Int)
type SubType (SequenceA to0 a0) Integer #
type SubType (SequenceA to0 a0) Integer = SequenceA to0 (SubType a0 Integer)
type MinMaxType (SequenceA to0 a0) Dyadic #
type MinMaxType (SequenceA to0 a0) Dyadic = SequenceA to0 (MinMaxType a0 Dyadic)
type MinMaxType (SequenceA to0 a0) Rational #
type MinMaxType (SequenceA to0 a0) Rational = SequenceA to0 (MinMaxType a0 Rational)
type MinMaxType (SequenceA to0 a0) Int #
type MinMaxType (SequenceA to0 a0) Int = SequenceA to0 (MinMaxType a0 Int)
type MinMaxType (SequenceA to0 a0) Integer #
type MinMaxType (SequenceA to0 a0) Integer = SequenceA to0 (MinMaxType a0 Integer)
type OrderCompareType (SequenceA to0 a0) Dyadic #
type OrderCompareType (SequenceA to0 a0) Dyadic = SequenceA to0 (OrderCompareType a0 Dyadic)
type OrderCompareType (SequenceA to0 a0) Rational #
type OrderCompareType (SequenceA to0 a0) Rational = SequenceA to0 (OrderCompareType a0 Rational)
type OrderCompareType (SequenceA to0 a0) Int #
type OrderCompareType (SequenceA to0 a0) Int = SequenceA to0 (OrderCompareType a0 Int)
type OrderCompareType (SequenceA to0 a0) Integer #
type OrderCompareType (SequenceA to0 a0) Integer = SequenceA to0 (OrderCompareType a0 Integer)
type EqCompareType (SequenceA to0 a0) Dyadic #
type EqCompareType (SequenceA to0 a0) Dyadic = SequenceA to0 (EqCompareType a0 Dyadic)
type EqCompareType (SequenceA to0 a0) Rational #
type EqCompareType (SequenceA to0 a0) Rational = SequenceA to0 (EqCompareType a0 Rational)
type EqCompareType (SequenceA to0 a0) Int #
type EqCompareType (SequenceA to0 a0) Int = SequenceA to0 (EqCompareType a0 Int)
type EqCompareType (SequenceA to0 a0) Integer #
type EqCompareType (SequenceA to0 a0) Integer = SequenceA to0 (EqCompareType a0 Integer)
type DivType (CollectErrors es a) (SequenceA to b) #
type DivType (CollectErrors es a) (SequenceA to b) = EnsureCE es (DivType a (SequenceA to b))
type DivType (SequenceA to a) (CollectErrors es b) #
type DivType (SequenceA to a) (CollectErrors es b) = EnsureCE es (DivType (SequenceA to a) b)
type DivType (SequenceA to a) (SequenceA to b) #
type DivType (SequenceA to a) (SequenceA to b) = SequenceA to (DivType a b)
type DivTypeNoCN (CollectErrors es a) (SequenceA to b) #
type DivTypeNoCN (CollectErrors es a) (SequenceA to b) = EnsureCE es (DivTypeNoCN a (SequenceA to b))
type DivTypeNoCN (SequenceA to a) (CollectErrors es b) #
type DivTypeNoCN (SequenceA to a) (CollectErrors es b) = EnsureCE es (DivTypeNoCN (SequenceA to a) b)
type DivTypeNoCN (SequenceA to a) (SequenceA to b) #
type DivTypeNoCN (SequenceA to a) (SequenceA to b) = SequenceA to (DivTypeNoCN a b)
type MulType (CollectErrors es a) (SequenceA to b) #
type MulType (CollectErrors es a) (SequenceA to b) = EnsureCE es (MulType a (SequenceA to b))
type MulType (SequenceA to a) (CollectErrors es b) #
type MulType (SequenceA to a) (CollectErrors es b) = EnsureCE es (MulType (SequenceA to a) b)
type MulType (SequenceA to a) (SequenceA to b) #
type MulType (SequenceA to a) (SequenceA to b) = SequenceA to (MulType a b)
type PowType (CollectErrors es a) (SequenceA to b) #
type PowType (CollectErrors es a) (SequenceA to b) = EnsureCE es (PowType a (SequenceA to b))
type PowType (SequenceA to a) (CollectErrors es b) #
type PowType (SequenceA to a) (CollectErrors es b) = EnsureCE es (PowType (SequenceA to a) b)
type PowType (SequenceA to a) (SequenceA to e) #
type PowType (SequenceA to a) (SequenceA to e) = SequenceA to (PowType a e)
type PowTypeNoCN (CollectErrors es a) (SequenceA to b) #
type PowTypeNoCN (CollectErrors es a) (SequenceA to b) = EnsureCE es (PowTypeNoCN a (SequenceA to b))
type PowTypeNoCN (SequenceA to a) (CollectErrors es b) #
type PowTypeNoCN (SequenceA to a) (CollectErrors es b) = EnsureCE es (PowTypeNoCN (SequenceA to a) b)
type PowTypeNoCN (SequenceA to a) (SequenceA to e) #
type PowTypeNoCN (SequenceA to a) (SequenceA to e) = SequenceA to (PowTypeNoCN a e)
type AddType (CollectErrors es a) (SequenceA to b) #
type AddType (CollectErrors es a) (SequenceA to b) = EnsureCE es (AddType a (SequenceA to b))
type AddType (SequenceA to a) (SequenceA to b) #
type AddType (SequenceA to a) (SequenceA to b) = SequenceA to (AddType a b)
type AddType (SequenceA to a) (CollectErrors es b) #
type AddType (SequenceA to a) (CollectErrors es b) = EnsureCE es (AddType (SequenceA to a) b)
type SubType (CollectErrors es a) (SequenceA to b) #
type SubType (CollectErrors es a) (SequenceA to b) = EnsureCE es (SubType a (SequenceA to b))
type SubType (SequenceA to a) (SequenceA to b) #
type SubType (SequenceA to a) (SequenceA to b) = SequenceA to (SubType a b)
type SubType (SequenceA to a) (CollectErrors es b) #
type SubType (SequenceA to a) (CollectErrors es b) = EnsureCE es (SubType (SequenceA to a) b)
type MinMaxType (CollectErrors es a) (SequenceA to b) #
type MinMaxType (CollectErrors es a) (SequenceA to b) = EnsureCE es (MinMaxType a (SequenceA to b))
type MinMaxType (SequenceA to a) (CollectErrors es b) #
type MinMaxType (SequenceA to a) (CollectErrors es b) = EnsureCE es (MinMaxType (SequenceA to a) b)
type MinMaxType (SequenceA to a) (SequenceA to b) #
type MinMaxType (SequenceA to a) (SequenceA to b) = SequenceA to (MinMaxType a b)
type OrderCompareType (CollectErrors es a) (SequenceA to b) #
type OrderCompareType (CollectErrors es a) (SequenceA to b) = EnsureCE es (OrderCompareType a (SequenceA to b))
type OrderCompareType (SequenceA to a) (CollectErrors es b) #
type OrderCompareType (SequenceA to a) (CollectErrors es b) = EnsureCE es (OrderCompareType (SequenceA to a) b)
type OrderCompareType (SequenceA to a) (SequenceA to b) #
type OrderCompareType (SequenceA to a) (SequenceA to b) = SequenceA to (OrderCompareType a b)
type EqCompareType (CollectErrors es a) (SequenceA to b) #
type EqCompareType (CollectErrors es a) (SequenceA to b) = EnsureCE es (EqCompareType a (SequenceA to b))
type EqCompareType (SequenceA to a) (CollectErrors es b) #
type EqCompareType (SequenceA to a) (CollectErrors es b) = EnsureCE es (EqCompareType (SequenceA to a) b)
type EqCompareType (SequenceA to a) (SequenceA to b) #
type EqCompareType (SequenceA to a) (SequenceA to b) = SequenceA to (EqCompareType a b)
type AndOrType (SequenceA to a) (SequenceA to b) #
type AndOrType (SequenceA to a) (SequenceA to b) = SequenceA to (AndOrType a b)
type IfThenElseType (SequenceA to b) (SequenceA to t) #
type IfThenElseType (SequenceA to b) (SequenceA to t) = SequenceA to (IfThenElseType b t)

pSeq :: a -> SequenceP a Source #

type FastConvSeqP a = SequenceP a Source #

type EffortConvSeqP a = SequenceP a Source #

class (Show a, Show (EnsureNoCN a), Show (EnsureCN a), HasAccuracy a, CanAdjustToAccuracySG a, CanEnsureCN a, CanEnsureCN (EnsureCN a), HasAccuracy (EnsureNoCN a), CanIntersectCNSameType a) => SuitableForSeq a Source #

Instances

SuitableForSeq Bool Source #

SuitableForSeq MPBall Source #

SuitableForSeq t => SuitableForSeq (Maybe t) Source #

SuitableForSeq (CN Bool) Source #

SuitableForSeq (CN MPBall) Source #

seqName :: SequenceA to a -> String Source #

seqId :: SequenceA to a -> Maybe (QAId to) Source #

seqSources :: SequenceA to a -> [QAId to] Source #

seqRename :: (String -> String) -> SequenceA to a -> SequenceA to a Source #

seqWithAccuracy :: QAArrow to => SequenceA to a -> Maybe (QAId to) -> AccuracySG `to` a Source #

Get an approximation of the limit with at least the specified accuracy. (A specialisation of qaMakeQuery for Cauchy sequences.)

seqWithAccuracyA :: QAArrow to => Maybe (QAId to) -> (SequenceA to a, AccuracySG) `to` a Source #

seqsWithAccuracyA :: QAArrow to => Maybe (QAId to) -> ([SequenceA to a], AccuracySG) `to` [a] Source #

type SequenceA to a = QA to (SequenceP a) Source #

type Sequence a = SequenceA (->) a Source #

type FastConvSeqA to a = SequenceA to a Source #

type EffortConvSeqA to a = SequenceA to a Source #

type FastConvSeq a = Sequence a Source #

type EffortConvSeq a = Sequence a Source #

newSeq :: (QAArrow to, SuitableForSeq a) => a -> String -> [AnyProtocolQA to] -> ((Maybe (QAId to), Maybe (QAId to)) -> AccuracySG `to` a) -> SequenceA to a Source #

newSeqSimple :: (QAArrow to, SuitableForSeq a) => a -> ((Maybe (QAId to), Maybe (QAId to)) -> AccuracySG `to` a) -> SequenceA to a Source #

convergentList2SequenceA :: (QAArrow to, SuitableForSeq a) => String -> [a] -> SequenceA to a Source #

seqByPrecision2SequenceA :: (QAArrow to, SuitableForSeq a) => String -> (Precision -> a) -> SequenceA to a Source #

fmapSeq :: Arrow to => (a -> b) -> SequenceA to a -> SequenceA to b Source #