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.Elementary

Contents

Description

Elementary functions on fast converging sequences.

Orphan instances

(QAArrow to0, CanPow Int a0, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (PowTypeNoCN Int a0), SuitableForWGParam prm0 (PowType Int a0)) => CanPow Int (WithGlobalParamA to0 prm0 a0) Source # 

Associated Types

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

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

Methods

powNoCN :: Int -> WithGlobalParamA to0 prm0 a0 -> PowTypeNoCN Int (WithGlobalParamA to0 prm0 a0) #

pow :: Int -> WithGlobalParamA to0 prm0 a0 -> PowType Int (WithGlobalParamA to0 prm0 a0) #

(QAArrow to0, CanPow Integer a0, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (PowTypeNoCN Integer a0), SuitableForWGParam prm0 (PowType Integer a0)) => CanPow Integer (WithGlobalParamA to0 prm0 a0) Source # 

Associated Types

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

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

Methods

powNoCN :: Integer -> WithGlobalParamA to0 prm0 a0 -> PowTypeNoCN Integer (WithGlobalParamA to0 prm0 a0) #

pow :: Integer -> WithGlobalParamA to0 prm0 a0 -> PowType Integer (WithGlobalParamA to0 prm0 a0) #

(QAArrow to0, CanPow Rational a0, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (PowTypeNoCN Rational a0), SuitableForWGParam prm0 (PowType Rational a0)) => CanPow Rational (WithGlobalParamA to0 prm0 a0) Source # 

Associated Types

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

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

Methods

powNoCN :: Rational -> WithGlobalParamA to0 prm0 a0 -> PowTypeNoCN Rational (WithGlobalParamA to0 prm0 a0) #

pow :: Rational -> WithGlobalParamA to0 prm0 a0 -> PowType Rational (WithGlobalParamA to0 prm0 a0) #

(QAArrow to0, CanPow Dyadic a0, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (PowTypeNoCN Dyadic a0), SuitableForWGParam prm0 (PowType Dyadic a0)) => CanPow Dyadic (WithGlobalParamA to0 prm0 a0) Source # 

Associated Types

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

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

Methods

powNoCN :: Dyadic -> WithGlobalParamA to0 prm0 a0 -> PowTypeNoCN Dyadic (WithGlobalParamA to0 prm0 a0) #

pow :: Dyadic -> WithGlobalParamA to0 prm0 a0 -> PowType Dyadic (WithGlobalParamA to0 prm0 a0) #

(CanPow a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (PowType a (WithGlobalParamA to prm b)), CanEnsureCE es (PowTypeNoCN a (WithGlobalParamA to prm b)), SuitableForCE es) => CanPow (CollectErrors es a) (WithGlobalParamA to prm b) Source # 

Associated Types

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

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

Methods

powNoCN :: CollectErrors es a -> WithGlobalParamA to prm b -> PowTypeNoCN (CollectErrors es a) (WithGlobalParamA to prm b) #

pow :: CollectErrors es a -> WithGlobalParamA to prm b -> PowType (CollectErrors es a) (WithGlobalParamA to prm b) #

(QAArrow to, CanSqrt a, CanMinMaxThis a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (SqrtType a)) => CanSqrt (WithGlobalParamA to prm a) Source # 

Associated Types

type SqrtType (WithGlobalParamA to prm a) :: * #

Methods

sqrt :: WithGlobalParamA to prm a -> SqrtType (WithGlobalParamA to prm a) #

(QAArrow to, CanExp a, SuitableForWGParam prm a, SuitableForWGParam prm (ExpType a)) => CanExp (WithGlobalParamA to prm a) Source # 

Associated Types

type ExpType (WithGlobalParamA to prm a) :: * #

Methods

exp :: WithGlobalParamA to prm a -> ExpType (WithGlobalParamA to prm a) #

(QAArrow to, CanLog a, SuitableForWGParam prm a, SuitableForWGParam prm (LogType a)) => CanLog (WithGlobalParamA to prm a) Source # 

Associated Types

type LogType (WithGlobalParamA to prm a) :: * #

Methods

log :: WithGlobalParamA to prm a -> LogType (WithGlobalParamA to prm a) #

