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

AERN2.AccuracySG

Description

strict and guide accuracy pairs

Synopsis

data AccuracySG = AccuracySG {
- _acStrict :: Accuracy
- _acGuide :: Accuracy
}
acSG0 :: AccuracySG
default_acSG :: AccuracySG
accuracySG :: Accuracy -> AccuracySG
bitsS :: Integer -> AccuracySG
bitsSG :: Integer -> Integer -> AccuracySG
accuracySGdefaultTolerance :: Integer
class CanAdjustToAccuracySG t where

Documentation

data AccuracySG #

An accuracy specification which includes a soft target "guide" accuracy in addition to the usual string accuracy requirement.

Constructors

AccuracySG
Fields _acStrict :: Accuracy _acGuide :: Accuracy

Instances

Eq AccuracySG #
Instance details Defined in AERN2.AccuracySG Methods (==) :: AccuracySG -> AccuracySG -> Bool # (/=) :: AccuracySG -> AccuracySG -> Bool #
Show AccuracySG #
Instance details Defined in AERN2.AccuracySG Methods showsPrec :: Int -> AccuracySG -> ShowS # show :: AccuracySG -> String # showList :: [AccuracySG] -> ShowS #
CanAddAsymmetric Integer AccuracySG #
Instance details Defined in AERN2.AccuracySG Associated Types type AddType Integer AccuracySG :: * # Methods add :: Integer -> AccuracySG -> AddType Integer AccuracySG #
CanAddAsymmetric AccuracySG Integer #
Instance details Defined in AERN2.AccuracySG Associated Types type AddType AccuracySG Integer :: * # Methods add :: AccuracySG -> Integer -> AddType AccuracySG Integer #
CanSub AccuracySG Integer #
Instance details Defined in AERN2.AccuracySG Associated Types type SubType AccuracySG Integer :: * # Methods sub :: AccuracySG -> Integer -> SubType AccuracySG Integer #
CanMinMaxAsymmetric AccuracySG AccuracySG #
Instance details Defined in AERN2.AccuracySG Associated Types type MinMaxType AccuracySG AccuracySG :: * # Methods min :: AccuracySG -> AccuracySG -> MinMaxType AccuracySG AccuracySG # max :: AccuracySG -> AccuracySG -> MinMaxType AccuracySG AccuracySG #
HasEqAsymmetric AccuracySG AccuracySG #
Instance details Defined in AERN2.AccuracySG Associated Types type EqCompareType AccuracySG AccuracySG :: * # Methods equalTo :: AccuracySG -> AccuracySG -> EqCompareType AccuracySG AccuracySG # notEqualTo :: AccuracySG -> AccuracySG -> EqCompareType AccuracySG AccuracySG #
HasOrderAsymmetric Accuracy AccuracySG #
Instance details Defined in AERN2.AccuracySG Associated Types type OrderCompareType Accuracy AccuracySG :: * # Methods lessThan :: Accuracy -> AccuracySG -> OrderCompareType Accuracy AccuracySG # greaterThan :: Accuracy -> AccuracySG -> OrderCompareType Accuracy AccuracySG # leq :: Accuracy -> AccuracySG -> OrderCompareType Accuracy AccuracySG # geq :: Accuracy -> AccuracySG -> OrderCompareType Accuracy AccuracySG #
HasOrderAsymmetric AccuracySG Accuracy #
Instance details Defined in AERN2.AccuracySG Associated Types type OrderCompareType AccuracySG Accuracy :: * # Methods lessThan :: AccuracySG -> Accuracy -> OrderCompareType AccuracySG Accuracy # greaterThan :: AccuracySG -> Accuracy -> OrderCompareType AccuracySG Accuracy # leq :: AccuracySG -> Accuracy -> OrderCompareType AccuracySG Accuracy # geq :: AccuracySG -> Accuracy -> OrderCompareType AccuracySG Accuracy #
HasOrderAsymmetric AccuracySG AccuracySG #
Instance details Defined in AERN2.AccuracySG Associated Types type OrderCompareType AccuracySG AccuracySG :: * # Methods lessThan :: AccuracySG -> AccuracySG -> OrderCompareType AccuracySG AccuracySG # greaterThan :: AccuracySG -> AccuracySG -> OrderCompareType AccuracySG AccuracySG # leq :: AccuracySG -> AccuracySG -> OrderCompareType AccuracySG AccuracySG # geq :: AccuracySG -> AccuracySG -> OrderCompareType AccuracySG AccuracySG #
ConvertibleExactly AccuracySG Accuracy #
Instance details Defined in AERN2.AccuracySG Methods safeConvertExactly :: AccuracySG -> ConvertResult Accuracy #
(Arrow to, CanUnionAsymmetric e1 e2) => CanUnionAsymmetric (to AccuracySG e1) (to AccuracySG e2) #
Instance details Defined in AERN2.AccuracySG Associated Types type UnionType (to AccuracySG e1) (to AccuracySG e2) :: * # Methods union :: to AccuracySG e1 -> to AccuracySG e2 -> UnionType (to AccuracySG e1) (to AccuracySG e2) #
type AddType Integer AccuracySG #
Instance details Defined in AERN2.AccuracySG type AddType Integer AccuracySG = AccuracySG
type AddType AccuracySG Integer #
Instance details Defined in AERN2.AccuracySG type AddType AccuracySG Integer = AccuracySG
type SubType AccuracySG Integer #
Instance details Defined in AERN2.AccuracySG type SubType AccuracySG Integer = AddType AccuracySG (NegType Integer)
type MinMaxType AccuracySG AccuracySG #
Instance details Defined in AERN2.AccuracySG type MinMaxType AccuracySG AccuracySG = AccuracySG
type EqCompareType AccuracySG AccuracySG #
Instance details Defined in AERN2.AccuracySG type EqCompareType AccuracySG AccuracySG = Bool
type OrderCompareType Accuracy AccuracySG #
Instance details Defined in AERN2.AccuracySG type OrderCompareType Accuracy AccuracySG = Bool
type OrderCompareType AccuracySG Accuracy #
Instance details Defined in AERN2.AccuracySG type OrderCompareType AccuracySG Accuracy = Bool
type OrderCompareType AccuracySG AccuracySG #
Instance details Defined in AERN2.AccuracySG type OrderCompareType AccuracySG AccuracySG = Bool
type UnionType (to AccuracySG e1) (to AccuracySG e2) #
Instance details Defined in AERN2.AccuracySG type UnionType (to AccuracySG e1) (to AccuracySG e2) = to AccuracySG (UnionType e1 e2)

