| Copyright | (c) Michal Konecny |
|---|---|
| License | BSD3 |
| Maintainer | mikkonecny@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell98 |
AERN2.MP.Precision
Description
Floating-point precision type and its operations
Documentation
Instances
class HasPrecision t where #
Minimal complete definition
Methods
getPrecision :: t -> Precision #
Instances
| HasPrecision Bool # | |
| HasPrecision Dyadic # | |
| HasPrecision MPBall # | |
| HasPrecision t => HasPrecision (Maybe t) # | |
| HasPrecision t => HasPrecision (Complex t) # | |
| HasPrecision t => HasPrecision (CollectErrors es t) # | |
class HasPrecision t => CanSetPrecision t where #
Minimal complete definition
Methods
setPrecision :: Precision -> t -> t #
Instances
| CanSetPrecision Bool # | |
| CanSetPrecision MPBall # | |
| CanSetPrecision t => CanSetPrecision (Maybe t) # | |
| CanSetPrecision t => CanSetPrecision (Complex t) # | |
| CanSetPrecision t => CanSetPrecision (CollectErrors es t) # | |
lowerPrecisionIfAbove :: CanSetPrecision t => Precision -> t -> t #
raisePrecisionIfBelow :: CanSetPrecision t => Precision -> t -> t #
specCanSetPrecision :: (CanSetPrecision t, Arbitrary t, Show t, Testable prop) => T t -> (t -> t -> prop) -> Spec #
standardPrecisions :: Precision -> [Precision] #
precisionTimes2 :: Precision -> Precision #
class ConvertibleWithPrecision t1 t2 where #
Minimal complete definition
Methods
safeConvertP :: Precision -> t1 -> ConvertResult t2 #
Instances
| (ConvertibleWithPrecision Bool t, Monoid es) => ConvertibleWithPrecision Bool (CollectErrors es t) # | |
| (ConvertibleWithPrecision Double t, Monoid es) => ConvertibleWithPrecision Double (CollectErrors es t) # | |
| (ConvertibleWithPrecision Int t, Monoid es) => ConvertibleWithPrecision Int (CollectErrors es t) # | |
| (ConvertibleWithPrecision Integer t, Monoid es) => ConvertibleWithPrecision Integer (CollectErrors es t) # | |
| (ConvertibleWithPrecision Rational t, Monoid es) => ConvertibleWithPrecision Rational (CollectErrors es t) # | |
convertP :: ConvertibleWithPrecision t1 t2 => Precision -> t1 -> t2 #
convertPFirst :: (ConvertibleWithPrecision t1 t2, HasPrecision t2) => (t2 -> t2 -> c) -> t1 -> t2 -> c #
convertPSecond :: (ConvertibleWithPrecision t2 t1, HasPrecision t1) => (t1 -> t1 -> c) -> t1 -> t2 -> c #