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

AERN2.MP.WithCurrentPrec

Description

Type wrapper setting default precision.

Not suitable for use with MixedTypesNumPrelude since we need binary operators to enforce the same precision on both operands via the equality of their types.

Borrowed some tricks from https://github.com/ekmett/rounded/blob/master/src/Numeric/Rounded/Precision.hs

Synopsis

newtype WithCurrentPrec t p = WithCurrentPrec {
- unWithCurrentPrec :: t
}
runWithPrec :: Precision -> (forall n. KnownNat n => WithCurrentPrec t n) -> t
class HasCurrentPrecision p where
- getCurrentPrecision :: proxy p -> Precision
newtype WithAnyPrec t = WithAnyPrec (forall p. KnownNat p => WithCurrentPrec t p)

Documentation

newtype WithCurrentPrec t p Source #

Constructors

WithCurrentPrec
Fields unWithCurrentPrec :: t

Instances

Instances details

CanTakeErrors NumErrors t => CanTakeErrors NumErrors (WithCurrentPrec t p) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec Methods takeErrors :: NumErrors -> WithCurrentPrec t p -> WithCurrentPrec t p # takeErrorsNoValue :: NumErrors -> WithCurrentPrec t p #
(HasLimits ix (CN MPBall -> CN MPBall), LimitType ix (CN MPBall -> CN MPBall) ~ (CN MPBall -> CN MPBall), HasCurrentPrecision p) => HasLimits ix (WithCurrentPrec (CN MPBall) p) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec Associated Types type LimitType ix (WithCurrentPrec (CN MPBall) p) Source # Methods limit :: (ix -> WithCurrentPrec (CN MPBall) p) -> LimitType ix (WithCurrentPrec (CN MPBall) p) Source #
Eq t => Eq (WithCurrentPrec t p) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec Methods (==) :: WithCurrentPrec t p -> WithCurrentPrec t p -> Bool # (/=) :: WithCurrentPrec t p -> WithCurrentPrec t p -> Bool #
HasCurrentPrecision p => Floating (WithCurrentPrec (CN MPBall) p) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec Methods pi :: WithCurrentPrec (CN MPBall) p # exp :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # log :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # sqrt :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # (**) :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # logBase :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # sin :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # cos :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # tan :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # asin :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # acos :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # atan :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # sinh :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # cosh :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # tanh :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # asinh :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # acosh :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # atanh :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # log1p :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # expm1 :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # log1pexp :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p # log1mexp :: WithCurrentPrec (CN MPBall) p -> WithCurrentPrec (CN MPBall) p #
(HasCurrentPrecision p, Fractional t, ConvertibleWithPrecision Integer t, ConvertibleWithPrecision Rational t) => Fractional (WithCurrentPrec t p) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec Methods (/) :: WithCurrentPrec t p -> WithCurrentPrec t p -> WithCurrentPrec t p # recip :: WithCurrentPrec t p -> WithCurrentPrec t p # fromRational :: Rational -> WithCurrentPrec t p #
(HasCurrentPrecision p, Num t, ConvertibleWithPrecision Integer t) => Num (WithCurrentPrec t p) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec Methods (+) :: WithCurrentPrec t p -> WithCurrentPrec t p -> WithCurrentPrec t p # (-) :: WithCurrentPrec t p -> WithCurrentPrec t p -> WithCurrentPrec t p # (*) :: WithCurrentPrec t p -> WithCurrentPrec t p -> WithCurrentPrec t p # negate :: WithCurrentPrec t p -> WithCurrentPrec t p # abs :: WithCurrentPrec t p -> WithCurrentPrec t p # signum :: WithCurrentPrec t p -> WithCurrentPrec t p # fromInteger :: Integer -> WithCurrentPrec t p #
Ord t => Ord (WithCurrentPrec t p) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec Methods compare :: WithCurrentPrec t p -> WithCurrentPrec t p -> Ordering # (<) :: WithCurrentPrec t p -> WithCurrentPrec t p -> Bool # (<=) :: WithCurrentPrec t p -> WithCurrentPrec t p -> Bool # (>) :: WithCurrentPrec t p -> WithCurrentPrec t p -> Bool # (>=) :: WithCurrentPrec t p -> WithCurrentPrec t p -> Bool # max :: WithCurrentPrec t p -> WithCurrentPrec t p -> WithCurrentPrec t p # min :: WithCurrentPrec t p -> WithCurrentPrec t p -> WithCurrentPrec t p #
Show t => Show (WithCurrentPrec t p) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec Methods showsPrec :: Int -> WithCurrentPrec t p -> ShowS # show :: WithCurrentPrec t p -> String # showList :: [WithCurrentPrec t p] -> ShowS #
(CanMinMaxAsymmetric t1 t2, p1 ~ p2) => CanMinMaxAsymmetric (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec Associated Types type MinMaxType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # Methods min :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> MinMaxType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # max :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> MinMaxType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) #
HasOrderAsymmetric t1 t2 => HasOrderAsymmetric (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec Associated Types type OrderCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # Methods lessThan :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> OrderCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # greaterThan :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> OrderCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # leq :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> OrderCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # geq :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> OrderCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) #
type LimitType ix (WithCurrentPrec (CN MPBall) p) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec type LimitType ix (WithCurrentPrec (CN MPBall) p) = WithCurrentPrec (CN MPBall) p
type MinMaxType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec type MinMaxType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) = WithCurrentPrec (MinMaxType t1 t2) p1
type OrderCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec type OrderCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) = OrderCompareType t1 t2

runWithPrec :: Precision -> (forall n. KnownNat n => WithCurrentPrec t n) -> t Source #

class HasCurrentPrecision p where Source #

Methods

getCurrentPrecision :: proxy p -> Precision Source #

Instances

Instances details

KnownNat n => HasCurrentPrecision (n :: Nat) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec Methods getCurrentPrecision :: proxy n -> Precision Source #

newtype WithAnyPrec t Source #

An existential type wrapper for convenient conversions, eg using aern2-real:

_x :: KnownNat p => WithCurrentPrec (CN MPBall) p
_x = undefined

_r_x :: CReal
_r_x = creal $ WithAnyPrec _x

Constructors

WithAnyPrec (forall p. KnownNat p => WithCurrentPrec t p)