aern2-real-0.1.0.2: Exact real numbers via Cauchy sequences and MPFR

Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell98

AERN2.WithGlobalParam.Comparison

Contents

Description

Comparison operations on WithGlobalParam objects.

Orphan instances

(QAArrow to0, CanMinMaxAsymmetric Int b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (MinMaxType Int b0)) => CanMinMaxAsymmetric Int (WithGlobalParamA to0 prm0 b0) Source # 

Associated Types

type MinMaxType Int (WithGlobalParamA to0 prm0 b0) :: * #

Methods

min :: Int -> WithGlobalParamA to0 prm0 b0 -> MinMaxType Int (WithGlobalParamA to0 prm0 b0) #

max :: Int -> WithGlobalParamA to0 prm0 b0 -> MinMaxType Int (WithGlobalParamA to0 prm0 b0) #

(QAArrow to0, CanMinMaxAsymmetric Integer b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (MinMaxType Integer b0)) => CanMinMaxAsymmetric Integer (WithGlobalParamA to0 prm0 b0) Source # 

Associated Types

type MinMaxType Integer (WithGlobalParamA to0 prm0 b0) :: * #

Methods

min :: Integer -> WithGlobalParamA to0 prm0 b0 -> MinMaxType Integer (WithGlobalParamA to0 prm0 b0) #

max :: Integer -> WithGlobalParamA to0 prm0 b0 -> MinMaxType Integer (WithGlobalParamA to0 prm0 b0) #

(QAArrow to0, CanMinMaxAsymmetric Rational b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (MinMaxType Rational b0)) => CanMinMaxAsymmetric Rational (WithGlobalParamA to0 prm0 b0) Source # 

Associated Types

type MinMaxType Rational (WithGlobalParamA to0 prm0 b0) :: * #

Methods

min :: Rational -> WithGlobalParamA to0 prm0 b0 -> MinMaxType Rational (WithGlobalParamA to0 prm0 b0) #

max :: Rational -> WithGlobalParamA to0 prm0 b0 -> MinMaxType Rational (WithGlobalParamA to0 prm0 b0) #

(QAArrow to0, CanMinMaxAsymmetric Dyadic b0, SuitableForWGParam prm0 b0, SuitableForWGParam prm0 (MinMaxType Dyadic b0)) => CanMinMaxAsymmetric Dyadic (WithGlobalParamA to0 prm0 b0) Source # 

Associated Types

type MinMaxType Dyadic (WithGlobalParamA to0 prm0 b0) :: * #

Methods

min :: Dyadic -> WithGlobalParamA to0 prm0 b0 -> MinMaxType Dyadic (WithGlobalParamA to0 prm0 b0) #

max :: Dyadic -> WithGlobalParamA to0 prm0 b0 -> MinMaxType Dyadic (WithGlobalParamA to0 prm0 b0) #

(QAArrow to0, HasOrderAsymmetric Int a0, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (OrderCompareType Int a0)) => HasOrderAsymmetric Int (WithGlobalParamA to0 prm0 a0) Source # 

Associated Types

type OrderCompareType Int (WithGlobalParamA to0 prm0 a0) :: * #

Methods

lessThan :: Int -> WithGlobalParamA to0 prm0 a0 -> OrderCompareType Int (WithGlobalParamA to0 prm0 a0) #

greaterThan :: Int -> WithGlobalParamA to0 prm0 a0 -> OrderCompareType Int (WithGlobalParamA to0 prm0 a0) #

leq :: Int -> WithGlobalParamA to0 prm0 a0 -> OrderCompareType Int (WithGlobalParamA to0 prm0 a0) #

geq :: Int -> WithGlobalParamA to0 prm0 a0 -> OrderCompareType Int (WithGlobalParamA to0 prm0 a0) #

(QAArrow to0, HasOrderAsymmetric Integer a0, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (OrderCompareType Integer a0)) => HasOrderAsymmetric Integer (WithGlobalParamA to0 prm0 a0) Source # 

Associated Types

type OrderCompareType Integer (WithGlobalParamA to0 prm0 a0) :: * #

(QAArrow to0, HasOrderAsymmetric Rational a0, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (OrderCompareType Rational a0)) => HasOrderAsymmetric Rational (WithGlobalParamA to0 prm0 a0) Source # 
(QAArrow to0, HasOrderAsymmetric Dyadic a0, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (OrderCompareType Dyadic a0)) => HasOrderAsymmetric Dyadic (WithGlobalParamA to0 prm0 a0) Source # 

