aern2-real-0.1.0.3: Exact real numbers via Cauchy sequences and MPFR

Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell98

AERN2.Sequence.Field

Contents

Description

Field operations on convergent sequences.

Orphan instances

(CanDiv MPBall b, SuitableForSeq b, HasNorm (EnsureNoCN b), CanEnsureCN b, CanSetPrecision (DivType MPBall b), CanSetPrecision (DivTypeNoCN MPBall b)) => CanDiv MPBall (Sequence b) Source # 

Associated Types

type DivTypeNoCN MPBall (Sequence b) :: * #

type DivType MPBall (Sequence b) :: * #

(QAArrow to0, CanDiv Int b0, SuitableForSeq b0, SuitableForSeq (DivType Int b0), SuitableForSeq (DivTypeNoCN Int b0), HasNorm (EnsureNoCN b0)) => CanDiv Int (SequenceA to0 b0) Source # 

Associated Types

type DivTypeNoCN Int (SequenceA to0 b0) :: * #

type DivType Int (SequenceA to0 b0) :: * #

Methods

divideNoCN :: Int -> SequenceA to0 b0 -> DivTypeNoCN Int (SequenceA to0 b0) #

divide :: Int -> SequenceA to0 b0 -> DivType Int (SequenceA to0 b0) #

(QAArrow to0, CanDiv Integer b0, SuitableForSeq b0, SuitableForSeq (DivType Integer b0), SuitableForSeq (DivTypeNoCN Integer b0), HasNorm (EnsureNoCN b0)) => CanDiv Integer (SequenceA to0 b0) Source # 

Associated Types

type DivTypeNoCN Integer (SequenceA to0 b0) :: * #

type DivType Integer (SequenceA to0 b0) :: * #

Methods

divideNoCN :: Integer -> SequenceA to0 b0 -> DivTypeNoCN Integer (SequenceA to0 b0) #

divide :: Integer -> SequenceA to0 b0 -> DivType Integer (SequenceA to0 b0) #

(QAArrow to0, CanDiv Rational b0, SuitableForSeq b0, SuitableForSeq (DivType Rational b0), SuitableForSeq (DivTypeNoCN Rational b0), HasNorm (EnsureNoCN b0)) => CanDiv Rational (SequenceA to0 b0) Source # 

Associated Types

type DivTypeNoCN Rational (SequenceA to0 b0) :: * #

type DivType Rational (SequenceA to0 b0) :: * #

(QAArrow to0, CanDiv Dyadic b0, SuitableForSeq b0, SuitableForSeq (DivType Dyadic b0), SuitableForSeq (DivTypeNoCN Dyadic b0), HasNorm (EnsureNoCN b0)) => CanDiv Dyadic (SequenceA to0 b0) Source # 

Associated Types

type DivTypeNoCN Dyadic (SequenceA to0 b0) :: * #

type DivType Dyadic (SequenceA to0 b0) :: * #

Methods

divideNoCN :: Dyadic -> SequenceA to0 b0 -> DivTypeNoCN Dyadic (SequenceA to0 b0) #

divide :: Dyadic -> SequenceA to0 b0 -> DivType Dyadic (SequenceA to0 b0) #

(CanDiv a MPBall, SuitableForSeq a, CanSetPrecision (DivType a MPBall), CanSetPrecision (DivTypeNoCN a MPBall)) => CanDiv (Sequence a) MPBall Source # 

Associated Types

type DivTypeNoCN (Sequence a) MPBall :: * #

type DivType (Sequence a) MPBall :: * #

(QAArrow to0, CanDiv a0 Dyadic, SuitableForSeq a0, SuitableForSeq (DivType a0 Dyadic), SuitableForSeq (DivTypeNoCN a0 Dyadic)) => CanDiv (SequenceA to0 a0) Dyadic Source # 

Associated Types

type DivTypeNoCN (SequenceA to0 a0) Dyadic :: * #

type DivType (SequenceA to0 a0) Dyadic :: * #

Methods

divideNoCN :: SequenceA to0 a0 -> Dyadic -> DivTypeNoCN (SequenceA to0 a0) Dyadic #

