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

AERN2.MP.WithCurrentPrec.Elementary

Contents

Orphan instances

Description

WithCurrentPrec elementary operations

Documentation

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

_example1 :: CN MPBall Source #

_example2 :: CN MPBall Source #

_example3 :: CN MPBall Source #

Orphan instances

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