Associated Types

type OrderCompareType Dyadic (WithGlobalParamA to0 prm0 a0) :: * #

(QAArrow to0, HasEqAsymmetric Int a0, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (EqCompareType Int a0)) => HasEqAsymmetric Int (WithGlobalParamA to0 prm0 a0) Source # 

Associated Types

type EqCompareType Int (WithGlobalParamA to0 prm0 a0) :: * #

Methods

equalTo :: Int -> WithGlobalParamA to0 prm0 a0 -> EqCompareType Int (WithGlobalParamA to0 prm0 a0) #

notEqualTo :: Int -> WithGlobalParamA to0 prm0 a0 -> EqCompareType Int (WithGlobalParamA to0 prm0 a0) #

(QAArrow to0, HasEqAsymmetric Integer a0, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (EqCompareType Integer a0)) => HasEqAsymmetric Integer (WithGlobalParamA to0 prm0 a0) Source # 

Associated Types

type EqCompareType Integer (WithGlobalParamA to0 prm0 a0) :: * #

(QAArrow to0, HasEqAsymmetric Rational a0, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (EqCompareType Rational a0)) => HasEqAsymmetric Rational (WithGlobalParamA to0 prm0 a0) Source # 

Associated Types

type EqCompareType Rational (WithGlobalParamA to0 prm0 a0) :: * #

(QAArrow to0, HasEqAsymmetric Dyadic a0, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (EqCompareType Dyadic a0)) => HasEqAsymmetric Dyadic (WithGlobalParamA to0 prm0 a0) Source # 

Associated Types

type EqCompareType Dyadic (WithGlobalParamA to0 prm0 a0) :: * #

Methods

equalTo :: Dyadic -> WithGlobalParamA to0 prm0 a0 -> EqCompareType Dyadic (WithGlobalParamA to0 prm0 a0) #

notEqualTo :: Dyadic -> WithGlobalParamA to0 prm0 a0 -> EqCompareType Dyadic (WithGlobalParamA to0 prm0 a0) #

(QAArrow to, HasBools b, SuitableForWGParam prm b) => ConvertibleExactly Bool (WithGlobalParamA to prm b) Source # 
(CanMinMaxAsymmetric a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (MinMaxType a (WithGlobalParamA to prm b)), SuitableForCE es) => CanMinMaxAsymmetric (CollectErrors es a) (WithGlobalParamA to prm b) Source # 

Associated Types

type MinMaxType (CollectErrors es a) (WithGlobalParamA to prm b) :: * #

Methods

min :: CollectErrors es a -> WithGlobalParamA to prm b -> MinMaxType (CollectErrors es a) (WithGlobalParamA to prm b) #

max :: CollectErrors es a -> WithGlobalParamA to prm b -> MinMaxType (CollectErrors es a) (WithGlobalParamA to prm b) #

(HasOrderAsymmetric a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (OrderCompareType a (WithGlobalParamA to prm b)), IsBool (EnsureCE es (OrderCompareType a (WithGlobalParamA to prm b))), SuitableForCE es) => HasOrderAsymmetric (CollectErrors es a) (WithGlobalParamA to prm b) Source # 
(HasEqAsymmetric a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (EqCompareType a (WithGlobalParamA to prm b)), IsBool (EnsureCE es (EqCompareType a (WithGlobalParamA to prm b))), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) (WithGlobalParamA to prm b) Source # 

Associated Types

type EqCompareType (CollectErrors es a) (WithGlobalParamA to prm b) :: * #

(QAArrow to, CanAbs a, SuitableForWGParam prm a, SuitableForWGParam prm (AbsType a)) => CanAbs (WithGlobalParamA to prm a) Source # 

Associated Types

type AbsType (WithGlobalParamA to prm a) :: * #

Methods

abs :: WithGlobalParamA to prm a -> AbsType (WithGlobalParamA to prm a) #

(QAArrow to, CanNeg a, SuitableForWGParam prm a, SuitableForWGParam prm (NegType a)) => CanNeg (WithGlobalParamA to prm a) Source # 

Associated Types

type NegType (WithGlobalParamA to prm a) :: * #

