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

AERN2.Real.Elementary

Contents

Orphan instances

Description

Selected elementary operations on Cauchy Real numbers.

Documentation

pi :: CReal Source #

Orphan instances

Floating CReal Source #
Instance details Methods pi :: CReal # exp :: CReal -> CReal # log :: CReal -> CReal # sqrt :: CReal -> CReal # (**) :: CReal -> CReal -> CReal # logBase :: CReal -> CReal -> CReal # sin :: CReal -> CReal # cos :: CReal -> CReal # tan :: CReal -> CReal # asin :: CReal -> CReal # acos :: CReal -> CReal # atan :: CReal -> CReal # sinh :: CReal -> CReal # cosh :: CReal -> CReal # tanh :: CReal -> CReal # asinh :: CReal -> CReal # acosh :: CReal -> CReal # atanh :: CReal -> CReal # log1p :: CReal -> CReal # expm1 :: CReal -> CReal # log1pexp :: CReal -> CReal # log1mexp :: CReal -> CReal #
CanSqrt Int Source #
Instance details Associated Types type SqrtType Int # Methods sqrt :: Int -> SqrtType Int #
CanSqrt Integer Source #
Instance details Associated Types type SqrtType Integer # Methods sqrt :: Integer -> SqrtType Integer #
CanSqrt Rational Source #
Instance details Associated Types type SqrtType Rational # Methods sqrt :: Rational -> SqrtType Rational #
CanSqrt Dyadic Source #
Instance details Associated Types type SqrtType Dyadic # Methods sqrt :: Dyadic -> SqrtType Dyadic #
CanSqrt CReal Source #
Instance details Associated Types type SqrtType CReal # Methods sqrt :: CReal -> SqrtType CReal #
CanExp Int Source #
Instance details Associated Types type ExpType Int # Methods exp :: Int -> ExpType Int #
CanExp Integer Source #
Instance details Associated Types type ExpType Integer # Methods exp :: Integer -> ExpType Integer #
CanExp Rational Source #
Instance details Associated Types type ExpType Rational # Methods exp :: Rational -> ExpType Rational #
CanExp Dyadic Source #
Instance details Associated Types type ExpType Dyadic # Methods exp :: Dyadic -> ExpType Dyadic #
CanExp CReal Source #
Instance details Associated Types type ExpType CReal # Methods exp :: CReal -> ExpType CReal #
CanLog Int Source #
Instance details Associated Types type LogType Int # Methods log :: Int -> LogType Int #
CanLog Integer Source #
Instance details Associated Types type LogType Integer # Methods log :: Integer -> LogType Integer #
CanLog Rational Source #
Instance details Associated Types type LogType Rational # Methods log :: Rational -> LogType Rational #
CanLog Dyadic Source #
Instance details Associated Types type LogType Dyadic # Methods log :: Dyadic -> LogType Dyadic #
CanLog CReal Source #
Instance details Associated Types type LogType CReal # Methods log :: CReal -> LogType CReal #
CanSinCos Int Source #
Instance details Associated Types type SinCosType Int # Methods cos :: Int -> SinCosType Int # sin :: Int -> SinCosType Int #
CanSinCos Integer Source #
Instance details Associated Types type SinCosType Integer # Methods cos :: Integer -> SinCosType Integer # sin :: Integer -> SinCosType Integer #
CanSinCos Rational Source #
Instance details Associated Types type SinCosType Rational # Methods cos :: Rational -> SinCosType Rational # sin :: Rational -> SinCosType Rational #
CanSinCos Dyadic Source #
Instance details Associated Types type SinCosType Dyadic # Methods cos :: Dyadic -> SinCosType Dyadic # sin :: Dyadic -> SinCosType Dyadic #
CanSinCos CReal Source #
Instance details Associated Types type SinCosType CReal # Methods cos :: CReal -> SinCosType CReal # sin :: CReal -> SinCosType CReal #
CanPow Int Rational Source #
Instance details Associated Types type PowType Int Rational # type PPowType Int Rational # Methods pow :: Int -> Rational -> PowType Int Rational # ppow :: Int -> Rational -> PPowType Int Rational #
CanPow Int Dyadic Source #
Instance details Associated Types type PowType Int Dyadic # type PPowType Int Dyadic # Methods pow :: Int -> Dyadic -> PowType Int Dyadic # ppow :: Int -> Dyadic -> PPowType Int Dyadic #
CanPow Integer Rational Source #
Instance details Associated Types type PowType Integer Rational # type PPowType Integer Rational # Methods pow :: Integer -> Rational -> PowType Integer Rational # ppow :: Integer -> Rational -> PPowType Integer Rational #
CanPow Integer Dyadic Source #
Instance details Associated Types type PowType Integer Dyadic # type PPowType Integer Dyadic # Methods pow :: Integer -> Dyadic -> PowType Integer Dyadic # ppow :: Integer -> Dyadic -> PPowType Integer Dyadic #
CanPow Rational Rational Source #
Instance details Associated Types type PowType Rational Rational # type PPowType Rational Rational # Methods pow :: Rational -> Rational -> PowType Rational Rational # ppow :: Rational -> Rational -> PPowType Rational Rational #
CanPow Rational Dyadic Source #
Instance details Associated Types type PowType Rational Dyadic # type PPowType Rational Dyadic # Methods pow :: Rational -> Dyadic -> PowType Rational Dyadic # ppow :: Rational -> Dyadic -> PPowType Rational Dyadic #
CanPow Dyadic Rational Source #
Instance details Associated Types type PowType Dyadic Rational # type PPowType Dyadic Rational # Methods pow :: Dyadic -> Rational -> PowType Dyadic Rational # ppow :: Dyadic -> Rational -> PPowType Dyadic Rational #
CanPow Dyadic Dyadic Source #
Instance details Associated Types type PowType Dyadic Dyadic # type PPowType Dyadic Dyadic # Methods pow :: Dyadic -> Dyadic -> PowType Dyadic Dyadic # ppow :: Dyadic -> Dyadic -> PPowType Dyadic Dyadic #