acSG0 :: AccuracySG #

default_acSG :: AccuracySG #

accuracySG :: Accuracy -> AccuracySG #

bitsS :: Integer -> AccuracySG #

bitsSG :: Integer -> Integer -> AccuracySG #

accuracySGdefaultTolerance :: Integer #

class CanAdjustToAccuracySG t where #

Minimal complete definition

adjustToAccuracySG

Methods

adjustToAccuracySG :: AccuracySG -> t -> t #

Instances

CanAdjustToAccuracySG Bool #
Instance details Defined in AERN2.AccuracySG Methods adjustToAccuracySG :: AccuracySG -> Bool -> Bool #
CanAdjustToAccuracySG MPBall #
Instance details Defined in AERN2.AccuracySG Methods adjustToAccuracySG :: AccuracySG -> MPBall -> MPBall #
CanAdjustToAccuracySG t => CanAdjustToAccuracySG (Maybe t) #
Instance details Defined in AERN2.AccuracySG Methods adjustToAccuracySG :: AccuracySG -> Maybe t -> Maybe t #
CanAdjustToAccuracySG t => CanAdjustToAccuracySG (CollectErrors es t) #
Instance details Defined in AERN2.AccuracySG Methods adjustToAccuracySG :: AccuracySG -> CollectErrors es t -> CollectErrors es t #