Methods

negate :: WithGlobalParamA to prm a -> NegType (WithGlobalParamA to prm a) #

(QAArrow to0, CanMinMaxAsymmetric a0 Dyadic, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (MinMaxType a0 Dyadic)) => CanMinMaxAsymmetric (WithGlobalParamA to0 prm0 a0) Dyadic Source # 

Associated Types

type MinMaxType (WithGlobalParamA to0 prm0 a0) Dyadic :: * #

Methods

min :: WithGlobalParamA to0 prm0 a0 -> Dyadic -> MinMaxType (WithGlobalParamA to0 prm0 a0) Dyadic #

max :: WithGlobalParamA to0 prm0 a0 -> Dyadic -> MinMaxType (WithGlobalParamA to0 prm0 a0) Dyadic #

(QAArrow to0, CanMinMaxAsymmetric a0 Rational, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (MinMaxType a0 Rational)) => CanMinMaxAsymmetric (WithGlobalParamA to0 prm0 a0) Rational Source # 

Associated Types

type MinMaxType (WithGlobalParamA to0 prm0 a0) Rational :: * #

Methods

min :: WithGlobalParamA to0 prm0 a0 -> Rational -> MinMaxType (WithGlobalParamA to0 prm0 a0) Rational #

max :: WithGlobalParamA to0 prm0 a0 -> Rational -> MinMaxType (WithGlobalParamA to0 prm0 a0) Rational #

(QAArrow to0, CanMinMaxAsymmetric a0 Int, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (MinMaxType a0 Int)) => CanMinMaxAsymmetric (WithGlobalParamA to0 prm0 a0) Int Source # 

Associated Types

type MinMaxType (WithGlobalParamA to0 prm0 a0) Int :: * #

Methods

min :: WithGlobalParamA to0 prm0 a0 -> Int -> MinMaxType (WithGlobalParamA to0 prm0 a0) Int #

max :: WithGlobalParamA to0 prm0 a0 -> Int -> MinMaxType (WithGlobalParamA to0 prm0 a0) Int #

(QAArrow to0, CanMinMaxAsymmetric a0 Integer, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (MinMaxType a0 Integer)) => CanMinMaxAsymmetric (WithGlobalParamA to0 prm0 a0) Integer Source # 

Associated Types

type MinMaxType (WithGlobalParamA to0 prm0 a0) Integer :: * #

Methods

min :: WithGlobalParamA to0 prm0 a0 -> Integer -> MinMaxType (WithGlobalParamA to0 prm0 a0) Integer #

max :: WithGlobalParamA to0 prm0 a0 -> Integer -> MinMaxType (WithGlobalParamA to0 prm0 a0) Integer #

(QAArrow to0, HasOrderAsymmetric a0 Dyadic, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (OrderCompareType a0 Dyadic)) => HasOrderAsymmetric (WithGlobalParamA to0 prm0 a0) Dyadic Source # 

Associated Types

type OrderCompareType (WithGlobalParamA to0 prm0 a0) Dyadic :: * #

(QAArrow to0, HasOrderAsymmetric a0 Rational, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (OrderCompareType a0 Rational)) => HasOrderAsymmetric (WithGlobalParamA to0 prm0 a0) Rational Source # 
(QAArrow to0, HasOrderAsymmetric a0 Int, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (OrderCompareType a0 Int)) => HasOrderAsymmetric (WithGlobalParamA to0 prm0 a0) Int Source # 

Associated Types

type OrderCompareType (WithGlobalParamA to0 prm0 a0) Int :: * #

Methods

lessThan :: WithGlobalParamA to0 prm0 a0 -> Int -> OrderCompareType (WithGlobalParamA to0 prm0 a0) Int #

greaterThan :: WithGlobalParamA to0 prm0 a0 -> Int -> OrderCompareType (WithGlobalParamA to0 prm0 a0) Int #

leq :: WithGlobalParamA to0 prm0 a0 -> Int -> OrderCompareType (WithGlobalParamA to0 prm0 a0) Int #

geq :: WithGlobalParamA to0 prm0 a0 -> Int -> OrderCompareType (WithGlobalParamA to0 prm0 a0) Int #

(QAArrow to0, HasOrderAsymmetric a0 Integer, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (OrderCompareType a0 Integer)) => HasOrderAsymmetric (WithGlobalParamA to0 prm0 a0) Integer Source # 