(QAArrow to, CanSinCos a, SuitableForWGParam prm a, SuitableForWGParam prm (SinCosType a)) => CanSinCos (WithGlobalParamA to prm a) Source # 

Associated Types

type SinCosType (WithGlobalParamA to prm a) :: * #

Methods

cos :: WithGlobalParamA to prm a -> SinCosType (WithGlobalParamA to prm a) #

sin :: WithGlobalParamA to prm a -> SinCosType (WithGlobalParamA to prm a) #

(QAArrow to0, CanPow a0 Rational, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (PowTypeNoCN a0 Rational), SuitableForWGParam prm0 (PowType a0 Rational)) => CanPow (WithGlobalParamA to0 prm0 a0) Rational Source # 

Associated Types

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

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

Methods

powNoCN :: WithGlobalParamA to0 prm0 a0 -> Rational -> PowTypeNoCN (WithGlobalParamA to0 prm0 a0) Rational #

pow :: WithGlobalParamA to0 prm0 a0 -> Rational -> PowType (WithGlobalParamA to0 prm0 a0) Rational #

(QAArrow to0, CanPow a0 Dyadic, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (PowTypeNoCN a0 Dyadic), SuitableForWGParam prm0 (PowType a0 Dyadic)) => CanPow (WithGlobalParamA to0 prm0 a0) Dyadic Source # 

Associated Types

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

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

Methods

powNoCN :: WithGlobalParamA to0 prm0 a0 -> Dyadic -> PowTypeNoCN (WithGlobalParamA to0 prm0 a0) Dyadic #

pow :: WithGlobalParamA to0 prm0 a0 -> Dyadic -> PowType (WithGlobalParamA to0 prm0 a0) Dyadic #

(QAArrow to0, CanPow a0 Int, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (PowTypeNoCN a0 Int), SuitableForWGParam prm0 (PowType a0 Int)) => CanPow (WithGlobalParamA to0 prm0 a0) Int Source # 

Associated Types

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

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

Methods

powNoCN :: WithGlobalParamA to0 prm0 a0 -> Int -> PowTypeNoCN (WithGlobalParamA to0 prm0 a0) Int #

pow :: WithGlobalParamA to0 prm0 a0 -> Int -> PowType (WithGlobalParamA to0 prm0 a0) Int #

(QAArrow to0, CanPow a0 Integer, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (PowTypeNoCN a0 Integer), SuitableForWGParam prm0 (PowType a0 Integer)) => CanPow (WithGlobalParamA to0 prm0 a0) Integer Source # 

Associated Types

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

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

Methods

powNoCN :: WithGlobalParamA to0 prm0 a0 -> Integer -> PowTypeNoCN (WithGlobalParamA to0 prm0 a0) Integer #

pow :: WithGlobalParamA to0 prm0 a0 -> Integer -> PowType (WithGlobalParamA to0 prm0 a0) Integer #

(CanPow (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (PowTypeNoCN (WithGlobalParamA to prm a) b), CanEnsureCE es (PowType (WithGlobalParamA to prm a) b), SuitableForCE es) => CanPow (WithGlobalParamA to prm a) (CollectErrors es b) Source # 

Associated Types

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

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

Methods

powNoCN :: WithGlobalParamA to prm a -> CollectErrors es b -> PowTypeNoCN (WithGlobalParamA to prm a) (CollectErrors es b) #

pow :: WithGlobalParamA to prm a -> CollectErrors es b -> PowType (WithGlobalParamA to prm a) (CollectErrors es b) #

(QAArrow to, CanPow a e, SuitableForWGParam prm a, SuitableForWGParam prm e, SuitableForWGParam prm (PowTypeNoCN a e), SuitableForWGParam prm (PowType a e)) => CanPow (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) Source # 

Associated Types

type PowTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) :: * #

type PowType (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) :: * #

Methods

powNoCN :: WithGlobalParamA to prm a -> WithGlobalParamA to prm e -> PowTypeNoCN (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) #

pow :: WithGlobalParamA to prm a -> WithGlobalParamA to prm e -> PowType (WithGlobalParamA to prm a) (WithGlobalParamA to prm e) #