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

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

AERN2.WithGlobalParam.Field

Contents

Description

Field operations on WithGlobalParam objects.

Orphan instances

(QAArrow to0, CanDiv Int b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (DivType Int b0), SuitableForWGParam prm0 (DivTypeNoCN Int b0)) => CanDiv Int (WithGlobalParamA to0 prm0 b0) Source # 

Associated Types

type DivTypeNoCN Int (WithGlobalParamA to0 prm0 b0) :: * #

type DivType Int (WithGlobalParamA to0 prm0 b0) :: * #

Methods

divideNoCN :: Int -> WithGlobalParamA to0 prm0 b0 -> DivTypeNoCN Int (WithGlobalParamA to0 prm0 b0) #

divide :: Int -> WithGlobalParamA to0 prm0 b0 -> DivType Int (WithGlobalParamA to0 prm0 b0) #

(QAArrow to0, CanDiv Integer b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (DivType Integer b0), SuitableForWGParam prm0 (DivTypeNoCN Integer b0)) => CanDiv Integer (WithGlobalParamA to0 prm0 b0) Source # 

Associated Types

type DivTypeNoCN Integer (WithGlobalParamA to0 prm0 b0) :: * #

type DivType Integer (WithGlobalParamA to0 prm0 b0) :: * #

Methods

divideNoCN :: Integer -> WithGlobalParamA to0 prm0 b0 -> DivTypeNoCN Integer (WithGlobalParamA to0 prm0 b0) #

divide :: Integer -> WithGlobalParamA to0 prm0 b0 -> DivType Integer (WithGlobalParamA to0 prm0 b0) #

(QAArrow to0, CanDiv Rational b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (DivType Rational b0), SuitableForWGParam prm0 (DivTypeNoCN Rational b0)) => CanDiv Rational (WithGlobalParamA to0 prm0 b0) Source # 

Associated Types

type DivTypeNoCN Rational (WithGlobalParamA to0 prm0 b0) :: * #

type DivType Rational (WithGlobalParamA to0 prm0 b0) :: * #

Methods

divideNoCN :: Rational -> WithGlobalParamA to0 prm0 b0 -> DivTypeNoCN Rational (WithGlobalParamA to0 prm0 b0) #

divide :: Rational -> WithGlobalParamA to0 prm0 b0 -> DivType Rational (WithGlobalParamA to0 prm0 b0) #

(QAArrow to0, CanDiv Dyadic b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (DivType Dyadic b0), SuitableForWGParam prm0 (DivTypeNoCN Dyadic b0)) => CanDiv Dyadic (WithGlobalParamA to0 prm0 b0) Source # 

Associated Types

type DivTypeNoCN Dyadic (WithGlobalParamA to0 prm0 b0) :: * #

type DivType Dyadic (WithGlobalParamA to0 prm0 b0) :: * #

Methods

divideNoCN :: Dyadic -> WithGlobalParamA to0 prm0 b0 -> DivTypeNoCN Dyadic (WithGlobalParamA to0 prm0 b0) #

divide :: Dyadic -> WithGlobalParamA to0 prm0 b0 -> DivType Dyadic (WithGlobalParamA to0 prm0 b0) #

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

Associated Types

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

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

(QAArrow to0, CanDiv a0 Dyadic, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (DivType a0 Dyadic), SuitableForWGParam prm0 (DivTypeNoCN a0 Dyadic)) => CanDiv (WithGlobalParamA to0 prm0 a0) Dyadic Source # 

Associated Types

type DivTypeNoCN (WithGlobalParamA to0 prm0 a0) Dyadic :: * #

type DivType (WithGlobalParamA to0 prm0 a0) Dyadic :: * #

Methods

divideNoCN :: WithGlobalParamA to0 prm0 a0 -> Dyadic -> DivTypeNoCN (WithGlobalParamA to0 prm0 a0) Dyadic #

divide :: WithGlobalParamA to0 prm0 a0 -> Dyadic -> DivType (WithGlobalParamA to0 prm0 a0) Dyadic #

(QAArrow to0, CanDiv a0 Rational, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (DivType a0 Rational), SuitableForWGParam prm0 (DivTypeNoCN a0 Rational)) => CanDiv (WithGlobalParamA to0 prm0 a0) Rational Source # 

Associated Types

type DivTypeNoCN (WithGlobalParamA to0 prm0 a0) Rational :: * #

type DivType (WithGlobalParamA to0 prm0 a0) Rational :: * #

Methods

divideNoCN :: WithGlobalParamA to0 prm0 a0 -> Rational -> DivTypeNoCN (WithGlobalParamA to0 prm0 a0) Rational #

divide :: WithGlobalParamA to0 prm0 a0 -> Rational -> DivType (WithGlobalParamA to0 prm0 a0) Rational #

(QAArrow to0, CanDiv a0 Int, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (DivType a0 Int), SuitableForWGParam prm0 (DivTypeNoCN a0 Int)) => CanDiv (WithGlobalParamA to0 prm0 a0) Int Source # 

Associated Types

type DivTypeNoCN (WithGlobalParamA to0 prm0 a0) Int :: * #

type DivType (WithGlobalParamA to0 prm0 a0) Int :: * #

Methods

divideNoCN :: WithGlobalParamA to0 prm0 a0 -> Int -> DivTypeNoCN (WithGlobalParamA to0 prm0 a0) Int #

divide :: WithGlobalParamA to0 prm0 a0 -> Int -> DivType (WithGlobalParamA to0 prm0 a0) Int #

(QAArrow to0, CanDiv a0 Integer, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (DivType a0 Integer), SuitableForWGParam prm0 (DivTypeNoCN a0 Integer)) => CanDiv (WithGlobalParamA to0 prm0 a0) Integer Source # 

Associated Types

type DivTypeNoCN (WithGlobalParamA to0 prm0 a0) Integer :: * #

type DivType (WithGlobalParamA to0 prm0 a0) Integer :: * #

Methods

divideNoCN :: WithGlobalParamA to0 prm0 a0 -> Integer -> DivTypeNoCN (WithGlobalParamA to0 prm0 a0) Integer #

divide :: WithGlobalParamA to0 prm0 a0 -> Integer -> DivType (WithGlobalParamA to0 prm0 a0) Integer #

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

Associated Types

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

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

(QAArrow to, CanDiv a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (DivType a b), SuitableForWGParam prm (DivTypeNoCN a b)) => CanDiv (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) Source # 

Associated Types

type DivTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * #

type DivType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * #

Methods

divideNoCN :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> DivTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #

divide :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> DivType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #