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

AERN2.MP.WithCurrentPrec.PreludeInstances

Contents

Orphan instances

Description

WithCurrentPrec instances of Prelude classes

Documentation

_example1P :: CN MPBall Source #

_example2P :: CN MPBall Source #

_example3P :: CN MPBall Source #

Orphan instances

Eq t => Eq (WithCurrentPrec p t) Source #
Instance details Methods (==) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool # (/=) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool #
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, Fractional t, ConvertibleWithPrecision Integer t, ConvertibleWithPrecision Rational t) => Fractional (WithCurrentPrec p t) Source #
Instance details Methods (/) :: WithCurrentPrec p t -> WithCurrentPrec p t -> WithCurrentPrec p t # recip :: WithCurrentPrec p t -> WithCurrentPrec p t # fromRational :: Rational -> WithCurrentPrec p t #
(KnownNat p, Num t, ConvertibleWithPrecision Integer t) => Num (WithCurrentPrec p t) Source #
Instance details Methods (+) :: WithCurrentPrec p t -> WithCurrentPrec p t -> WithCurrentPrec p t # (-) :: WithCurrentPrec p t -> WithCurrentPrec p t -> WithCurrentPrec p t # (*) :: WithCurrentPrec p t -> WithCurrentPrec p t -> WithCurrentPrec p t # negate :: WithCurrentPrec p t -> WithCurrentPrec p t # abs :: WithCurrentPrec p t -> WithCurrentPrec p t # signum :: WithCurrentPrec p t -> WithCurrentPrec p t # fromInteger :: Integer -> WithCurrentPrec p t #
Ord t => Ord (WithCurrentPrec p t) Source #
Instance details Methods compare :: WithCurrentPrec p t -> WithCurrentPrec p t -> Ordering # (<) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool # (<=) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool # (>) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool # (>=) :: WithCurrentPrec p t -> WithCurrentPrec p t -> Bool # max :: WithCurrentPrec p t -> WithCurrentPrec p t -> WithCurrentPrec p t # min :: WithCurrentPrec p t -> WithCurrentPrec p t -> WithCurrentPrec p t #