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 #

Constructors

SequenceP
Fields unSequenceP :: a

Instances

Functor SequenceP #
Methods fmap :: (a -> b) -> SequenceP a -> SequenceP b # (<$) :: a -> SequenceP b -> SequenceP a #
HasLimits Rational CauchyReal #
Associated Types type LimitType Rational CauchyReal :: * # Methods limit :: (Rational -> CauchyReal) -> LimitType Rational CauchyReal #
(SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (SequenceP a) #
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)) #
Associated Types type LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) :: * # Methods limit :: (Rational -> WithLipschitz (CauchyReal -> CauchyRealCN)) -> LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) #
(QAArrow to, ConvertibleExactly Int a, CanSetPrecision a, SuitableForSeq a) => ConvertibleExactly Int (SequenceA to a) #
Methods safeConvertExactly :: Int -> ConvertResult (SequenceA to a) #
(QAArrow to, ConvertibleExactly Integer a, CanSetPrecision a, SuitableForSeq a) => ConvertibleExactly Integer (SequenceA to a) #
Methods safeConvertExactly :: Integer -> ConvertResult (SequenceA to a) #
(QAArrow to, ConvertibleWithPrecision Rational a, CanSetPrecision a, SuitableForSeq a) => ConvertibleExactly Rational (SequenceA to a) #
Methods safeConvertExactly :: Rational -> ConvertResult (SequenceA to a) #
(QAArrow to, ConvertibleExactly Dyadic a, CanSetPrecision a, SuitableForSeq a) => ConvertibleExactly Dyadic (SequenceA to a) #
Methods safeConvertExactly :: Dyadic -> ConvertResult (SequenceA to a) #
(Arrow to, SuitableForCE es, CanEnsureCE es a) => CanEnsureCE es (SequenceA to a) #
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) #
Associated Types type LimitType Rational (CauchyReal -> CauchyRealCN) :: * # Methods limit :: (Rational -> CauchyReal -> CauchyRealCN) -> LimitType Rational (CauchyReal -> CauchyRealCN) #
Show a => Show (Sequence a) #
Methods showsPrec :: Int -> Sequence a -> ShowS # show :: Sequence a -> String # showList :: [Sequence a] -> ShowS #
Show a => Show (SequenceP a) #
Methods showsPrec :: Int -> SequenceP a -> ShowS # show :: SequenceP a -> String # showList :: [SequenceP a] -> ShowS #
SuitableForSeq a => QAProtocolCacheable (SequenceP a) #
Associated Types type QACache (SequenceP a) :: * # Methods newQACache :: SequenceP a -> QACache (SequenceP a) # lookupQACache :: SequenceP a -> QACache (SequenceP a) -> Q (SequenceP a) -> (Maybe (A (SequenceP a)), Maybe String) # updateQACache :: SequenceP a -> Q (SequenceP a) -> A (SequenceP a) -> QACache (SequenceP a) -> QACache (SequenceP a) #
Show a => QAProtocol (SequenceP a) #
Associated Types type Q (SequenceP a) :: * # type A (SequenceP a) :: * #
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 #
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) #
type EnsureNoCE es (SequenceP a) = SequenceP (EnsureNoCE es a)
type EnsureCE es (SequenceP a) #
type EnsureCE es (SequenceP a) = SequenceP (EnsureCE es a)
type LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) #
type LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) = CauchyReal -> CauchyRealCN
type DivType Int (SequenceA to b) #
type DivType Int (SequenceA to b) = SequenceA to (DivType Int b)
type DivType Integer (SequenceA to b) #
type DivType Integer (SequenceA to b) = SequenceA to (DivType Integer b)
type DivType Rational (SequenceA to b) #
type DivType Rational (SequenceA to b) = SequenceA to (DivType Rational b)
type DivType Dyadic (SequenceA to b) #
type DivType Dyadic (SequenceA to b) = SequenceA to (DivType Dyadic b)
type DivTypeNoCN Int (SequenceA to b) #
type DivTypeNoCN Int (SequenceA to b) = SequenceA to (DivTypeNoCN Int b)
type DivTypeNoCN Integer (SequenceA to b) #
type DivTypeNoCN Integer (SequenceA to b) = SequenceA to (DivTypeNoCN Integer b)
type DivTypeNoCN Rational (SequenceA to b) #
type DivTypeNoCN Rational (SequenceA to b) = SequenceA to (DivTypeNoCN Rational b)
type DivTypeNoCN Dyadic (SequenceA to b) #
type DivTypeNoCN Dyadic (SequenceA to b) = SequenceA to (DivTypeNoCN Dyadic b)
type MulType Int (SequenceA to b) #
type MulType Int (SequenceA to b) = SequenceA to (MulType Int b)
type MulType Integer (SequenceA to b) #
type MulType Integer (SequenceA to b) = SequenceA to (MulType Integer b)
type MulType Rational (SequenceA to b) #
type MulType Rational (SequenceA to b) = SequenceA to (MulType Rational b)
type MulType Dyadic (SequenceA to b) #
type MulType Dyadic (SequenceA to b) = SequenceA to (MulType Dyadic b)
type PowType Int (SequenceA to a) #
type PowType Int (SequenceA to a) = SequenceA to (PowType Int a)
type PowType Integer (SequenceA to a) #
type PowType Integer (SequenceA to a) = SequenceA to (PowType Integer a)
type PowType Rational (SequenceA to a) #
type PowType Rational (SequenceA to a) = SequenceA to (PowType Rational a)
type PowType Dyadic (SequenceA to a) #
type PowType Dyadic (SequenceA to a) = SequenceA to (PowType Dyadic a)
type PowTypeNoCN Int (SequenceA to a) #
type PowTypeNoCN Int (SequenceA to a) = SequenceA to (PowTypeNoCN Int a)
type PowTypeNoCN Integer (SequenceA to a) #
type PowTypeNoCN Integer (SequenceA to a) = SequenceA to (PowTypeNoCN Integer a)
type PowTypeNoCN Rational (SequenceA to a) #
type PowTypeNoCN Rational (SequenceA to a) = SequenceA to (PowTypeNoCN Rational a)
type PowTypeNoCN Dyadic (SequenceA to a) #
type PowTypeNoCN Dyadic (SequenceA to a) = SequenceA to (PowTypeNoCN Dyadic a)
type AddType Int (SequenceA to b) #
type AddType Int (SequenceA to b) = SequenceA to (AddType Int b)
type AddType Integer (SequenceA to b) #
type AddType Integer (SequenceA to b) = SequenceA to (AddType Integer b)
type AddType Rational (SequenceA to b) #
type AddType Rational (SequenceA to b) = SequenceA to (AddType Rational b)
type AddType Dyadic (SequenceA to b) #
type AddType Dyadic (SequenceA to b) = SequenceA to (AddType Dyadic b)
type SubType Int (SequenceA to b) #
type SubType Int (SequenceA to b) = SequenceA to (SubType Int b)
type SubType Integer (SequenceA to b) #
type SubType Integer (SequenceA to b) = SequenceA to (SubType Integer b)
type SubType Rational (SequenceA to b) #
type SubType Rational (SequenceA to b) = SequenceA to (SubType Rational b)
type SubType Dyadic (SequenceA to b) #
type SubType Dyadic (SequenceA to b) = SequenceA to (SubType Dyadic b)
type MinMaxType Int (SequenceA to b) #
type MinMaxType Int (SequenceA to b) = SequenceA to (MinMaxType Int b)
type MinMaxType Integer (SequenceA to b) #
type MinMaxType Integer (SequenceA to b) = SequenceA to (MinMaxType Integer b)
type MinMaxType Rational (SequenceA to b) #
type MinMaxType Rational (SequenceA to b) = SequenceA to (MinMaxType Rational b)
type MinMaxType Dyadic (SequenceA to b) #
type MinMaxType Dyadic (SequenceA to b) = SequenceA to (MinMaxType Dyadic b)
type EqCompareType Int (SequenceA to a) #
type EqCompareType Int (SequenceA to a) = SequenceA to (EqCompareType Int a)
type EqCompareType Integer (SequenceA to a) #
type EqCompareType Integer (SequenceA to a) = SequenceA to (EqCompareType Integer a)
type EqCompareType Rational (SequenceA to a) #
type EqCompareType Rational (SequenceA to a) = SequenceA to (EqCompareType Rational a)
type EqCompareType Dyadic (SequenceA to a) #
type EqCompareType Dyadic (SequenceA to a) = SequenceA to (EqCompareType Dyadic a)
type OrderCompareType Int (SequenceA to a) #
type OrderCompareType Int (SequenceA to a) = SequenceA to (OrderCompareType Int a)
type OrderCompareType Integer (SequenceA to a) #
type OrderCompareType Integer (SequenceA to a) = SequenceA to (OrderCompareType Integer a)
type OrderCompareType Rational (SequenceA to a) #
type OrderCompareType Rational (SequenceA to a) = SequenceA to (OrderCompareType Rational a)
type OrderCompareType Dyadic (SequenceA to a) #
type OrderCompareType Dyadic (SequenceA to a) = SequenceA to (OrderCompareType Dyadic a)
type EnsureNoCE es (SequenceA to a) #
type EnsureNoCE es (SequenceA to a) = SequenceA to (EnsureNoCE es a)
type EnsureCE es (SequenceA to a) #
type EnsureCE es (SequenceA to a) = SequenceA to (EnsureCE es a)
type LimitType Rational (CauchyReal -> CauchyRealCN) #
type LimitType Rational (CauchyReal -> CauchyRealCN) = CauchyReal -> CauchyRealCN
type QACache (SequenceP a) #
type QACache (SequenceP a) = Maybe (a, AccuracySG)
type Q (SequenceP a) #
type Q (SequenceP a) = AccuracySG
type A (SequenceP a) #
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 to a) Dyadic #
type DivType (SequenceA to a) Dyadic = SequenceA to (DivType a Dyadic)
type DivType (SequenceA to a) Rational #
type DivType (SequenceA to a) Rational = SequenceA to (DivType a Rational)
type DivType (SequenceA to a) Int #
type DivType (SequenceA to a) Int = SequenceA to (DivType a Int)
type DivType (SequenceA to a) Integer #
type DivType (SequenceA to a) Integer = SequenceA to (DivType a Integer)
type DivTypeNoCN (SequenceA to a) Dyadic #
type DivTypeNoCN (SequenceA to a) Dyadic = SequenceA to (DivTypeNoCN a Dyadic)
type DivTypeNoCN (SequenceA to a) Rational #
type DivTypeNoCN (SequenceA to a) Rational = SequenceA to (DivTypeNoCN a Rational)
type DivTypeNoCN (SequenceA to a) Int #
type DivTypeNoCN (SequenceA to a) Int = SequenceA to (DivTypeNoCN a Int)
type DivTypeNoCN (SequenceA to a) Integer #
type DivTypeNoCN (SequenceA to a) Integer = SequenceA to (DivTypeNoCN a Integer)
type MulType (SequenceA to a) Dyadic #
type MulType (SequenceA to a) Dyadic = SequenceA to (MulType a Dyadic)
type MulType (SequenceA to a) Rational #
type MulType (SequenceA to a) Rational = SequenceA to (MulType a Rational)
type MulType (SequenceA to a) Int #
type MulType (SequenceA to a) Int = SequenceA to (MulType a Int)
type MulType (SequenceA to a) Integer #
type MulType (SequenceA to a) Integer = SequenceA to (MulType a Integer)
type PowType (SequenceA to a) Rational #
type PowType (SequenceA to a) Rational = SequenceA to (PowType a Rational)
type PowType (SequenceA to a) Dyadic #
type PowType (SequenceA to a) Dyadic = SequenceA to (PowType a Dyadic)
type PowType (SequenceA to a) Int #
type PowType (SequenceA to a) Int = SequenceA to (PowType a Int)
type PowType (SequenceA to a) Integer #
type PowType (SequenceA to a) Integer = SequenceA to (PowType a Integer)
type PowTypeNoCN (SequenceA to a) Rational #
type PowTypeNoCN (SequenceA to a) Rational = SequenceA to (PowTypeNoCN a Rational)
type PowTypeNoCN (SequenceA to a) Dyadic #
type PowTypeNoCN (SequenceA to a) Dyadic = SequenceA to (PowTypeNoCN a Dyadic)
type PowTypeNoCN (SequenceA to a) Int #
type PowTypeNoCN (SequenceA to a) Int = SequenceA to (PowTypeNoCN a Int)
type PowTypeNoCN (SequenceA to a) Integer #
type PowTypeNoCN (SequenceA to a) Integer = SequenceA to (PowTypeNoCN a Integer)
type AddType (SequenceA to a) Dyadic #
type AddType (SequenceA to a) Dyadic = SequenceA to (AddType a Dyadic)
type AddType (SequenceA to a) Rational #
type AddType (SequenceA to a) Rational = SequenceA to (AddType a Rational)
type AddType (SequenceA to a) Int #
type AddType (SequenceA to a) Int = SequenceA to (AddType a Int)
type AddType (SequenceA to a) Integer #
type AddType (SequenceA to a) Integer = SequenceA to (AddType a Integer)
type SubType (SequenceA to a) Dyadic #
type SubType (SequenceA to a) Dyadic = SequenceA to (SubType a Dyadic)
type SubType (SequenceA to a) Rational #
type SubType (SequenceA to a) Rational = SequenceA to (SubType a Rational)
type SubType (SequenceA to a) Int #
type SubType (SequenceA to a) Int = SequenceA to (SubType a Int)
type SubType (SequenceA to a) Integer #
type SubType (SequenceA to a) Integer = SequenceA to (SubType a Integer)
type MinMaxType (SequenceA to a) Dyadic #
type MinMaxType (SequenceA to a) Dyadic = SequenceA to (MinMaxType a Dyadic)
type MinMaxType (SequenceA to a) Rational #
type MinMaxType (SequenceA to a) Rational = SequenceA to (MinMaxType a Rational)
type MinMaxType (SequenceA to a) Int #
type MinMaxType (SequenceA to a) Int = SequenceA to (MinMaxType a Int)
type MinMaxType (SequenceA to a) Integer #
type MinMaxType (SequenceA to a) Integer = SequenceA to (MinMaxType a Integer)
type EqCompareType (SequenceA to a) Dyadic #
type EqCompareType (SequenceA to a) Dyadic = SequenceA to (EqCompareType a Dyadic)
type EqCompareType (SequenceA to a) Rational #
type EqCompareType (SequenceA to a) Rational = SequenceA to (EqCompareType a Rational)
type EqCompareType (SequenceA to a) Int #
type EqCompareType (SequenceA to a) Int = SequenceA to (EqCompareType a Int)
type EqCompareType (SequenceA to a) Integer #
type EqCompareType (SequenceA to a) Integer = SequenceA to (EqCompareType a Integer)
type OrderCompareType (SequenceA to a) Dyadic #
type OrderCompareType (SequenceA to a) Dyadic = SequenceA to (OrderCompareType a Dyadic)
type OrderCompareType (SequenceA to a) Rational #
type OrderCompareType (SequenceA to a) Rational = SequenceA to (OrderCompareType a Rational)
type OrderCompareType (SequenceA to a) Int #
type OrderCompareType (SequenceA to a) Int = SequenceA to (OrderCompareType a Int)
type OrderCompareType (SequenceA to a) Integer #
type OrderCompareType (SequenceA to a) Integer = SequenceA to (OrderCompareType a 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 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 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 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 #

type FastConvSeqP a = SequenceP a #

type EffortConvSeqP a = SequenceP a #

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 #

Instances

SuitableForSeq Bool #

SuitableForSeq MPBall #

SuitableForSeq t => SuitableForSeq (Maybe t) #

SuitableForSeq (CN Bool) #

SuitableForSeq (CN MPBall) #

seqName :: SequenceA to a -> String #

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

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

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

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

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 #

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

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

type Sequence a = SequenceA (->) a #

type FastConvSeqA to a = SequenceA to a #

type EffortConvSeqA to a = SequenceA to a #

type FastConvSeq a = Sequence a #

type EffortConvSeq a = Sequence a #

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

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

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

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

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