aern2-mp-0.2.16.1: Multi-precision ball (interval) arithmetic
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

AERN2.MP.WithCurrentPrec.PreludeInstances

Description

WithCurrentPrec instances of Prelude classes

Documentation

Orphan instances

KnownNat p => Floating (WithCurrentPrec p (CN MPBall)) Source # 
Instance details

Methods

pi :: WithCurrentPrec p (CN MPBall) #

exp :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

log :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

sqrt :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

(**) :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

logBase :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

sin :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

cos :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

tan :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

asin :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

acos :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

atan :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

sinh :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

cosh :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

tanh :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

asinh :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

acosh :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

atanh :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

log1p :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

expm1 :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

log1pexp :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

log1mexp :: WithCurrentPrec p (CN MPBall) -> WithCurrentPrec p (CN MPBall) #

(KnownNat p, Num t, ConvertibleWithPrecision Integer t) => Num (WithCurrentPrec p t) Source # 
Instance details

(KnownNat p, Fractional t, ConvertibleWithPrecision Integer t, ConvertibleWithPrecision Rational t) => Fractional (WithCurrentPrec p t) Source # 
Instance details

Eq t => Eq (WithCurrentPrec p t) Source # 
Instance details

Ord t => Ord (WithCurrentPrec p t) Source # 
Instance details