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

Documentation

data AccuracySG Source #

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 Source #
Methods (==) :: AccuracySG -> AccuracySG -> Bool # (/=) :: AccuracySG -> AccuracySG -> Bool #
Show AccuracySG Source #
Methods showsPrec :: Int -> AccuracySG -> ShowS # show :: AccuracySG -> String # showList :: [AccuracySG] -> ShowS #
CanAddAsymmetric Integer AccuracySG Source #
Associated Types type AddType Integer AccuracySG :: * # Methods add :: Integer -> AccuracySG -> AddType Integer AccuracySG #
CanAddAsymmetric AccuracySG Integer Source #
Associated Types type AddType AccuracySG Integer :: * # Methods add :: AccuracySG -> Integer -> AddType AccuracySG Integer #
CanSub AccuracySG Integer Source #
Associated Types type SubType AccuracySG Integer :: * # Methods sub :: AccuracySG -> Integer -> SubType AccuracySG Integer #
CanMinMaxAsymmetric AccuracySG AccuracySG Source #
Associated Types type MinMaxType AccuracySG AccuracySG :: * # Methods min :: AccuracySG -> AccuracySG -> MinMaxType AccuracySG AccuracySG # max :: AccuracySG -> AccuracySG -> MinMaxType AccuracySG AccuracySG #
HasOrderAsymmetric Accuracy AccuracySG Source #
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 Source #
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 Source #
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 #
HasEqAsymmetric AccuracySG AccuracySG Source #
Associated Types type EqCompareType AccuracySG AccuracySG :: * # Methods equalTo :: AccuracySG -> AccuracySG -> EqCompareType AccuracySG AccuracySG # notEqualTo :: AccuracySG -> AccuracySG -> EqCompareType AccuracySG AccuracySG #
ConvertibleExactly AccuracySG Accuracy Source #
Methods safeConvertExactly :: AccuracySG -> ConvertResult Accuracy #
(Arrow to, CanUnionAsymmetric e1 e2) => CanUnionAsymmetric (to AccuracySG e1) (to AccuracySG e2) Source #
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 Source #
type AddType Integer AccuracySG = AccuracySG
type AddType AccuracySG Integer Source #
type AddType AccuracySG Integer = AccuracySG
type SubType AccuracySG Integer Source #
type SubType AccuracySG Integer = AddType AccuracySG (NegType Integer)
type MinMaxType AccuracySG AccuracySG Source #
type MinMaxType AccuracySG AccuracySG = AccuracySG
type OrderCompareType Accuracy AccuracySG Source #
type OrderCompareType Accuracy AccuracySG = Bool
type OrderCompareType AccuracySG Accuracy Source #
type OrderCompareType AccuracySG Accuracy = Bool
type OrderCompareType AccuracySG AccuracySG Source #
type OrderCompareType AccuracySG AccuracySG = Bool
type EqCompareType AccuracySG AccuracySG Source #
type EqCompareType AccuracySG AccuracySG = Bool
type UnionType (to AccuracySG e1) (to AccuracySG e2) Source #
type UnionType (to AccuracySG e1) (to AccuracySG e2) = to AccuracySG (UnionType e1 e2)

acSG0 :: AccuracySG Source #

default_acSG :: AccuracySG Source #

accuracySG :: Accuracy -> AccuracySG Source #

bitsS :: Integer -> AccuracySG Source #

bitsSG :: Integer -> Integer -> AccuracySG Source #

accuracySGdefaultTolerance :: Integer Source #

class CanAdjustToAccuracySG t where Source #

Minimal complete definition

adjustToAccuracySG

Methods

adjustToAccuracySG :: AccuracySG -> t -> t Source #

Instances

CanAdjustToAccuracySG Bool Source #
Methods adjustToAccuracySG :: AccuracySG -> Bool -> Bool Source #
CanAdjustToAccuracySG MPBall Source #
Methods adjustToAccuracySG :: AccuracySG -> MPBall -> MPBall Source #
CanAdjustToAccuracySG t => CanAdjustToAccuracySG (Maybe t) Source #
Methods adjustToAccuracySG :: AccuracySG -> Maybe t -> Maybe t Source #
CanAdjustToAccuracySG t => CanAdjustToAccuracySG (CollectErrors es t) Source #
Methods adjustToAccuracySG :: AccuracySG -> CollectErrors es t -> CollectErrors es t Source #