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

AERN2.MP.WithCurrentPrec.Elementary

Contents

Orphan instances

Description

WithCurrentPrec elementary operations

Documentation

piCP :: KnownNat p => WithCurrentPrec (CN MPBall) p Source #

_example1 :: CN MPBall Source #

_example2 :: CN MPBall Source #

_example3 :: CN MPBall Source #

Orphan instances

(CanPow Int e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Int (WithCurrentPrec e p) Source #
Instance details Associated Types type PowType Int (WithCurrentPrec e p) # Methods pow :: Int -> WithCurrentPrec e p -> PowType Int (WithCurrentPrec e p) #
(CanPow Integer e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Integer (WithCurrentPrec e p) Source #
Instance details Associated Types type PowType Integer (WithCurrentPrec e p) # Methods pow :: Integer -> WithCurrentPrec e p -> PowType Integer (WithCurrentPrec e p) #
(CanPow Rational e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Rational (WithCurrentPrec e p) Source #
Instance details Associated Types type PowType Rational (WithCurrentPrec e p) # Methods pow :: Rational -> WithCurrentPrec e p -> PowType Rational (WithCurrentPrec e p) #
CanSqrt t => CanSqrt (WithCurrentPrec t p) Source #
Instance details Associated Types type SqrtType (WithCurrentPrec t p) # Methods sqrt :: WithCurrentPrec t p -> SqrtType (WithCurrentPrec t p) #
CanExp t => CanExp (WithCurrentPrec t p) Source #
Instance details Associated Types type ExpType (WithCurrentPrec t p) # Methods exp :: WithCurrentPrec t p -> ExpType (WithCurrentPrec t p) #
CanLog t => CanLog (WithCurrentPrec t p) Source #
Instance details Associated Types type LogType (WithCurrentPrec t p) # Methods log :: WithCurrentPrec t p -> LogType (WithCurrentPrec t p) #
CanSinCos t => CanSinCos (WithCurrentPrec t p) Source #
Instance details Associated Types type SinCosType (WithCurrentPrec t p) # Methods cos :: WithCurrentPrec t p -> SinCosType (WithCurrentPrec t p) # sin :: WithCurrentPrec t p -> SinCosType (WithCurrentPrec t p) #
CanPow b Rational => CanPow (WithCurrentPrec b p) Rational Source #
Instance details Associated Types type PowType (WithCurrentPrec b p) Rational # Methods pow :: WithCurrentPrec b p -> Rational -> PowType (WithCurrentPrec b p) Rational #
CanPow b Int => CanPow (WithCurrentPrec b p) Int Source #
Instance details Associated Types type PowType (WithCurrentPrec b p) Int # Methods pow :: WithCurrentPrec b p -> Int -> PowType (WithCurrentPrec b p) Int #
CanPow b Integer => CanPow (WithCurrentPrec b p) Integer Source #
Instance details Associated Types type PowType (WithCurrentPrec b p) Integer # Methods pow :: WithCurrentPrec b p -> Integer -> PowType (WithCurrentPrec b p) Integer #
(CanPow t1 t2, p1 ~ p2) => CanPow (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) Source #
Instance details Associated Types type PowType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # Methods pow :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> PowType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) #