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