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

AERN2.Sequence.Ring

Contents

Orphan instances

Description

Ring operations on convergent sequences

Documentation

mulGetInitAC :: (HasNorm (EnsureNoCN other), CanEnsureCN other) => other -> AccuracySG -> AccuracySG #

Orphan instances

(CanMulAsymmetric MPBall b, SuitableForSeq b, CanSetPrecision (MulType MPBall b)) => CanMulAsymmetric MPBall (Sequence b) #
Instance details Associated Types type MulType MPBall (Sequence b) :: * # Methods mul :: MPBall -> Sequence b -> MulType MPBall (Sequence b) #
(CanAddAsymmetric MPBall b, SuitableForSeq b, CanSetPrecision (AddType MPBall b)) => CanAddAsymmetric MPBall (Sequence b) #
Instance details Associated Types type AddType MPBall (Sequence b) :: * # Methods add :: MPBall -> Sequence b -> AddType MPBall (Sequence b) #
(CanSub MPBall b, SuitableForSeq b, CanSetPrecision (SubType MPBall b)) => CanSub MPBall (Sequence b) #
Instance details Associated Types type SubType MPBall (Sequence b) :: * # Methods sub :: MPBall -> Sequence b -> SubType MPBall (Sequence b) #
(QAArrow to, CanMulAsymmetric Int b, SuitableForSeq b, SuitableForSeq (MulType Int b)) => CanMulAsymmetric Int (SequenceA to b) #
Instance details Associated Types type MulType Int (SequenceA to b) :: * # Methods mul :: Int -> SequenceA to b -> MulType Int (SequenceA to b) #
(QAArrow to, CanMulAsymmetric Integer b, SuitableForSeq b, SuitableForSeq (MulType Integer b)) => CanMulAsymmetric Integer (SequenceA to b) #
Instance details Associated Types type MulType Integer (SequenceA to b) :: * # Methods mul :: Integer -> SequenceA to b -> MulType Integer (SequenceA to b) #
(QAArrow to, CanMulAsymmetric Rational b, SuitableForSeq b, SuitableForSeq (MulType Rational b)) => CanMulAsymmetric Rational (SequenceA to b) #
Instance details Associated Types type MulType Rational (SequenceA to b) :: * # Methods mul :: Rational -> SequenceA to b -> MulType Rational (SequenceA to b) #
(QAArrow to, CanMulAsymmetric Dyadic b, SuitableForSeq b, SuitableForSeq (MulType Dyadic b)) => CanMulAsymmetric Dyadic (SequenceA to b) #
Instance details Associated Types type MulType Dyadic (SequenceA to b) :: * # Methods mul :: Dyadic -> SequenceA to b -> MulType Dyadic (SequenceA to b) #
(QAArrow to, CanAddAsymmetric Int b, SuitableForSeq b, SuitableForSeq (AddType Int b)) => CanAddAsymmetric Int (SequenceA to b) #
Instance details Associated Types type AddType Int (SequenceA to b) :: * # Methods add :: Int -> SequenceA to b -> AddType Int (SequenceA to b) #
(QAArrow to, CanAddAsymmetric Integer b, SuitableForSeq b, SuitableForSeq (AddType Integer b)) => CanAddAsymmetric Integer (SequenceA to b) #
Instance details Associated Types type AddType Integer (SequenceA to b) :: * # Methods add :: Integer -> SequenceA to b -> AddType Integer (SequenceA to b) #
(QAArrow to, CanAddAsymmetric Rational b, SuitableForSeq b, SuitableForSeq (AddType Rational b)) => CanAddAsymmetric Rational (SequenceA to b) #
Instance details Associated Types type AddType Rational (SequenceA to b) :: * # Methods add :: Rational -> SequenceA to b -> AddType Rational (SequenceA to b) #
(QAArrow to, CanAddAsymmetric Dyadic b, SuitableForSeq b, SuitableForSeq (AddType Dyadic b)) => CanAddAsymmetric Dyadic (SequenceA to b) #
Instance details Associated Types type AddType Dyadic (SequenceA to b) :: * # Methods add :: Dyadic -> SequenceA to b -> AddType Dyadic (SequenceA to b) #
(QAArrow to, CanSub Int b, SuitableForSeq b, SuitableForSeq (SubType Int b)) => CanSub Int (SequenceA to b) #
Instance details Associated Types type SubType Int (SequenceA to b) :: * # Methods sub :: Int -> SequenceA to b -> SubType Int (SequenceA to b) #
(QAArrow to, CanSub Integer b, SuitableForSeq b, SuitableForSeq (SubType Integer b)) => CanSub Integer (SequenceA to b) #
Instance details Associated Types type SubType Integer (SequenceA to b) :: * # Methods sub :: Integer -> SequenceA to b -> SubType Integer (SequenceA to b) #
(QAArrow to, CanSub Rational b, SuitableForSeq b, SuitableForSeq (SubType Rational b)) => CanSub Rational (SequenceA to b) #
Instance details Associated Types type SubType Rational (SequenceA to b) :: * # Methods sub :: Rational -> SequenceA to b -> SubType Rational (SequenceA to b) #
(QAArrow to, CanSub Dyadic b, SuitableForSeq b, SuitableForSeq (SubType Dyadic b)) => CanSub Dyadic (SequenceA to b) #
Instance details Associated Types type SubType Dyadic (SequenceA to b) :: * # Methods sub :: Dyadic -> SequenceA to b -> SubType Dyadic (SequenceA to b) #
(CanMulAsymmetric a MPBall, SuitableForSeq a, CanSetPrecision (MulType a MPBall)) => CanMulAsymmetric (Sequence a) MPBall #
Instance details Associated Types type MulType (Sequence a) MPBall :: * # Methods mul :: Sequence a -> MPBall -> MulType (Sequence a) MPBall #
(CanAddAsymmetric a MPBall, SuitableForSeq a, CanSetPrecision (AddType a MPBall)) => CanAddAsymmetric (Sequence a) MPBall #
Instance details Associated Types type AddType (Sequence a) MPBall :: * # Methods add :: Sequence a -> MPBall -> AddType (Sequence a) MPBall #
(CanSub a MPBall, SuitableForSeq a, CanSetPrecision (SubType a MPBall)) => CanSub (Sequence a) MPBall #
Instance details Associated Types type SubType (Sequence a) MPBall :: * # Methods sub :: Sequence a -> MPBall -> SubType (Sequence a) MPBall #
(QAArrow to, CanMulAsymmetric a Integer, SuitableForSeq a, SuitableForSeq (MulType a Integer)) => CanMulAsymmetric (SequenceA to a) Integer #
Instance details Associated Types type MulType (SequenceA to a) Integer :: * # Methods mul :: SequenceA to a -> Integer -> MulType (SequenceA to a) Integer #
(QAArrow to, CanMulAsymmetric a Int, SuitableForSeq a, SuitableForSeq (MulType a Int)) => CanMulAsymmetric (SequenceA to a) Int #
Instance details Associated Types type MulType (SequenceA to a) Int :: * # Methods mul :: SequenceA to a -> Int -> MulType (SequenceA to a) Int #
(QAArrow to, CanMulAsymmetric a Rational, SuitableForSeq a, SuitableForSeq (MulType a Rational)) => CanMulAsymmetric (SequenceA to a) Rational #
Instance details Associated Types type MulType (SequenceA to a) Rational :: * # Methods mul :: SequenceA to a -> Rational -> MulType (SequenceA to a) Rational #
(QAArrow to, CanMulAsymmetric a Dyadic, SuitableForSeq a, SuitableForSeq (MulType a Dyadic)) => CanMulAsymmetric (SequenceA to a) Dyadic #
Instance details Associated Types type MulType (SequenceA to a) Dyadic :: * # Methods mul :: SequenceA to a -> Dyadic -> MulType (SequenceA to a) Dyadic #
(QAArrow to, CanAddAsymmetric a Integer, SuitableForSeq a, SuitableForSeq (AddType a Integer)) => CanAddAsymmetric (SequenceA to a) Integer #
Instance details Associated Types type AddType (SequenceA to a) Integer :: * # Methods add :: SequenceA to a -> Integer -> AddType (SequenceA to a) Integer #
(QAArrow to, CanAddAsymmetric a Int, SuitableForSeq a, SuitableForSeq (AddType a Int)) => CanAddAsymmetric (SequenceA to a) Int #
Instance details Associated Types type AddType (SequenceA to a) Int :: * # Methods add :: SequenceA to a -> Int -> AddType (SequenceA to a) Int #
(QAArrow to, CanAddAsymmetric a Rational, SuitableForSeq a, SuitableForSeq (AddType a Rational)) => CanAddAsymmetric (SequenceA to a) Rational #
Instance details Associated Types type AddType (SequenceA to a) Rational :: * # Methods add :: SequenceA to a -> Rational -> AddType (SequenceA to a) Rational #
(QAArrow to, CanAddAsymmetric a Dyadic, SuitableForSeq a, SuitableForSeq (AddType a Dyadic)) => CanAddAsymmetric (SequenceA to a) Dyadic #
Instance details Associated Types type AddType (SequenceA to a) Dyadic :: * # Methods add :: SequenceA to a -> Dyadic -> AddType (SequenceA to a) Dyadic #
(QAArrow to, CanSub a Integer, SuitableForSeq a, SuitableForSeq (SubType a Integer)) => CanSub (SequenceA to a) Integer #
Instance details Associated Types type SubType (SequenceA to a) Integer :: * # Methods sub :: SequenceA to a -> Integer -> SubType (SequenceA to a) Integer #
(QAArrow to, CanSub a Int, SuitableForSeq a, SuitableForSeq (SubType a Int)) => CanSub (SequenceA to a) Int #
Instance details Associated Types type SubType (SequenceA to a) Int :: * # Methods sub :: SequenceA to a -> Int -> SubType (SequenceA to a) Int #
(QAArrow to, CanSub a Rational, SuitableForSeq a, SuitableForSeq (SubType a Rational)) => CanSub (SequenceA to a) Rational #
Instance details Associated Types type SubType (SequenceA to a) Rational :: * # Methods sub :: SequenceA to a -> Rational -> SubType (SequenceA to a) Rational #
(QAArrow to, CanSub a Dyadic, SuitableForSeq a, SuitableForSeq (SubType a Dyadic)) => CanSub (SequenceA to a) Dyadic #
Instance details Associated Types type SubType (SequenceA to a) Dyadic :: * # Methods sub :: SequenceA to a -> Dyadic -> SubType (SequenceA to a) Dyadic #
(CanMulAsymmetric a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (MulType a (SequenceA to b)), SuitableForCE es) => CanMulAsymmetric (CollectErrors es a) (SequenceA to b) #
Instance details Associated Types type MulType (CollectErrors es a) (SequenceA to b) :: * # Methods mul :: CollectErrors es a -> SequenceA to b -> MulType (CollectErrors es a) (SequenceA to b) #
(CanMulAsymmetric (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (MulType (SequenceA to a) b), SuitableForCE es) => CanMulAsymmetric (SequenceA to a) (CollectErrors es b) #
Instance details Associated Types type MulType (SequenceA to a) (CollectErrors es b) :: * # Methods mul :: SequenceA to a -> CollectErrors es b -> MulType (SequenceA to a) (CollectErrors es b) #
(QAArrow to, CanMulAsymmetric a b, HasNorm (EnsureNoCN a), HasNorm (EnsureNoCN b), SuitableForSeq a, SuitableForSeq b, SuitableForSeq (MulType a b)) => CanMulAsymmetric (SequenceA to a) (SequenceA to b) #
Instance details Associated Types type MulType (SequenceA to a) (SequenceA to b) :: * # Methods mul :: SequenceA to a -> SequenceA to b -> MulType (SequenceA to a) (SequenceA to b) #
(CanAddAsymmetric a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (AddType a (SequenceA to b)), SuitableForCE es) => CanAddAsymmetric (CollectErrors es a) (SequenceA to b) #
Instance details Associated Types type AddType (CollectErrors es a) (SequenceA to b) :: * # Methods add :: CollectErrors es a -> SequenceA to b -> AddType (CollectErrors es a) (SequenceA to b) #
(QAArrow to, CanAddAsymmetric a b, SuitableForSeq a, SuitableForSeq b, SuitableForSeq (AddType a b)) => CanAddAsymmetric (SequenceA to a) (SequenceA to b) #
Instance details Associated Types type AddType (SequenceA to a) (SequenceA to b) :: * # Methods add :: SequenceA to a -> SequenceA to b -> AddType (SequenceA to a) (SequenceA to b) #
(CanAddAsymmetric (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (AddType (SequenceA to a) b), SuitableForCE es) => CanAddAsymmetric (SequenceA to a) (CollectErrors es b) #
Instance details Associated Types type AddType (SequenceA to a) (CollectErrors es b) :: * # Methods add :: SequenceA to a -> CollectErrors es b -> AddType (SequenceA to a) (CollectErrors es b) #
(CanSub a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (SubType a (SequenceA to b)), SuitableForCE es) => CanSub (CollectErrors es a) (SequenceA to b) #
Instance details Associated Types type SubType (CollectErrors es a) (SequenceA to b) :: * # Methods sub :: CollectErrors es a -> SequenceA to b -> SubType (CollectErrors es a) (SequenceA to b) #
(QAArrow to, CanSub a b, SuitableForSeq a, SuitableForSeq b, SuitableForSeq (SubType a b)) => CanSub (SequenceA to a) (SequenceA to b) #
Instance details Associated Types type SubType (SequenceA to a) (SequenceA to b) :: * # Methods sub :: SequenceA to a -> SequenceA to b -> SubType (SequenceA to a) (SequenceA to b) #
(CanSub (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (SubType (SequenceA to a) b), SuitableForCE es) => CanSub (SequenceA to a) (CollectErrors es b) #
Instance details Associated Types type SubType (SequenceA to a) (CollectErrors es b) :: * # Methods sub :: SequenceA to a -> CollectErrors es b -> SubType (SequenceA to a) (CollectErrors es b) #