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

AERN2.MP.WithCurrentPrec.Comparisons

Contents

Orphan instances

Description

WithCurrentPrec order relations and operations

Orphan instances

CanMinMaxAsymmetric Int a => CanMinMaxAsymmetric Int (WithCurrentPrec a p) Source #
Instance details Associated Types type MinMaxType Int (WithCurrentPrec a p) # Methods min :: Int -> WithCurrentPrec a p -> MinMaxType Int (WithCurrentPrec a p) # max :: Int -> WithCurrentPrec a p -> MinMaxType Int (WithCurrentPrec a p) #
CanMinMaxAsymmetric Integer a => CanMinMaxAsymmetric Integer (WithCurrentPrec a p) Source #
Instance details Associated Types type MinMaxType Integer (WithCurrentPrec a p) # Methods min :: Integer -> WithCurrentPrec a p -> MinMaxType Integer (WithCurrentPrec a p) # max :: Integer -> WithCurrentPrec a p -> MinMaxType Integer (WithCurrentPrec a p) #
CanMinMaxAsymmetric Rational a => CanMinMaxAsymmetric Rational (WithCurrentPrec a p) Source #
Instance details Associated Types type MinMaxType Rational (WithCurrentPrec a p) # Methods min :: Rational -> WithCurrentPrec a p -> MinMaxType Rational (WithCurrentPrec a p) # max :: Rational -> WithCurrentPrec a p -> MinMaxType Rational (WithCurrentPrec a p) #
CanMinMaxAsymmetric Dyadic a => CanMinMaxAsymmetric Dyadic (WithCurrentPrec a p) Source #
Instance details Associated Types type MinMaxType Dyadic (WithCurrentPrec a p) # Methods min :: Dyadic -> WithCurrentPrec a p -> MinMaxType Dyadic (WithCurrentPrec a p) # max :: Dyadic -> WithCurrentPrec a p -> MinMaxType Dyadic (WithCurrentPrec a p) #
HasEqAsymmetric Int a => HasEqAsymmetric Int (WithCurrentPrec a p) Source #
Instance details Associated Types type EqCompareType Int (WithCurrentPrec a p) # Methods equalTo :: Int -> WithCurrentPrec a p -> EqCompareType Int (WithCurrentPrec a p) # notEqualTo :: Int -> WithCurrentPrec a p -> EqCompareType Int (WithCurrentPrec a p) #
HasEqAsymmetric Integer a => HasEqAsymmetric Integer (WithCurrentPrec a p) Source #
Instance details Associated Types type EqCompareType Integer (WithCurrentPrec a p) # Methods equalTo :: Integer -> WithCurrentPrec a p -> EqCompareType Integer (WithCurrentPrec a p) # notEqualTo :: Integer -> WithCurrentPrec a p -> EqCompareType Integer (WithCurrentPrec a p) #
HasEqAsymmetric Rational a => HasEqAsymmetric Rational (WithCurrentPrec a p) Source #
Instance details Associated Types type EqCompareType Rational (WithCurrentPrec a p) # Methods equalTo :: Rational -> WithCurrentPrec a p -> EqCompareType Rational (WithCurrentPrec a p) # notEqualTo :: Rational -> WithCurrentPrec a p -> EqCompareType Rational (WithCurrentPrec a p) #
HasEqAsymmetric Dyadic a => HasEqAsymmetric Dyadic (WithCurrentPrec a p) Source #
Instance details Associated Types type EqCompareType Dyadic (WithCurrentPrec a p) # Methods equalTo :: Dyadic -> WithCurrentPrec a p -> EqCompareType Dyadic (WithCurrentPrec a p) # notEqualTo :: Dyadic -> WithCurrentPrec a p -> EqCompareType Dyadic (WithCurrentPrec a p) #
HasOrderAsymmetric Int a => HasOrderAsymmetric Int (WithCurrentPrec a p) Source #
Instance details Associated Types type OrderCompareType Int (WithCurrentPrec a p) # Methods lessThan :: Int -> WithCurrentPrec a p -> OrderCompareType Int (WithCurrentPrec a p) # greaterThan :: Int -> WithCurrentPrec a p -> OrderCompareType Int (WithCurrentPrec a p) # leq :: Int -> WithCurrentPrec a p -> OrderCompareType Int (WithCurrentPrec a p) # geq :: Int -> WithCurrentPrec a p -> OrderCompareType Int (WithCurrentPrec a p) #
HasOrderAsymmetric Integer a => HasOrderAsymmetric Integer (WithCurrentPrec a p) Source #
Instance details Associated Types type OrderCompareType Integer (WithCurrentPrec a p) # Methods lessThan :: Integer -> WithCurrentPrec a p -> OrderCompareType Integer (WithCurrentPrec a p) # greaterThan :: Integer -> WithCurrentPrec a p -> OrderCompareType Integer (WithCurrentPrec a p) # leq :: Integer -> WithCurrentPrec a p -> OrderCompareType Integer (WithCurrentPrec a p) # geq :: Integer -> WithCurrentPrec a p -> OrderCompareType Integer (WithCurrentPrec a p) #
HasOrderAsymmetric Rational a => HasOrderAsymmetric Rational (WithCurrentPrec a p) Source #
Instance details Associated Types type OrderCompareType Rational (WithCurrentPrec a p) # Methods lessThan :: Rational -> WithCurrentPrec a p -> OrderCompareType Rational (WithCurrentPrec a p) # greaterThan :: Rational -> WithCurrentPrec a p -> OrderCompareType Rational (WithCurrentPrec a p) # leq :: Rational -> WithCurrentPrec a p -> OrderCompareType Rational (WithCurrentPrec a p) # geq :: Rational -> WithCurrentPrec a p -> OrderCompareType Rational (WithCurrentPrec a p) #
HasOrderAsymmetric Dyadic a => HasOrderAsymmetric Dyadic (WithCurrentPrec a p) Source #
Instance details Associated Types type OrderCompareType Dyadic (WithCurrentPrec a p) # Methods lessThan :: Dyadic -> WithCurrentPrec a p -> OrderCompareType Dyadic (WithCurrentPrec a p) # greaterThan :: Dyadic -> WithCurrentPrec a p -> OrderCompareType Dyadic (WithCurrentPrec a p) # leq :: Dyadic -> WithCurrentPrec a p -> OrderCompareType Dyadic (WithCurrentPrec a p) # geq :: Dyadic -> WithCurrentPrec a p -> OrderCompareType Dyadic (WithCurrentPrec a p) #
CanMinMaxAsymmetric (CN Int) a => CanMinMaxAsymmetric (CN Int) (WithCurrentPrec a p) Source #
Instance details Associated Types type MinMaxType (CN Int) (WithCurrentPrec a p) # Methods min :: CN Int -> WithCurrentPrec a p -> MinMaxType (CN Int) (WithCurrentPrec a p) # max :: CN Int -> WithCurrentPrec a p -> MinMaxType (CN Int) (WithCurrentPrec a p) #
CanMinMaxAsymmetric (CN Integer) a => CanMinMaxAsymmetric (CN Integer) (WithCurrentPrec a p) Source #
Instance details Associated Types type MinMaxType (CN Integer) (WithCurrentPrec a p) # Methods min :: CN Integer -> WithCurrentPrec a p -> MinMaxType (CN Integer) (WithCurrentPrec a p) # max :: CN Integer -> WithCurrentPrec a p -> MinMaxType (CN Integer) (WithCurrentPrec a p) #
CanMinMaxAsymmetric (CN Rational) a => CanMinMaxAsymmetric (CN Rational) (WithCurrentPrec a p) Source #
Instance details Associated Types type MinMaxType (CN Rational) (WithCurrentPrec a p) # Methods min :: CN Rational -> WithCurrentPrec a p -> MinMaxType (CN Rational) (WithCurrentPrec a p) # max :: CN Rational -> WithCurrentPrec a p -> MinMaxType (CN Rational) (WithCurrentPrec a p) #
CanMinMaxAsymmetric (CN Dyadic) a => CanMinMaxAsymmetric (CN Dyadic) (WithCurrentPrec a p) Source #
Instance details Associated Types type MinMaxType (CN Dyadic) (WithCurrentPrec a p) # Methods min :: CN Dyadic -> WithCurrentPrec a p -> MinMaxType (CN Dyadic) (WithCurrentPrec a p) # max :: CN Dyadic -> WithCurrentPrec a p -> MinMaxType (CN Dyadic) (WithCurrentPrec a p) #
HasEqAsymmetric (CN Int) a => HasEqAsymmetric (CN Int) (WithCurrentPrec a p) Source #
Instance details Associated Types type EqCompareType (CN Int) (WithCurrentPrec a p) # Methods equalTo :: CN Int -> WithCurrentPrec a p -> EqCompareType (CN Int) (WithCurrentPrec a p) # notEqualTo :: CN Int -> WithCurrentPrec a p -> EqCompareType (CN Int) (WithCurrentPrec a p) #
HasEqAsymmetric (CN Integer) a => HasEqAsymmetric (CN Integer) (WithCurrentPrec a p) Source #
Instance details Associated Types type EqCompareType (CN Integer) (WithCurrentPrec a p) # Methods equalTo :: CN Integer -> WithCurrentPrec a p -> EqCompareType (CN Integer) (WithCurrentPrec a p) # notEqualTo :: CN Integer -> WithCurrentPrec a p -> EqCompareType (CN Integer) (WithCurrentPrec a p) #
HasEqAsymmetric (CN Rational) a => HasEqAsymmetric (CN Rational) (WithCurrentPrec a p) Source #
Instance details Associated Types type EqCompareType (CN Rational) (WithCurrentPrec a p) # Methods equalTo :: CN Rational -> WithCurrentPrec a p -> EqCompareType (CN Rational) (WithCurrentPrec a p) # notEqualTo :: CN Rational -> WithCurrentPrec a p -> EqCompareType (CN Rational) (WithCurrentPrec a p) #
HasEqAsymmetric (CN Dyadic) a => HasEqAsymmetric (CN Dyadic) (WithCurrentPrec a p) Source #
Instance details Associated Types type EqCompareType (CN Dyadic) (WithCurrentPrec a p) # Methods equalTo :: CN Dyadic -> WithCurrentPrec a p -> EqCompareType (CN Dyadic) (WithCurrentPrec a p) # notEqualTo :: CN Dyadic -> WithCurrentPrec a p -> EqCompareType (CN Dyadic) (WithCurrentPrec a p) #
HasOrderAsymmetric (CN Int) a => HasOrderAsymmetric (CN Int) (WithCurrentPrec a p) Source #
Instance details Associated Types type OrderCompareType (CN Int) (WithCurrentPrec a p) # Methods lessThan :: CN Int -> WithCurrentPrec a p -> OrderCompareType (CN Int) (WithCurrentPrec a p) # greaterThan :: CN Int -> WithCurrentPrec a p -> OrderCompareType (CN Int) (WithCurrentPrec a p) # leq :: CN Int -> WithCurrentPrec a p -> OrderCompareType (CN Int) (WithCurrentPrec a p) # geq :: CN Int -> WithCurrentPrec a p -> OrderCompareType (CN Int) (WithCurrentPrec a p) #
HasOrderAsymmetric (CN Integer) a => HasOrderAsymmetric (CN Integer) (WithCurrentPrec a p) Source #
Instance details Associated Types type OrderCompareType (CN Integer) (WithCurrentPrec a p) # Methods lessThan :: CN Integer -> WithCurrentPrec a p -> OrderCompareType (CN Integer) (WithCurrentPrec a p) # greaterThan :: CN Integer -> WithCurrentPrec a p -> OrderCompareType (CN Integer) (WithCurrentPrec a p) # leq :: CN Integer -> WithCurrentPrec a p -> OrderCompareType (CN Integer) (WithCurrentPrec a p) # geq :: CN Integer -> WithCurrentPrec a p -> OrderCompareType (CN Integer) (WithCurrentPrec a p) #
HasOrderAsymmetric (CN Rational) a => HasOrderAsymmetric (CN Rational) (WithCurrentPrec a p) Source #
Instance details Associated Types type OrderCompareType (CN Rational) (WithCurrentPrec a p) # Methods lessThan :: CN Rational -> WithCurrentPrec a p -> OrderCompareType (CN Rational) (WithCurrentPrec a p) # greaterThan :: CN Rational -> WithCurrentPrec a p -> OrderCompareType (CN Rational) (WithCurrentPrec a p) # leq :: CN Rational -> WithCurrentPrec a p -> OrderCompareType (CN Rational) (WithCurrentPrec a p) # geq :: CN Rational -> WithCurrentPrec a p -> OrderCompareType (CN Rational) (WithCurrentPrec a p) #
HasOrderAsymmetric (CN Dyadic) a => HasOrderAsymmetric (CN Dyadic) (WithCurrentPrec a p) Source #
Instance details Associated Types type OrderCompareType (CN Dyadic) (WithCurrentPrec a p) # Methods lessThan :: CN Dyadic -> WithCurrentPrec a p -> OrderCompareType (CN Dyadic) (WithCurrentPrec a p) # greaterThan :: CN Dyadic -> WithCurrentPrec a p -> OrderCompareType (CN Dyadic) (WithCurrentPrec a p) # leq :: CN Dyadic -> WithCurrentPrec a p -> OrderCompareType (CN Dyadic) (WithCurrentPrec a p) # geq :: CN Dyadic -> WithCurrentPrec a p -> OrderCompareType (CN Dyadic) (WithCurrentPrec a p) #
CanAbs t => CanAbs (WithCurrentPrec t p) Source #
Instance details Associated Types type AbsType (WithCurrentPrec t p) # Methods abs :: WithCurrentPrec t p -> AbsType (WithCurrentPrec t p) #
CanMinMaxAsymmetric a Dyadic => CanMinMaxAsymmetric (WithCurrentPrec a p) Dyadic Source #
Instance details Associated Types type MinMaxType (WithCurrentPrec a p) Dyadic # Methods min :: WithCurrentPrec a p -> Dyadic -> MinMaxType (WithCurrentPrec a p) Dyadic # max :: WithCurrentPrec a p -> Dyadic -> MinMaxType (WithCurrentPrec a p) Dyadic #
CanMinMaxAsymmetric a Rational => CanMinMaxAsymmetric (WithCurrentPrec a p) Rational Source #
Instance details Associated Types type MinMaxType (WithCurrentPrec a p) Rational # Methods min :: WithCurrentPrec a p -> Rational -> MinMaxType (WithCurrentPrec a p) Rational # max :: WithCurrentPrec a p -> Rational -> MinMaxType (WithCurrentPrec a p) Rational #
CanMinMaxAsymmetric a Int => CanMinMaxAsymmetric (WithCurrentPrec a p) Int Source #
Instance details Associated Types type MinMaxType (WithCurrentPrec a p) Int # Methods min :: WithCurrentPrec a p -> Int -> MinMaxType (WithCurrentPrec a p) Int # max :: WithCurrentPrec a p -> Int -> MinMaxType (WithCurrentPrec a p) Int #
CanMinMaxAsymmetric a Integer => CanMinMaxAsymmetric (WithCurrentPrec a p) Integer Source #
Instance details Associated Types type MinMaxType (WithCurrentPrec a p) Integer # Methods min :: WithCurrentPrec a p -> Integer -> MinMaxType (WithCurrentPrec a p) Integer # max :: WithCurrentPrec a p -> Integer -> MinMaxType (WithCurrentPrec a p) Integer #
HasEqAsymmetric a Dyadic => HasEqAsymmetric (WithCurrentPrec a p) Dyadic Source #
Instance details Associated Types type EqCompareType (WithCurrentPrec a p) Dyadic # Methods equalTo :: WithCurrentPrec a p -> Dyadic -> EqCompareType (WithCurrentPrec a p) Dyadic # notEqualTo :: WithCurrentPrec a p -> Dyadic -> EqCompareType (WithCurrentPrec a p) Dyadic #
HasEqAsymmetric a Rational => HasEqAsymmetric (WithCurrentPrec a p) Rational Source #
Instance details Associated Types type EqCompareType (WithCurrentPrec a p) Rational # Methods equalTo :: WithCurrentPrec a p -> Rational -> EqCompareType (WithCurrentPrec a p) Rational # notEqualTo :: WithCurrentPrec a p -> Rational -> EqCompareType (WithCurrentPrec a p) Rational #
HasEqAsymmetric a Int => HasEqAsymmetric (WithCurrentPrec a p) Int Source #
Instance details Associated Types type EqCompareType (WithCurrentPrec a p) Int # Methods equalTo :: WithCurrentPrec a p -> Int -> EqCompareType (WithCurrentPrec a p) Int # notEqualTo :: WithCurrentPrec a p -> Int -> EqCompareType (WithCurrentPrec a p) Int #
HasEqAsymmetric a Integer => HasEqAsymmetric (WithCurrentPrec a p) Integer Source #
Instance details Associated Types type EqCompareType (WithCurrentPrec a p) Integer # Methods equalTo :: WithCurrentPrec a p -> Integer -> EqCompareType (WithCurrentPrec a p) Integer # notEqualTo :: WithCurrentPrec a p -> Integer -> EqCompareType (WithCurrentPrec a p) Integer #
HasOrderAsymmetric a Dyadic => HasOrderAsymmetric (WithCurrentPrec a p) Dyadic Source #
Instance details Associated Types type OrderCompareType (WithCurrentPrec a p) Dyadic # Methods lessThan :: WithCurrentPrec a p -> Dyadic -> OrderCompareType (WithCurrentPrec a p) Dyadic # greaterThan :: WithCurrentPrec a p -> Dyadic -> OrderCompareType (WithCurrentPrec a p) Dyadic # leq :: WithCurrentPrec a p -> Dyadic -> OrderCompareType (WithCurrentPrec a p) Dyadic # geq :: WithCurrentPrec a p -> Dyadic -> OrderCompareType (WithCurrentPrec a p) Dyadic #
HasOrderAsymmetric a Rational => HasOrderAsymmetric (WithCurrentPrec a p) Rational Source #
Instance details Associated Types type OrderCompareType (WithCurrentPrec a p) Rational # Methods lessThan :: WithCurrentPrec a p -> Rational -> OrderCompareType (WithCurrentPrec a p) Rational # greaterThan :: WithCurrentPrec a p -> Rational -> OrderCompareType (WithCurrentPrec a p) Rational # leq :: WithCurrentPrec a p -> Rational -> OrderCompareType (WithCurrentPrec a p) Rational # geq :: WithCurrentPrec a p -> Rational -> OrderCompareType (WithCurrentPrec a p) Rational #
HasOrderAsymmetric a Int => HasOrderAsymmetric (WithCurrentPrec a p) Int Source #
Instance details Associated Types type OrderCompareType (WithCurrentPrec a p) Int # Methods lessThan :: WithCurrentPrec a p -> Int -> OrderCompareType (WithCurrentPrec a p) Int # greaterThan :: WithCurrentPrec a p -> Int -> OrderCompareType (WithCurrentPrec a p) Int # leq :: WithCurrentPrec a p -> Int -> OrderCompareType (WithCurrentPrec a p) Int # geq :: WithCurrentPrec a p -> Int -> OrderCompareType (WithCurrentPrec a p) Int #
HasOrderAsymmetric a Integer => HasOrderAsymmetric (WithCurrentPrec a p) Integer Source #
Instance details Associated Types type OrderCompareType (WithCurrentPrec a p) Integer # Methods lessThan :: WithCurrentPrec a p -> Integer -> OrderCompareType (WithCurrentPrec a p) Integer # greaterThan :: WithCurrentPrec a p -> Integer -> OrderCompareType (WithCurrentPrec a p) Integer # leq :: WithCurrentPrec a p -> Integer -> OrderCompareType (WithCurrentPrec a p) Integer # geq :: WithCurrentPrec a p -> Integer -> OrderCompareType (WithCurrentPrec a p) Integer #
CanMinMaxAsymmetric a (CN Dyadic) => CanMinMaxAsymmetric (WithCurrentPrec a p) (CN Dyadic) Source #
Instance details Associated Types type MinMaxType (WithCurrentPrec a p) (CN Dyadic) # Methods min :: WithCurrentPrec a p -> CN Dyadic -> MinMaxType (WithCurrentPrec a p) (CN Dyadic) # max :: WithCurrentPrec a p -> CN Dyadic -> MinMaxType (WithCurrentPrec a p) (CN Dyadic) #
CanMinMaxAsymmetric a (CN Rational) => CanMinMaxAsymmetric (WithCurrentPrec a p) (CN Rational) Source #
Instance details Associated Types type MinMaxType (WithCurrentPrec a p) (CN Rational) # Methods min :: WithCurrentPrec a p -> CN Rational -> MinMaxType (WithCurrentPrec a p) (CN Rational) # max :: WithCurrentPrec a p -> CN Rational -> MinMaxType (WithCurrentPrec a p) (CN Rational) #
CanMinMaxAsymmetric a (CN Int) => CanMinMaxAsymmetric (WithCurrentPrec a p) (CN Int) Source #
Instance details Associated Types type MinMaxType (WithCurrentPrec a p) (CN Int) # Methods min :: WithCurrentPrec a p -> CN Int -> MinMaxType (WithCurrentPrec a p) (CN Int) # max :: WithCurrentPrec a p -> CN Int -> MinMaxType (WithCurrentPrec a p) (CN Int) #
CanMinMaxAsymmetric a (CN Integer) => CanMinMaxAsymmetric (WithCurrentPrec a p) (CN Integer) Source #
Instance details Associated Types type MinMaxType (WithCurrentPrec a p) (CN Integer) # Methods min :: WithCurrentPrec a p -> CN Integer -> MinMaxType (WithCurrentPrec a p) (CN Integer) # max :: WithCurrentPrec a p -> CN Integer -> MinMaxType (WithCurrentPrec a p) (CN Integer) #
HasEqAsymmetric a (CN Dyadic) => HasEqAsymmetric (WithCurrentPrec a p) (CN Dyadic) Source #
Instance details Associated Types type EqCompareType (WithCurrentPrec a p) (CN Dyadic) # Methods equalTo :: WithCurrentPrec a p -> CN Dyadic -> EqCompareType (WithCurrentPrec a p) (CN Dyadic) # notEqualTo :: WithCurrentPrec a p -> CN Dyadic -> EqCompareType (WithCurrentPrec a p) (CN Dyadic) #
HasEqAsymmetric a (CN Rational) => HasEqAsymmetric (WithCurrentPrec a p) (CN Rational) Source #
Instance details Associated Types type EqCompareType (WithCurrentPrec a p) (CN Rational) # Methods equalTo :: WithCurrentPrec a p -> CN Rational -> EqCompareType (WithCurrentPrec a p) (CN Rational) # notEqualTo :: WithCurrentPrec a p -> CN Rational -> EqCompareType (WithCurrentPrec a p) (CN Rational) #
HasEqAsymmetric a (CN Int) => HasEqAsymmetric (WithCurrentPrec a p) (CN Int) Source #
Instance details Associated Types type EqCompareType (WithCurrentPrec a p) (CN Int) # Methods equalTo :: WithCurrentPrec a p -> CN Int -> EqCompareType (WithCurrentPrec a p) (CN Int) # notEqualTo :: WithCurrentPrec a p -> CN Int -> EqCompareType (WithCurrentPrec a p) (CN Int) #
HasEqAsymmetric a (CN Integer) => HasEqAsymmetric (WithCurrentPrec a p) (CN Integer) Source #
Instance details Associated Types type EqCompareType (WithCurrentPrec a p) (CN Integer) # Methods equalTo :: WithCurrentPrec a p -> CN Integer -> EqCompareType (WithCurrentPrec a p) (CN Integer) # notEqualTo :: WithCurrentPrec a p -> CN Integer -> EqCompareType (WithCurrentPrec a p) (CN Integer) #
HasOrderAsymmetric a (CN Dyadic) => HasOrderAsymmetric (WithCurrentPrec a p) (CN Dyadic) Source #
Instance details Associated Types type OrderCompareType (WithCurrentPrec a p) (CN Dyadic) # Methods lessThan :: WithCurrentPrec a p -> CN Dyadic -> OrderCompareType (WithCurrentPrec a p) (CN Dyadic) # greaterThan :: WithCurrentPrec a p -> CN Dyadic -> OrderCompareType (WithCurrentPrec a p) (CN Dyadic) # leq :: WithCurrentPrec a p -> CN Dyadic -> OrderCompareType (WithCurrentPrec a p) (CN Dyadic) # geq :: WithCurrentPrec a p -> CN Dyadic -> OrderCompareType (WithCurrentPrec a p) (CN Dyadic) #
HasOrderAsymmetric a (CN Rational) => HasOrderAsymmetric (WithCurrentPrec a p) (CN Rational) Source #
Instance details Associated Types type OrderCompareType (WithCurrentPrec a p) (CN Rational) # Methods lessThan :: WithCurrentPrec a p -> CN Rational -> OrderCompareType (WithCurrentPrec a p) (CN Rational) # greaterThan :: WithCurrentPrec a p -> CN Rational -> OrderCompareType (WithCurrentPrec a p) (CN Rational) # leq :: WithCurrentPrec a p -> CN Rational -> OrderCompareType (WithCurrentPrec a p) (CN Rational) # geq :: WithCurrentPrec a p -> CN Rational -> OrderCompareType (WithCurrentPrec a p) (CN Rational) #
HasOrderAsymmetric a (CN Int) => HasOrderAsymmetric (WithCurrentPrec a p) (CN Int) Source #
Instance details Associated Types type OrderCompareType (WithCurrentPrec a p) (CN Int) # Methods lessThan :: WithCurrentPrec a p -> CN Int -> OrderCompareType (WithCurrentPrec a p) (CN Int) # greaterThan :: WithCurrentPrec a p -> CN Int -> OrderCompareType (WithCurrentPrec a p) (CN Int) # leq :: WithCurrentPrec a p -> CN Int -> OrderCompareType (WithCurrentPrec a p) (CN Int) # geq :: WithCurrentPrec a p -> CN Int -> OrderCompareType (WithCurrentPrec a p) (CN Int) #
HasOrderAsymmetric a (CN Integer) => HasOrderAsymmetric (WithCurrentPrec a p) (CN Integer) Source #
Instance details Associated Types type OrderCompareType (WithCurrentPrec a p) (CN Integer) # Methods lessThan :: WithCurrentPrec a p -> CN Integer -> OrderCompareType (WithCurrentPrec a p) (CN Integer) # greaterThan :: WithCurrentPrec a p -> CN Integer -> OrderCompareType (WithCurrentPrec a p) (CN Integer) # leq :: WithCurrentPrec a p -> CN Integer -> OrderCompareType (WithCurrentPrec a p) (CN Integer) # geq :: WithCurrentPrec a p -> CN Integer -> OrderCompareType (WithCurrentPrec a p) (CN Integer) #
(CanMinMaxAsymmetric t1 t2, p1 ~ p2) => CanMinMaxAsymmetric (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) Source #
Instance details Associated Types type MinMaxType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # Methods min :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> MinMaxType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # max :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> MinMaxType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) #
(HasEqAsymmetric t1 t2, p1 ~ p2) => HasEqAsymmetric (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) Source #
Instance details Associated Types type EqCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # Methods equalTo :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> EqCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # notEqualTo :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> EqCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) #
(HasOrderAsymmetric t1 t2, p1 ~ p2) => HasOrderAsymmetric (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) Source #
Instance details Associated Types type OrderCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # Methods lessThan :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> OrderCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # greaterThan :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> OrderCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # leq :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> OrderCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) # geq :: WithCurrentPrec t1 p1 -> WithCurrentPrec t2 p2 -> OrderCompareType (WithCurrentPrec t1 p1) (WithCurrentPrec t2 p2) #