aern2-mp-0.2.16.0: Multi-precision ball (interval) arithmetic
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

AERN2.MP.WithCurrentPrec.Comparisons

Description

WithCurrentPrec order relations and operations

Orphan instances

HasEqAsymmetric Dyadic a => HasEqAsymmetric Dyadic (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type EqCompareType Dyadic (WithCurrentPrec p a) #

HasEqAsymmetric Rational a => HasEqAsymmetric Rational (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type EqCompareType Rational (WithCurrentPrec p a) #

HasEqAsymmetric Integer a => HasEqAsymmetric Integer (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type EqCompareType Integer (WithCurrentPrec p a) #

HasEqAsymmetric Int a => HasEqAsymmetric Int (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type EqCompareType Int (WithCurrentPrec p a) #

CanMinMaxAsymmetric Dyadic a => CanMinMaxAsymmetric Dyadic (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MinMaxType Dyadic (WithCurrentPrec p a) #

CanMinMaxAsymmetric Rational a => CanMinMaxAsymmetric Rational (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MinMaxType Rational (WithCurrentPrec p a) #

CanMinMaxAsymmetric Integer a => CanMinMaxAsymmetric Integer (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MinMaxType Integer (WithCurrentPrec p a) #

CanMinMaxAsymmetric Int a => CanMinMaxAsymmetric Int (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MinMaxType Int (WithCurrentPrec p a) #

HasOrderAsymmetric Dyadic a => HasOrderAsymmetric Dyadic (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type OrderCompareType Dyadic (WithCurrentPrec p a) #

HasOrderAsymmetric Rational a => HasOrderAsymmetric Rational (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type OrderCompareType Rational (WithCurrentPrec p a) #

HasOrderAsymmetric Integer a => HasOrderAsymmetric Integer (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type OrderCompareType Integer (WithCurrentPrec p a) #

HasOrderAsymmetric Int a => HasOrderAsymmetric Int (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type OrderCompareType Int (WithCurrentPrec p a) #

HasEqAsymmetric (CN Dyadic) a => HasEqAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type EqCompareType (CN Dyadic) (WithCurrentPrec p a) #

HasEqAsymmetric (CN Rational) a => HasEqAsymmetric (CN Rational) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type EqCompareType (CN Rational) (WithCurrentPrec p a) #

HasEqAsymmetric (CN Integer) a => HasEqAsymmetric (CN Integer) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type EqCompareType (CN Integer) (WithCurrentPrec p a) #

HasEqAsymmetric (CN Int) a => HasEqAsymmetric (CN Int) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type EqCompareType (CN Int) (WithCurrentPrec p a) #

CanMinMaxAsymmetric (CN Dyadic) a => CanMinMaxAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MinMaxType (CN Dyadic) (WithCurrentPrec p a) #

CanMinMaxAsymmetric (CN Rational) a => CanMinMaxAsymmetric (CN Rational) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MinMaxType (CN Rational) (WithCurrentPrec p a) #

CanMinMaxAsymmetric (CN Integer) a => CanMinMaxAsymmetric (CN Integer) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MinMaxType (CN Integer) (WithCurrentPrec p a) #

CanMinMaxAsymmetric (CN Int) a => CanMinMaxAsymmetric (CN Int) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MinMaxType (CN Int) (WithCurrentPrec p a) #

HasOrderAsymmetric (CN Dyadic) a => HasOrderAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type OrderCompareType (CN Dyadic) (WithCurrentPrec p a) #

HasOrderAsymmetric (CN Rational) a => HasOrderAsymmetric (CN Rational) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type OrderCompareType (CN Rational) (WithCurrentPrec p a) #

HasOrderAsymmetric (CN Integer) a => HasOrderAsymmetric (CN Integer) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type OrderCompareType (CN Integer) (WithCurrentPrec p a) #

HasOrderAsymmetric (CN Int) a => HasOrderAsymmetric (CN Int) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type OrderCompareType (CN Int) (WithCurrentPrec p a) #

CanAbs t => CanAbs (WithCurrentPrec p t) Source # 
Instance details

Associated Types

type AbsType (WithCurrentPrec p t) #

HasEqAsymmetric a Dyadic => HasEqAsymmetric (WithCurrentPrec p a) Dyadic Source # 
Instance details

Associated Types

type EqCompareType (WithCurrentPrec p a) Dyadic #

HasEqAsymmetric a Rational => HasEqAsymmetric (WithCurrentPrec p a) Rational Source # 
Instance details

Associated Types

type EqCompareType (WithCurrentPrec p a) Rational #

HasEqAsymmetric a Integer => HasEqAsymmetric (WithCurrentPrec p a) Integer Source # 
Instance details

Associated Types

type EqCompareType (WithCurrentPrec p a) Integer #

HasEqAsymmetric a Int => HasEqAsymmetric (WithCurrentPrec p a) Int Source # 
Instance details

Associated Types

type EqCompareType (WithCurrentPrec p a) Int #

CanMinMaxAsymmetric a Dyadic => CanMinMaxAsymmetric (WithCurrentPrec p a) Dyadic Source # 
Instance details

Associated Types

type MinMaxType (WithCurrentPrec p a) Dyadic #

CanMinMaxAsymmetric a Rational => CanMinMaxAsymmetric (WithCurrentPrec p a) Rational Source # 
Instance details

Associated Types

type MinMaxType (WithCurrentPrec p a) Rational #

CanMinMaxAsymmetric a Integer => CanMinMaxAsymmetric (WithCurrentPrec p a) Integer Source # 
Instance details

Associated Types

type MinMaxType (WithCurrentPrec p a) Integer #

CanMinMaxAsymmetric a Int => CanMinMaxAsymmetric (WithCurrentPrec p a) Int Source # 
Instance details

Associated Types

type MinMaxType (WithCurrentPrec p a) Int #

HasOrderAsymmetric a Dyadic => HasOrderAsymmetric (WithCurrentPrec p a) Dyadic Source # 
Instance details

Associated Types

type OrderCompareType (WithCurrentPrec p a) Dyadic #

HasOrderAsymmetric a Rational => HasOrderAsymmetric (WithCurrentPrec p a) Rational Source # 
Instance details

Associated Types

type OrderCompareType (WithCurrentPrec p a) Rational #

HasOrderAsymmetric a Integer => HasOrderAsymmetric (WithCurrentPrec p a) Integer Source # 
Instance details

Associated Types

type OrderCompareType (WithCurrentPrec p a) Integer #

HasOrderAsymmetric a Int => HasOrderAsymmetric (WithCurrentPrec p a) Int Source # 
Instance details

Associated Types

type OrderCompareType (WithCurrentPrec p a) Int #

HasEqAsymmetric a (CN Dyadic) => HasEqAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Associated Types

type EqCompareType (WithCurrentPrec p a) (CN Dyadic) #

HasEqAsymmetric a (CN Rational) => HasEqAsymmetric (WithCurrentPrec p a) (CN Rational) Source # 
Instance details

Associated Types

type EqCompareType (WithCurrentPrec p a) (CN Rational) #

HasEqAsymmetric a (CN Integer) => HasEqAsymmetric (WithCurrentPrec p a) (CN Integer) Source # 
Instance details

Associated Types

type EqCompareType (WithCurrentPrec p a) (CN Integer) #

HasEqAsymmetric a (CN Int) => HasEqAsymmetric (WithCurrentPrec p a) (CN Int) Source # 
Instance details

Associated Types

type EqCompareType (WithCurrentPrec p a) (CN Int) #

CanMinMaxAsymmetric a (CN Dyadic) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Associated Types

type MinMaxType (WithCurrentPrec p a) (CN Dyadic) #

CanMinMaxAsymmetric a (CN Rational) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Rational) Source # 
Instance details

Associated Types

type MinMaxType (WithCurrentPrec p a) (CN Rational) #

CanMinMaxAsymmetric a (CN Integer) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Integer) Source # 
Instance details

Associated Types

type MinMaxType (WithCurrentPrec p a) (CN Integer) #

CanMinMaxAsymmetric a (CN Int) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Int) Source # 
Instance details

Associated Types

type MinMaxType (WithCurrentPrec p a) (CN Int) #

HasOrderAsymmetric a (CN Dyadic) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Associated Types

type OrderCompareType (WithCurrentPrec p a) (CN Dyadic) #

HasOrderAsymmetric a (CN Rational) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Rational) Source # 
Instance details

Associated Types

type OrderCompareType (WithCurrentPrec p a) (CN Rational) #

HasOrderAsymmetric a (CN Integer) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Integer) Source # 
Instance details

Associated Types

type OrderCompareType (WithCurrentPrec p a) (CN Integer) #

HasOrderAsymmetric a (CN Int) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Int) Source # 
Instance details

Associated Types

type OrderCompareType (WithCurrentPrec p a) (CN Int) #

(HasEqAsymmetric t1 t2, p1 ~ p2) => HasEqAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # 
Instance details

Associated Types

type EqCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) #

(CanMinMaxAsymmetric t1 t2, p1 ~ p2) => CanMinMaxAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # 
Instance details

Associated Types

type MinMaxType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) #

(HasOrderAsymmetric t1 t2, p1 ~ p2) => HasOrderAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # 
Instance details

Associated Types

type OrderCompareType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) #