divide :: SequenceA to0 a0 -> Dyadic -> DivType (SequenceA to0 a0) Dyadic #

(QAArrow to0, CanDiv a0 Rational, SuitableForSeq a0, SuitableForSeq (DivType a0 Rational), SuitableForSeq (DivTypeNoCN a0 Rational)) => CanDiv (SequenceA to0 a0) Rational Source # 

Associated Types

type DivTypeNoCN (SequenceA to0 a0) Rational :: * #

type DivType (SequenceA to0 a0) Rational :: * #

(QAArrow to0, CanDiv a0 Int, SuitableForSeq a0, SuitableForSeq (DivType a0 Int), SuitableForSeq (DivTypeNoCN a0 Int)) => CanDiv (SequenceA to0 a0) Int Source # 

Associated Types

type DivTypeNoCN (SequenceA to0 a0) Int :: * #

type DivType (SequenceA to0 a0) Int :: * #

Methods

divideNoCN :: SequenceA to0 a0 -> Int -> DivTypeNoCN (SequenceA to0 a0) Int #

divide :: SequenceA to0 a0 -> Int -> DivType (SequenceA to0 a0) Int #

(QAArrow to0, CanDiv a0 Integer, SuitableForSeq a0, SuitableForSeq (DivType a0 Integer), SuitableForSeq (DivTypeNoCN a0 Integer)) => CanDiv (SequenceA to0 a0) Integer Source # 

Associated Types

type DivTypeNoCN (SequenceA to0 a0) Integer :: * #

type DivType (SequenceA to0 a0) Integer :: * #

Methods

divideNoCN :: SequenceA to0 a0 -> Integer -> DivTypeNoCN (SequenceA to0 a0) Integer #

divide :: SequenceA to0 a0 -> Integer -> DivType (SequenceA to0 a0) Integer #

(CanDiv a (SequenceA to b), CanEnsureCE es a, CanEnsureCE es (DivType a (SequenceA to b)), CanEnsureCE es (DivTypeNoCN a (SequenceA to b)), SuitableForCE es) => CanDiv (CollectErrors es a) (SequenceA to b) Source # 

Associated Types

type DivTypeNoCN (CollectErrors es a) (SequenceA to b) :: * #

type DivType (CollectErrors es a) (SequenceA to b) :: * #

Methods

divideNoCN :: CollectErrors es a -> SequenceA to b -> DivTypeNoCN (CollectErrors es a) (SequenceA to b) #

divide :: CollectErrors es a -> SequenceA to b -> DivType (CollectErrors es a) (SequenceA to b) #

(CanDiv (SequenceA to a) b, CanEnsureCE es b, CanEnsureCE es (DivType (SequenceA to a) b), CanEnsureCE es (DivTypeNoCN (SequenceA to a) b), SuitableForCE es) => CanDiv (SequenceA to a) (CollectErrors es b) Source # 

Associated Types

type DivTypeNoCN (SequenceA to a) (CollectErrors es b) :: * #

type DivType (SequenceA to a) (CollectErrors es b) :: * #

Methods

divideNoCN :: SequenceA to a -> CollectErrors es b -> DivTypeNoCN (SequenceA to a) (CollectErrors es b) #

divide :: SequenceA to a -> CollectErrors es b -> DivType (SequenceA to a) (CollectErrors es b) #

(QAArrow to, CanDiv a b, HasNorm (EnsureNoCN a), HasNorm (EnsureNoCN b), SuitableForSeq a, SuitableForSeq b, SuitableForSeq (DivType a b), SuitableForSeq (DivTypeNoCN a b)) => CanDiv (SequenceA to a) (SequenceA to b) Source # 

Associated Types

type DivTypeNoCN (SequenceA to a) (SequenceA to b) :: * #

type DivType (SequenceA to a) (SequenceA to b) :: * #

Methods

divideNoCN :: SequenceA to a -> SequenceA to b -> DivTypeNoCN (SequenceA to a) (SequenceA to b) #

divide :: SequenceA to a -> SequenceA to b -> DivType (SequenceA to a) (SequenceA to b) #