Associated Types

type OrderCompareType (WithGlobalParamA to0 prm0 a0) Integer :: * #

(QAArrow to0, HasEqAsymmetric a0 Dyadic, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (EqCompareType a0 Dyadic)) => HasEqAsymmetric (WithGlobalParamA to0 prm0 a0) Dyadic Source # 

Associated Types

type EqCompareType (WithGlobalParamA to0 prm0 a0) Dyadic :: * #

Methods

equalTo :: WithGlobalParamA to0 prm0 a0 -> Dyadic -> EqCompareType (WithGlobalParamA to0 prm0 a0) Dyadic #

notEqualTo :: WithGlobalParamA to0 prm0 a0 -> Dyadic -> EqCompareType (WithGlobalParamA to0 prm0 a0) Dyadic #

(QAArrow to0, HasEqAsymmetric a0 Rational, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (EqCompareType a0 Rational)) => HasEqAsymmetric (WithGlobalParamA to0 prm0 a0) Rational Source # 

Associated Types

type EqCompareType (WithGlobalParamA to0 prm0 a0) Rational :: * #

(QAArrow to0, HasEqAsymmetric a0 Int, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (EqCompareType a0 Int)) => HasEqAsymmetric (WithGlobalParamA to0 prm0 a0) Int Source # 

Associated Types

type EqCompareType (WithGlobalParamA to0 prm0 a0) Int :: * #

Methods

equalTo :: WithGlobalParamA to0 prm0 a0 -> Int -> EqCompareType (WithGlobalParamA to0 prm0 a0) Int #

notEqualTo :: WithGlobalParamA to0 prm0 a0 -> Int -> EqCompareType (WithGlobalParamA to0 prm0 a0) Int #

(QAArrow to0, HasEqAsymmetric a0 Integer, SuitableForWGParam prm0 a0, SuitableForWGParam prm0 (EqCompareType a0 Integer)) => HasEqAsymmetric (WithGlobalParamA to0 prm0 a0) Integer Source # 

Associated Types

type EqCompareType (WithGlobalParamA to0 prm0 a0) Integer :: * #

(CanMinMaxAsymmetric (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (MinMaxType (WithGlobalParamA to prm a) b), SuitableForCE es) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) (CollectErrors es b) Source # 

Associated Types

type MinMaxType (WithGlobalParamA to prm a) (CollectErrors es b) :: * #

Methods

min :: WithGlobalParamA to prm a -> CollectErrors es b -> MinMaxType (WithGlobalParamA to prm a) (CollectErrors es b) #

max :: WithGlobalParamA to prm a -> CollectErrors es b -> MinMaxType (WithGlobalParamA to prm a) (CollectErrors es b) #

(HasOrderAsymmetric (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (OrderCompareType (WithGlobalParamA to prm a) b), IsBool (EnsureCE es (OrderCompareType (WithGlobalParamA to prm a) b)), SuitableForCE es) => HasOrderAsymmetric (WithGlobalParamA to prm a) (CollectErrors es b) Source # 
(HasEqAsymmetric (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (EqCompareType (WithGlobalParamA to prm a) b), IsBool (EnsureCE es (EqCompareType (WithGlobalParamA to prm a) b)), SuitableForCE es) => HasEqAsymmetric (WithGlobalParamA to prm a) (CollectErrors es b) Source # 

Associated Types

type EqCompareType (WithGlobalParamA to prm a) (CollectErrors es b) :: * #

(QAArrow to, CanMinMaxAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (MinMaxType a b)) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) Source # 

Associated Types

type MinMaxType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * #

Methods

min :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> MinMaxType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #

max :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> MinMaxType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #

(QAArrow to, HasOrderAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (OrderCompareType a b)) => HasOrderAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) Source # 

Associated Types

type OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * #

(QAArrow to, HasEqAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (EqCompareType a b)) => HasEqAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) Source # 

Associated Types

type EqCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * #

Methods

equalTo :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> EqCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #

notEqualTo :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> EqCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #

(QAArrow to, CanAndOrAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (AndOrType a b)) => CanAndOrAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) Source # 

Associated Types

type AndOrType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * #

Methods

and2 :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> AndOrType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #

or2 :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> AndOrType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #