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

AERN2.Sequence.Elementary

Contents

Orphan instances

Description

Elementary functions on fast converging sequences.

Orphan instances

(CanPow MPBall e, SuitableForSeq e, HasIntegerBounds e, CanSetPrecision (PowTypeNoCN MPBall e), CanSetPrecision (PowType MPBall e)) => CanPow MPBall (Sequence e) #
Instance details Associated Types type PowTypeNoCN MPBall (Sequence e) :: * # type PowType MPBall (Sequence e) :: * # Methods powNoCN :: MPBall -> Sequence e -> PowTypeNoCN MPBall (Sequence e) # pow :: MPBall -> Sequence e -> PowType MPBall (Sequence e) #
(QAArrow to, CanPow Int a, CanSetPrecision a, HasIntegerBounds a, SuitableForSeq a, SuitableForSeq (PowType Int a), SuitableForSeq (PowTypeNoCN Int a)) => CanPow Int (SequenceA to a) #
Instance details Associated Types type PowTypeNoCN Int (SequenceA to a) :: * # type PowType Int (SequenceA to a) :: * # Methods powNoCN :: Int -> SequenceA to a -> PowTypeNoCN Int (SequenceA to a) # pow :: Int -> SequenceA to a -> PowType Int (SequenceA to a) #
(QAArrow to, CanPow Integer a, CanSetPrecision a, HasIntegerBounds a, SuitableForSeq a, SuitableForSeq (PowType Integer a), SuitableForSeq (PowTypeNoCN Integer a)) => CanPow Integer (SequenceA to a) #
Instance details Associated Types type PowTypeNoCN Integer (SequenceA to a) :: * # type PowType Integer (SequenceA to a) :: * # Methods powNoCN :: Integer -> SequenceA to a -> PowTypeNoCN Integer (SequenceA to a) # pow :: Integer -> SequenceA to a -> PowType Integer (SequenceA to a) #
(QAArrow to, CanPow Rational a, CanSetPrecision a, HasIntegerBounds a, SuitableForSeq a, SuitableForSeq (PowType Rational a), SuitableForSeq (PowTypeNoCN Rational a)) => CanPow Rational (SequenceA to a) #
Instance details Associated Types type PowTypeNoCN Rational (SequenceA to a) :: * # type PowType Rational (SequenceA to a) :: * # Methods powNoCN :: Rational -> SequenceA to a -> PowTypeNoCN Rational (SequenceA to a) # pow :: Rational -> SequenceA to a -> PowType Rational (SequenceA to a) #
(QAArrow to, CanPow Dyadic a, CanSetPrecision a, HasIntegerBounds a, SuitableForSeq a, SuitableForSeq (PowType Dyadic a), SuitableForSeq (PowTypeNoCN Dyadic a)) => CanPow Dyadic (SequenceA to a) #
Instance details Associated Types type PowTypeNoCN Dyadic (SequenceA to a) :: * # type PowType Dyadic (SequenceA to a) :: * # Methods powNoCN :: Dyadic -> SequenceA to a -> PowTypeNoCN Dyadic (SequenceA to a) # pow :: Dyadic -> SequenceA to a -> PowType Dyadic (SequenceA to a) #
(CanPow a MPBall, SuitableForSeq a, HasNorm (EnsureNoCN a), CanEnsureCN a, CanSetPrecision (PowTypeNoCN a MPBall), CanSetPrecision (PowType a MPBall)) => CanPow (Sequence a) MPBall #
Instance details Associated Types type PowTypeNoCN (Sequence a) MPBall :: * # type PowType (Sequence a) MPBall :: * # Methods powNoCN :: Sequence a -> MPBall -> PowTypeNoCN (Sequence a) MPBall # pow :: Sequence a -> MPBall -> PowType (Sequence a) MPBall #
(QAArrow to, CanSqrt a, CanMinMaxThis a Integer, CanEnsureCN (SqrtType a), HasNorm (EnsureNoCN (SqrtType a)), SuitableForSeq a, SuitableForSeq (SqrtType a)) => CanSqrt (SequenceA to a) #
Instance details Associated Types type SqrtType (SequenceA to a) :: * # Methods sqrt :: SequenceA to a -> SqrtType (SequenceA to a) #
(QAArrow to, CanExp a, CanEnsureCN (ExpType a), HasNorm (EnsureNoCN (ExpType a)), SuitableForSeq a, SuitableForSeq (ExpType a)) => CanExp (SequenceA to a) #
Instance details Associated Types type ExpType (SequenceA to a) :: * # Methods exp :: SequenceA to a -> ExpType (SequenceA to a) #
(QAArrow to, CanLog a, CanSetPrecision a, CanEnsureCN a, HasNorm (EnsureNoCN a), SuitableForSeq a, SuitableForSeq (LogType a)) => CanLog (SequenceA to a) #
Instance details Associated Types type LogType (SequenceA to a) :: * # Methods log :: SequenceA to a -> LogType (SequenceA to a) #
(QAArrow to, CanSinCos a, CanEnsureCN (SinCosType a), HasNorm (EnsureNoCN (SinCosType a)), SuitableForSeq a, SuitableForSeq (SinCosType a)) => CanSinCos (SequenceA to a) #
Instance details Associated Types type SinCosType (SequenceA to a) :: * # Methods cos :: SequenceA to a -> SinCosType (SequenceA to a) # sin :: SequenceA to a -> SinCosType (SequenceA to a) #
(QAArrow to, CanPow a Integer, CanSetPrecision a, CanEnsureCN a, HasNorm (EnsureNoCN a), SuitableForSeq a, SuitableForSeq (PowTypeNoCN a Integer), SuitableForSeq (PowType a Integer)) => CanPow (SequenceA to a) Integer #
Instance details Associated Types type PowTypeNoCN (SequenceA to a) Integer :: * # type PowType (SequenceA to a) Integer :: * # Methods powNoCN :: SequenceA to a -> Integer -> PowTypeNoCN (SequenceA to a) Integer # pow :: SequenceA to a -> Integer -> PowType (SequenceA to a) Integer #
(QAArrow to, CanPow a Int, CanSetPrecision a, CanEnsureCN a, HasNorm (EnsureNoCN a), SuitableForSeq a, SuitableForSeq (PowTypeNoCN a Int), SuitableForSeq (PowType a Int)) => CanPow (SequenceA to a) Int #
Instance details Associated Types type PowTypeNoCN (SequenceA to a) Int :: * # type PowType (SequenceA to a) Int :: * # Methods powNoCN :: SequenceA to a -> Int -> PowTypeNoCN (SequenceA to a) Int # pow :: SequenceA to a -> Int -> PowType (SequenceA to a) Int #
(QAArrow to, CanPow a Dyadic, CanSetPrecision a, CanEnsureCN a, HasNorm (EnsureNoCN a), SuitableForSeq a, SuitableForSeq (PowTypeNoCN a Dyadic), SuitableForSeq (PowType a Dyadic)) => CanPow (SequenceA to a) Dyadic #
Instance details Associated Types type PowTypeNoCN (SequenceA to a) Dyadic :: * # type PowType (SequenceA to a) Dyadic :: * # Methods powNoCN :: SequenceA to a -> Dyadic -> PowTypeNoCN (SequenceA to a) Dyadic # pow :: SequenceA to a -> Dyadic -> PowType (SequenceA to a) Dyadic #
(QAArrow to, CanPow a Rational, CanSetPrecision a, CanEnsureCN a, HasNorm (EnsureNoCN a), SuitableForSeq a, SuitableForSeq (PowTypeNoCN a Rational), SuitableForSeq (PowType a Rational)) => CanPow (SequenceA to a) Rational #
Instance details Associated Types type PowTypeNoCN (SequenceA to a) Rational :: * # type PowType (SequenceA to a) Rational :: * # Methods powNoCN :: SequenceA to a -> Rational -> PowTypeNoCN (SequenceA to a) Rational # pow :: SequenceA to a -> Rational -> PowType (SequenceA to a) Rational #
(CanPow a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (PowType a (SequenceA to b)), CanEnsureCE es (PowTypeNoCN a (SequenceA to b)), SuitableForCE es) => CanPow (CollectErrors es a) (SequenceA to b) #
Instance details Associated Types type PowTypeNoCN (CollectErrors es a) (SequenceA to b) :: * # type PowType (CollectErrors es a) (SequenceA to b) :: * # Methods powNoCN :: CollectErrors es a -> SequenceA to b -> PowTypeNoCN (CollectErrors es a) (SequenceA to b) # pow :: CollectErrors es a -> SequenceA to b -> PowType (CollectErrors es a) (SequenceA to b) #
(CanPow (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (PowTypeNoCN (SequenceA to a) b), CanEnsureCE es (PowType (SequenceA to a) b), SuitableForCE es) => CanPow (SequenceA to a) (CollectErrors es b) #
Instance details Associated Types type PowTypeNoCN (SequenceA to a) (CollectErrors es b) :: * # type PowType (SequenceA to a) (CollectErrors es b) :: * # Methods powNoCN :: SequenceA to a -> CollectErrors es b -> PowTypeNoCN (SequenceA to a) (CollectErrors es b) # pow :: SequenceA to a -> CollectErrors es b -> PowType (SequenceA to a) (CollectErrors es b) #
(QAArrow to, CanPow a e, CanEnsureCN a, HasNorm (EnsureNoCN a), HasIntegerBounds e, SuitableForSeq a, SuitableForSeq e, SuitableForSeq (PowTypeNoCN a e), SuitableForSeq (PowType a e)) => CanPow (SequenceA to a) (SequenceA to e) #
Instance details Associated Types type PowTypeNoCN (SequenceA to a) (SequenceA to e) :: * # type PowType (SequenceA to a) (SequenceA to e) :: * # Methods powNoCN :: SequenceA to a -> SequenceA to e -> PowTypeNoCN (SequenceA to a) (SequenceA to e) # pow :: SequenceA to a -> SequenceA to e -> PowType (SequenceA to a) (SequenceA to e) #