AERN2.MP.WithCurrentPrec.Comparisons

WithCurrentPrec order relations and operations

Orphan instances

HasEqAsymmetric Dyadic a => HasEqAsymmetric Dyadic (WithCurrentPrec p a)

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)

HasEqAsymmetric Rational a => HasEqAsymmetric Rational (WithCurrentPrec p a)

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 Integer a => HasEqAsymmetric Integer (WithCurrentPrec p a)

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 Int a => HasEqAsymmetric Int (WithCurrentPrec p a)

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)

CanMinMaxAsymmetric Dyadic a => CanMinMaxAsymmetric Dyadic (WithCurrentPrec p a)

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)

CanMinMaxAsymmetric Rational a => CanMinMaxAsymmetric Rational (WithCurrentPrec p a)

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 Integer a => CanMinMaxAsymmetric Integer (WithCurrentPrec p a)

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 Int a => CanMinMaxAsymmetric Int (WithCurrentPrec p a)

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)

HasOrderAsymmetric Dyadic a => HasOrderAsymmetric Dyadic (WithCurrentPrec p a)

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)

HasOrderAsymmetric Rational a => HasOrderAsymmetric Rational (WithCurrentPrec p a)

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 Integer a => HasOrderAsymmetric Integer (WithCurrentPrec p a)

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 Int a => HasOrderAsymmetric Int (WithCurrentPrec p a)

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)

HasEqAsymmetric (CN Dyadic) a => HasEqAsymmetric (CN Dyadic) (WithCurrentPrec p a)

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)

HasEqAsymmetric (CN Rational) a => HasEqAsymmetric (CN Rational) (WithCurrentPrec p a)

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 Integer) a => HasEqAsymmetric (CN Integer) (WithCurrentPrec p a)

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 Int) a => HasEqAsymmetric (CN Int) (WithCurrentPrec p a)

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)

CanMinMaxAsymmetric (CN Dyadic) a => CanMinMaxAsymmetric (CN Dyadic) (WithCurrentPrec p a)

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)

CanMinMaxAsymmetric (CN Rational) a => CanMinMaxAsymmetric (CN Rational) (WithCurrentPrec p a)

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 Integer) a => CanMinMaxAsymmetric (CN Integer) (WithCurrentPrec p a)

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 Int) a => CanMinMaxAsymmetric (CN Int) (WithCurrentPrec p a)

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)

HasOrderAsymmetric (CN Dyadic) a => HasOrderAsymmetric (CN Dyadic) (WithCurrentPrec p a)

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)

HasOrderAsymmetric (CN Rational) a => HasOrderAsymmetric (CN Rational) (WithCurrentPrec p a)

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 Integer) a => HasOrderAsymmetric (CN Integer) (WithCurrentPrec p a)

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 Int) a => HasOrderAsymmetric (CN Int) (WithCurrentPrec p a)

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)

CanAbs t => CanAbs (WithCurrentPrec p t)

Associated Types

type AbsType (WithCurrentPrec p t)

Methods

abs :: WithCurrentPrec p t -> AbsType (WithCurrentPrec p t)

HasEqAsymmetric a Dyadic => HasEqAsymmetric (WithCurrentPrec p a) Dyadic

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

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 Integer => HasEqAsymmetric (WithCurrentPrec p a) Integer

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

HasEqAsymmetric a Int => HasEqAsymmetric (WithCurrentPrec p a) Int

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

CanMinMaxAsymmetric a Dyadic => CanMinMaxAsymmetric (WithCurrentPrec p a) Dyadic

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

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 Integer => CanMinMaxAsymmetric (WithCurrentPrec p a) Integer

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

CanMinMaxAsymmetric a Int => CanMinMaxAsymmetric (WithCurrentPrec p a) Int

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

HasOrderAsymmetric a Dyadic => HasOrderAsymmetric (WithCurrentPrec p a) Dyadic

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

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 Integer => HasOrderAsymmetric (WithCurrentPrec p a) Integer

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

HasOrderAsymmetric a Int => HasOrderAsymmetric (WithCurrentPrec p a) Int

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

HasEqAsymmetric a (CN Dyadic) => HasEqAsymmetric (WithCurrentPrec p a) (CN Dyadic)

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)

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 Integer) => HasEqAsymmetric (WithCurrentPrec p a) (CN Integer)

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)

HasEqAsymmetric a (CN Int) => HasEqAsymmetric (WithCurrentPrec p a) (CN Int)

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)

CanMinMaxAsymmetric a (CN Dyadic) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Dyadic)

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)

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 Integer) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Integer)

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)

CanMinMaxAsymmetric a (CN Int) => CanMinMaxAsymmetric (WithCurrentPrec p a) (CN Int)

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)

HasOrderAsymmetric a (CN Dyadic) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Dyadic)

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)

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 Integer) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Integer)

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)

HasOrderAsymmetric a (CN Int) => HasOrderAsymmetric (WithCurrentPrec p a) (CN Int)

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)

(HasEqAsymmetric t1 t2, p1 ~ p2) => HasEqAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

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)

(CanMinMaxAsymmetric t1 t2, p1 ~ p2) => CanMinMaxAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

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)

(HasOrderAsymmetric t1 t2, p1 ~ p2) => HasOrderAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2)

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)