AERN2.Real.Comparisons

Comparison relations over Cauchy Real numbers.

Orphan instances

(HasEqAsymmetric MPBall b, CanTestCertainly (EqCompareType MPBall b)) => HasEqAsymmetric MPBall (CSequence b)

Associated Types

type EqCompareType MPBall (CSequence b)

Methods

equalTo :: MPBall -> CSequence b -> EqCompareType MPBall (CSequence b)

notEqualTo :: MPBall -> CSequence b -> EqCompareType MPBall (CSequence b)

(HasEqAsymmetric Dyadic a, IsBool (CSequence (EqCompareType Dyadic a)), CanTestCertainly (EqCompareType Dyadic a)) => HasEqAsymmetric Dyadic (CSequence a)

Associated Types

type EqCompareType Dyadic (CSequence a)

Methods

equalTo :: Dyadic -> CSequence a -> EqCompareType Dyadic (CSequence a)

notEqualTo :: Dyadic -> CSequence a -> EqCompareType Dyadic (CSequence a)

(HasEqAsymmetric Rational a, IsBool (CSequence (EqCompareType Rational a)), CanTestCertainly (EqCompareType Rational a)) => HasEqAsymmetric Rational (CSequence a)

Associated Types

type EqCompareType Rational (CSequence a)

Methods

equalTo :: Rational -> CSequence a -> EqCompareType Rational (CSequence a)

notEqualTo :: Rational -> CSequence a -> EqCompareType Rational (CSequence a)

(HasEqAsymmetric Integer a, IsBool (CSequence (EqCompareType Integer a)), CanTestCertainly (EqCompareType Integer a)) => HasEqAsymmetric Integer (CSequence a)

Associated Types

type EqCompareType Integer (CSequence a)

Methods

equalTo :: Integer -> CSequence a -> EqCompareType Integer (CSequence a)

notEqualTo :: Integer -> CSequence a -> EqCompareType Integer (CSequence a)

(HasEqAsymmetric Int a, IsBool (CSequence (EqCompareType Int a)), CanTestCertainly (EqCompareType Int a)) => HasEqAsymmetric Int (CSequence a)

Associated Types

type EqCompareType Int (CSequence a)

Methods

equalTo :: Int -> CSequence a -> EqCompareType Int (CSequence a)

notEqualTo :: Int -> CSequence a -> EqCompareType Int (CSequence a)

CanMinMaxAsymmetric MPBall a => CanMinMaxAsymmetric MPBall (CSequence a)

Associated Types

type MinMaxType MPBall (CSequence a)

Methods

min :: MPBall -> CSequence a -> MinMaxType MPBall (CSequence a)

max :: MPBall -> CSequence a -> MinMaxType MPBall (CSequence a)

CanMinMaxAsymmetric Dyadic a => CanMinMaxAsymmetric Dyadic (CSequence a)

Associated Types

type MinMaxType Dyadic (CSequence a)

Methods

min :: Dyadic -> CSequence a -> MinMaxType Dyadic (CSequence a)

max :: Dyadic -> CSequence a -> MinMaxType Dyadic (CSequence a)

CanMinMaxAsymmetric Rational a => CanMinMaxAsymmetric Rational (CSequence a)

Associated Types

type MinMaxType Rational (CSequence a)

Methods

min :: Rational -> CSequence a -> MinMaxType Rational (CSequence a)

max :: Rational -> CSequence a -> MinMaxType Rational (CSequence a)

CanMinMaxAsymmetric Integer a => CanMinMaxAsymmetric Integer (CSequence a)

Associated Types

type MinMaxType Integer (CSequence a)

Methods

min :: Integer -> CSequence a -> MinMaxType Integer (CSequence a)

max :: Integer -> CSequence a -> MinMaxType Integer (CSequence a)

CanMinMaxAsymmetric Int a => CanMinMaxAsymmetric Int (CSequence a)

Associated Types

type MinMaxType Int (CSequence a)

Methods

min :: Int -> CSequence a -> MinMaxType Int (CSequence a)

max :: Int -> CSequence a -> MinMaxType Int (CSequence a)

(HasOrderAsymmetric MPBall b, CanTestCertainly (OrderCompareType MPBall b)) => HasOrderAsymmetric MPBall (CSequence b)

Associated Types

type OrderCompareType MPBall (CSequence b)

Methods

lessThan :: MPBall -> CSequence b -> OrderCompareType MPBall (CSequence b)

greaterThan :: MPBall -> CSequence b -> OrderCompareType MPBall (CSequence b)

leq :: MPBall -> CSequence b -> OrderCompareType MPBall (CSequence b)

geq :: MPBall -> CSequence b -> OrderCompareType MPBall (CSequence b)

(HasOrderAsymmetric Dyadic a, IsBool (CSequence (OrderCompareType Dyadic a)), CanTestCertainly (OrderCompareType Dyadic a)) => HasOrderAsymmetric Dyadic (CSequence a)

Associated Types

type OrderCompareType Dyadic (CSequence a)

Methods

lessThan :: Dyadic -> CSequence a -> OrderCompareType Dyadic (CSequence a)

greaterThan :: Dyadic -> CSequence a -> OrderCompareType Dyadic (CSequence a)

leq :: Dyadic -> CSequence a -> OrderCompareType Dyadic (CSequence a)

geq :: Dyadic -> CSequence a -> OrderCompareType Dyadic (CSequence a)

(HasOrderAsymmetric Rational a, IsBool (CSequence (OrderCompareType Rational a)), CanTestCertainly (OrderCompareType Rational a)) => HasOrderAsymmetric Rational (CSequence a)

Associated Types

type OrderCompareType Rational (CSequence a)

Methods

lessThan :: Rational -> CSequence a -> OrderCompareType Rational (CSequence a)

greaterThan :: Rational -> CSequence a -> OrderCompareType Rational (CSequence a)

leq :: Rational -> CSequence a -> OrderCompareType Rational (CSequence a)

geq :: Rational -> CSequence a -> OrderCompareType Rational (CSequence a)

(HasOrderAsymmetric Integer a, IsBool (CSequence (OrderCompareType Integer a)), CanTestCertainly (OrderCompareType Integer a)) => HasOrderAsymmetric Integer (CSequence a)

Associated Types

type OrderCompareType Integer (CSequence a)

Methods

lessThan :: Integer -> CSequence a -> OrderCompareType Integer (CSequence a)

greaterThan :: Integer -> CSequence a -> OrderCompareType Integer (CSequence a)

leq :: Integer -> CSequence a -> OrderCompareType Integer (CSequence a)

geq :: Integer -> CSequence a -> OrderCompareType Integer (CSequence a)

(HasOrderAsymmetric Int a, IsBool (CSequence (OrderCompareType Int a)), CanTestCertainly (OrderCompareType Int a)) => HasOrderAsymmetric Int (CSequence a)

Associated Types

type OrderCompareType Int (CSequence a)

Methods

lessThan :: Int -> CSequence a -> OrderCompareType Int (CSequence a)

greaterThan :: Int -> CSequence a -> OrderCompareType Int (CSequence a)

leq :: Int -> CSequence a -> OrderCompareType Int (CSequence a)

geq :: Int -> CSequence a -> OrderCompareType Int (CSequence a)

HasEqCertainly a a => Eq (CSequence a)

Methods

(==) :: CSequence a -> CSequence a -> Bool

(/=) :: CSequence a -> CSequence a -> Bool

(HasEqCertainly a a, HasOrderCertainly a a) => Ord (CSequence a)

Methods

compare :: CSequence a -> CSequence a -> Ordering

(<) :: CSequence a -> CSequence a -> Bool

(<=) :: CSequence a -> CSequence a -> Bool

(>) :: CSequence a -> CSequence a -> Bool

(>=) :: CSequence a -> CSequence a -> Bool

max :: CSequence a -> CSequence a -> CSequence a

min :: CSequence a -> CSequence a -> CSequence a

CanAbs t1 => CanAbs (CSequence t1)

Associated Types

type AbsType (CSequence t1)

Methods

abs :: CSequence t1 -> AbsType (CSequence t1)

(HasEqAsymmetric a MPBall, CanTestCertainly (EqCompareType a MPBall)) => HasEqAsymmetric (CSequence a) MPBall

Associated Types

type EqCompareType (CSequence a) MPBall

Methods

equalTo :: CSequence a -> MPBall -> EqCompareType (CSequence a) MPBall

notEqualTo :: CSequence a -> MPBall -> EqCompareType (CSequence a) MPBall

(HasEqAsymmetric a Dyadic, IsBool (CSequence (EqCompareType a Dyadic)), CanTestCertainly (EqCompareType a Dyadic)) => HasEqAsymmetric (CSequence a) Dyadic

Associated Types

type EqCompareType (CSequence a) Dyadic

Methods

equalTo :: CSequence a -> Dyadic -> EqCompareType (CSequence a) Dyadic

notEqualTo :: CSequence a -> Dyadic -> EqCompareType (CSequence a) Dyadic

(HasEqAsymmetric a Rational, IsBool (CSequence (EqCompareType a Rational)), CanTestCertainly (EqCompareType a Rational)) => HasEqAsymmetric (CSequence a) Rational

Associated Types

type EqCompareType (CSequence a) Rational

Methods

equalTo :: CSequence a -> Rational -> EqCompareType (CSequence a) Rational

notEqualTo :: CSequence a -> Rational -> EqCompareType (CSequence a) Rational

(HasEqAsymmetric a Integer, IsBool (CSequence (EqCompareType a Integer)), CanTestCertainly (EqCompareType a Integer)) => HasEqAsymmetric (CSequence a) Integer

Associated Types

type EqCompareType (CSequence a) Integer

Methods

equalTo :: CSequence a -> Integer -> EqCompareType (CSequence a) Integer

notEqualTo :: CSequence a -> Integer -> EqCompareType (CSequence a) Integer

(HasEqAsymmetric a Int, IsBool (CSequence (EqCompareType a Int)), CanTestCertainly (EqCompareType a Int)) => HasEqAsymmetric (CSequence a) Int

Associated Types

type EqCompareType (CSequence a) Int

Methods

equalTo :: CSequence a -> Int -> EqCompareType (CSequence a) Int

notEqualTo :: CSequence a -> Int -> EqCompareType (CSequence a) Int

CanMinMaxAsymmetric a MPBall => CanMinMaxAsymmetric (CSequence a) MPBall

Associated Types

type MinMaxType (CSequence a) MPBall

Methods

min :: CSequence a -> MPBall -> MinMaxType (CSequence a) MPBall

max :: CSequence a -> MPBall -> MinMaxType (CSequence a) MPBall

CanMinMaxAsymmetric a Dyadic => CanMinMaxAsymmetric (CSequence a) Dyadic

Associated Types

type MinMaxType (CSequence a) Dyadic

Methods

min :: CSequence a -> Dyadic -> MinMaxType (CSequence a) Dyadic

max :: CSequence a -> Dyadic -> MinMaxType (CSequence a) Dyadic

CanMinMaxAsymmetric a Rational => CanMinMaxAsymmetric (CSequence a) Rational

Associated Types

type MinMaxType (CSequence a) Rational

Methods

min :: CSequence a -> Rational -> MinMaxType (CSequence a) Rational

max :: CSequence a -> Rational -> MinMaxType (CSequence a) Rational

CanMinMaxAsymmetric a Integer => CanMinMaxAsymmetric (CSequence a) Integer

Associated Types

type MinMaxType (CSequence a) Integer

Methods

min :: CSequence a -> Integer -> MinMaxType (CSequence a) Integer

max :: CSequence a -> Integer -> MinMaxType (CSequence a) Integer

CanMinMaxAsymmetric a Int => CanMinMaxAsymmetric (CSequence a) Int

Associated Types

type MinMaxType (CSequence a) Int

Methods

min :: CSequence a -> Int -> MinMaxType (CSequence a) Int

max :: CSequence a -> Int -> MinMaxType (CSequence a) Int

(HasOrderAsymmetric a MPBall, CanTestCertainly (OrderCompareType a MPBall)) => HasOrderAsymmetric (CSequence a) MPBall

Associated Types

type OrderCompareType (CSequence a) MPBall

Methods

lessThan :: CSequence a -> MPBall -> OrderCompareType (CSequence a) MPBall

greaterThan :: CSequence a -> MPBall -> OrderCompareType (CSequence a) MPBall

leq :: CSequence a -> MPBall -> OrderCompareType (CSequence a) MPBall

geq :: CSequence a -> MPBall -> OrderCompareType (CSequence a) MPBall

(HasOrderAsymmetric a Dyadic, IsBool (CSequence (OrderCompareType a Dyadic)), CanTestCertainly (OrderCompareType a Dyadic)) => HasOrderAsymmetric (CSequence a) Dyadic

Associated Types

type OrderCompareType (CSequence a) Dyadic

Methods

lessThan :: CSequence a -> Dyadic -> OrderCompareType (CSequence a) Dyadic

greaterThan :: CSequence a -> Dyadic -> OrderCompareType (CSequence a) Dyadic

leq :: CSequence a -> Dyadic -> OrderCompareType (CSequence a) Dyadic

geq :: CSequence a -> Dyadic -> OrderCompareType (CSequence a) Dyadic

(HasOrderAsymmetric a Rational, IsBool (CSequence (OrderCompareType a Rational)), CanTestCertainly (OrderCompareType a Rational)) => HasOrderAsymmetric (CSequence a) Rational

Associated Types

type OrderCompareType (CSequence a) Rational

Methods

lessThan :: CSequence a -> Rational -> OrderCompareType (CSequence a) Rational

greaterThan :: CSequence a -> Rational -> OrderCompareType (CSequence a) Rational

leq :: CSequence a -> Rational -> OrderCompareType (CSequence a) Rational

geq :: CSequence a -> Rational -> OrderCompareType (CSequence a) Rational

(HasOrderAsymmetric a Integer, IsBool (CSequence (OrderCompareType a Integer)), CanTestCertainly (OrderCompareType a Integer)) => HasOrderAsymmetric (CSequence a) Integer

Associated Types

type OrderCompareType (CSequence a) Integer

Methods

lessThan :: CSequence a -> Integer -> OrderCompareType (CSequence a) Integer

greaterThan :: CSequence a -> Integer -> OrderCompareType (CSequence a) Integer

leq :: CSequence a -> Integer -> OrderCompareType (CSequence a) Integer

geq :: CSequence a -> Integer -> OrderCompareType (CSequence a) Integer

(HasOrderAsymmetric a Int, IsBool (CSequence (OrderCompareType a Int)), CanTestCertainly (OrderCompareType a Int)) => HasOrderAsymmetric (CSequence a) Int

Associated Types

type OrderCompareType (CSequence a) Int

Methods

lessThan :: CSequence a -> Int -> OrderCompareType (CSequence a) Int

greaterThan :: CSequence a -> Int -> OrderCompareType (CSequence a) Int

leq :: CSequence a -> Int -> OrderCompareType (CSequence a) Int

geq :: CSequence a -> Int -> OrderCompareType (CSequence a) Int

(HasEqAsymmetric a MPBall, CanTestCertainly (EqCompareType a MPBall)) => HasEqAsymmetric (CSequence a) (CN MPBall)

Associated Types

type EqCompareType (CSequence a) (CN MPBall)

Methods

equalTo :: CSequence a -> CN MPBall -> EqCompareType (CSequence a) (CN MPBall)

notEqualTo :: CSequence a -> CN MPBall -> EqCompareType (CSequence a) (CN MPBall)

(HasEqAsymmetric t1 t2, IsBool (CSequence (EqCompareType t1 t2)), CanTestCertainly (EqCompareType t1 t2)) => HasEqAsymmetric (CSequence t1) (CSequence t2)

Associated Types

type EqCompareType (CSequence t1) (CSequence t2)

Methods

equalTo :: CSequence t1 -> CSequence t2 -> EqCompareType (CSequence t1) (CSequence t2)

notEqualTo :: CSequence t1 -> CSequence t2 -> EqCompareType (CSequence t1) (CSequence t2)

(HasEqAsymmetric a Dyadic, IsBool (CSequence (EqCompareType a Dyadic)), CanTestCertainly (EqCompareType a Dyadic)) => HasEqAsymmetric (CSequence a) (CN Dyadic)

Associated Types

type EqCompareType (CSequence a) (CN Dyadic)

Methods

equalTo :: CSequence a -> CN Dyadic -> EqCompareType (CSequence a) (CN Dyadic)

notEqualTo :: CSequence a -> CN Dyadic -> EqCompareType (CSequence a) (CN Dyadic)

(HasEqAsymmetric a Rational, IsBool (CSequence (EqCompareType a Rational)), CanTestCertainly (EqCompareType a Rational)) => HasEqAsymmetric (CSequence a) (CN Rational)

Associated Types

type EqCompareType (CSequence a) (CN Rational)

Methods

equalTo :: CSequence a -> CN Rational -> EqCompareType (CSequence a) (CN Rational)

notEqualTo :: CSequence a -> CN Rational -> EqCompareType (CSequence a) (CN Rational)

(HasEqAsymmetric a Integer, IsBool (CSequence (EqCompareType a Integer)), CanTestCertainly (EqCompareType a Integer)) => HasEqAsymmetric (CSequence a) (CN Integer)

Associated Types

type EqCompareType (CSequence a) (CN Integer)

Methods

equalTo :: CSequence a -> CN Integer -> EqCompareType (CSequence a) (CN Integer)

notEqualTo :: CSequence a -> CN Integer -> EqCompareType (CSequence a) (CN Integer)

(HasEqAsymmetric a Int, IsBool (CSequence (EqCompareType a Int)), CanTestCertainly (EqCompareType a Int)) => HasEqAsymmetric (CSequence a) (CN Int)

Associated Types

type EqCompareType (CSequence a) (CN Int)

Methods

equalTo :: CSequence a -> CN Int -> EqCompareType (CSequence a) (CN Int)

notEqualTo :: CSequence a -> CN Int -> EqCompareType (CSequence a) (CN Int)

(HasEqAsymmetric MPBall b, CanTestCertainly (EqCompareType MPBall b)) => HasEqAsymmetric (CN MPBall) (CSequence b)

Associated Types

type EqCompareType (CN MPBall) (CSequence b)

Methods

equalTo :: CN MPBall -> CSequence b -> EqCompareType (CN MPBall) (CSequence b)

notEqualTo :: CN MPBall -> CSequence b -> EqCompareType (CN MPBall) (CSequence b)

(HasEqAsymmetric Dyadic a, IsBool (CSequence (EqCompareType Dyadic a)), CanTestCertainly (EqCompareType Dyadic a)) => HasEqAsymmetric (CN Dyadic) (CSequence a)

Associated Types

type EqCompareType (CN Dyadic) (CSequence a)

Methods

equalTo :: CN Dyadic -> CSequence a -> EqCompareType (CN Dyadic) (CSequence a)

notEqualTo :: CN Dyadic -> CSequence a -> EqCompareType (CN Dyadic) (CSequence a)

(HasEqAsymmetric Rational a, IsBool (CSequence (EqCompareType Rational a)), CanTestCertainly (EqCompareType Rational a)) => HasEqAsymmetric (CN Rational) (CSequence a)

Associated Types

type EqCompareType (CN Rational) (CSequence a)

Methods

equalTo :: CN Rational -> CSequence a -> EqCompareType (CN Rational) (CSequence a)

notEqualTo :: CN Rational -> CSequence a -> EqCompareType (CN Rational) (CSequence a)

(HasEqAsymmetric Integer a, IsBool (CSequence (EqCompareType Integer a)), CanTestCertainly (EqCompareType Integer a)) => HasEqAsymmetric (CN Integer) (CSequence a)

Associated Types

type EqCompareType (CN Integer) (CSequence a)

Methods

equalTo :: CN Integer -> CSequence a -> EqCompareType (CN Integer) (CSequence a)

notEqualTo :: CN Integer -> CSequence a -> EqCompareType (CN Integer) (CSequence a)

(HasEqAsymmetric Int a, IsBool (CSequence (EqCompareType Int a)), CanTestCertainly (EqCompareType Int a)) => HasEqAsymmetric (CN Int) (CSequence a)

Associated Types

type EqCompareType (CN Int) (CSequence a)

Methods

equalTo :: CN Int -> CSequence a -> EqCompareType (CN Int) (CSequence a)

notEqualTo :: CN Int -> CSequence a -> EqCompareType (CN Int) (CSequence a)

CanMinMaxAsymmetric a MPBall => CanMinMaxAsymmetric (CSequence a) (CN MPBall)

Associated Types

type MinMaxType (CSequence a) (CN MPBall)

Methods

min :: CSequence a -> CN MPBall -> MinMaxType (CSequence a) (CN MPBall)

max :: CSequence a -> CN MPBall -> MinMaxType (CSequence a) (CN MPBall)

CanMinMaxAsymmetric t1 t2 => CanMinMaxAsymmetric (CSequence t1) (CSequence t2)

Associated Types

type MinMaxType (CSequence t1) (CSequence t2)

Methods

min :: CSequence t1 -> CSequence t2 -> MinMaxType (CSequence t1) (CSequence t2)

max :: CSequence t1 -> CSequence t2 -> MinMaxType (CSequence t1) (CSequence t2)

CanMinMaxAsymmetric a Dyadic => CanMinMaxAsymmetric (CSequence a) (CN Dyadic)

Associated Types

type MinMaxType (CSequence a) (CN Dyadic)

Methods

min :: CSequence a -> CN Dyadic -> MinMaxType (CSequence a) (CN Dyadic)

max :: CSequence a -> CN Dyadic -> MinMaxType (CSequence a) (CN Dyadic)

CanMinMaxAsymmetric a Rational => CanMinMaxAsymmetric (CSequence a) (CN Rational)

Associated Types

type MinMaxType (CSequence a) (CN Rational)

Methods

min :: CSequence a -> CN Rational -> MinMaxType (CSequence a) (CN Rational)

max :: CSequence a -> CN Rational -> MinMaxType (CSequence a) (CN Rational)

CanMinMaxAsymmetric a Integer => CanMinMaxAsymmetric (CSequence a) (CN Integer)

Associated Types

type MinMaxType (CSequence a) (CN Integer)

Methods

min :: CSequence a -> CN Integer -> MinMaxType (CSequence a) (CN Integer)

max :: CSequence a -> CN Integer -> MinMaxType (CSequence a) (CN Integer)

CanMinMaxAsymmetric a Int => CanMinMaxAsymmetric (CSequence a) (CN Int)

Associated Types

type MinMaxType (CSequence a) (CN Int)

Methods

min :: CSequence a -> CN Int -> MinMaxType (CSequence a) (CN Int)

max :: CSequence a -> CN Int -> MinMaxType (CSequence a) (CN Int)

CanMinMaxAsymmetric MPBall a => CanMinMaxAsymmetric (CN MPBall) (CSequence a)

Associated Types

type MinMaxType (CN MPBall) (CSequence a)

Methods

min :: CN MPBall -> CSequence a -> MinMaxType (CN MPBall) (CSequence a)

max :: CN MPBall -> CSequence a -> MinMaxType (CN MPBall) (CSequence a)

CanMinMaxAsymmetric Dyadic a => CanMinMaxAsymmetric (CN Dyadic) (CSequence a)

Associated Types

type MinMaxType (CN Dyadic) (CSequence a)

Methods

min :: CN Dyadic -> CSequence a -> MinMaxType (CN Dyadic) (CSequence a)

max :: CN Dyadic -> CSequence a -> MinMaxType (CN Dyadic) (CSequence a)

CanMinMaxAsymmetric Rational a => CanMinMaxAsymmetric (CN Rational) (CSequence a)

Associated Types

type MinMaxType (CN Rational) (CSequence a)

Methods

min :: CN Rational -> CSequence a -> MinMaxType (CN Rational) (CSequence a)

max :: CN Rational -> CSequence a -> MinMaxType (CN Rational) (CSequence a)

CanMinMaxAsymmetric Integer a => CanMinMaxAsymmetric (CN Integer) (CSequence a)

Associated Types

type MinMaxType (CN Integer) (CSequence a)

Methods

min :: CN Integer -> CSequence a -> MinMaxType (CN Integer) (CSequence a)

max :: CN Integer -> CSequence a -> MinMaxType (CN Integer) (CSequence a)

CanMinMaxAsymmetric Int a => CanMinMaxAsymmetric (CN Int) (CSequence a)

Associated Types

type MinMaxType (CN Int) (CSequence a)

Methods

min :: CN Int -> CSequence a -> MinMaxType (CN Int) (CSequence a)

max :: CN Int -> CSequence a -> MinMaxType (CN Int) (CSequence a)

(HasOrderAsymmetric a MPBall, CanTestCertainly (OrderCompareType a MPBall)) => HasOrderAsymmetric (CSequence a) (CN MPBall)

Associated Types

type OrderCompareType (CSequence a) (CN MPBall)

Methods

lessThan :: CSequence a -> CN MPBall -> OrderCompareType (CSequence a) (CN MPBall)

greaterThan :: CSequence a -> CN MPBall -> OrderCompareType (CSequence a) (CN MPBall)

leq :: CSequence a -> CN MPBall -> OrderCompareType (CSequence a) (CN MPBall)

geq :: CSequence a -> CN MPBall -> OrderCompareType (CSequence a) (CN MPBall)

(HasOrderAsymmetric t1 t2, IsBool (CSequence (OrderCompareType t1 t2)), CanTestCertainly (OrderCompareType t1 t2)) => HasOrderAsymmetric (CSequence t1) (CSequence t2)

Associated Types

type OrderCompareType (CSequence t1) (CSequence t2)

Methods

lessThan :: CSequence t1 -> CSequence t2 -> OrderCompareType (CSequence t1) (CSequence t2)

greaterThan :: CSequence t1 -> CSequence t2 -> OrderCompareType (CSequence t1) (CSequence t2)

leq :: CSequence t1 -> CSequence t2 -> OrderCompareType (CSequence t1) (CSequence t2)

geq :: CSequence t1 -> CSequence t2 -> OrderCompareType (CSequence t1) (CSequence t2)

(HasOrderAsymmetric a Dyadic, IsBool (CSequence (OrderCompareType a Dyadic)), CanTestCertainly (OrderCompareType a Dyadic)) => HasOrderAsymmetric (CSequence a) (CN Dyadic)

Associated Types

type OrderCompareType (CSequence a) (CN Dyadic)

Methods

lessThan :: CSequence a -> CN Dyadic -> OrderCompareType (CSequence a) (CN Dyadic)

greaterThan :: CSequence a -> CN Dyadic -> OrderCompareType (CSequence a) (CN Dyadic)

leq :: CSequence a -> CN Dyadic -> OrderCompareType (CSequence a) (CN Dyadic)

geq :: CSequence a -> CN Dyadic -> OrderCompareType (CSequence a) (CN Dyadic)

(HasOrderAsymmetric a Rational, IsBool (CSequence (OrderCompareType a Rational)), CanTestCertainly (OrderCompareType a Rational)) => HasOrderAsymmetric (CSequence a) (CN Rational)

Associated Types

type OrderCompareType (CSequence a) (CN Rational)

Methods

lessThan :: CSequence a -> CN Rational -> OrderCompareType (CSequence a) (CN Rational)

greaterThan :: CSequence a -> CN Rational -> OrderCompareType (CSequence a) (CN Rational)

leq :: CSequence a -> CN Rational -> OrderCompareType (CSequence a) (CN Rational)

geq :: CSequence a -> CN Rational -> OrderCompareType (CSequence a) (CN Rational)

(HasOrderAsymmetric a Integer, IsBool (CSequence (OrderCompareType a Integer)), CanTestCertainly (OrderCompareType a Integer)) => HasOrderAsymmetric (CSequence a) (CN Integer)

Associated Types

type OrderCompareType (CSequence a) (CN Integer)

Methods

lessThan :: CSequence a -> CN Integer -> OrderCompareType (CSequence a) (CN Integer)

greaterThan :: CSequence a -> CN Integer -> OrderCompareType (CSequence a) (CN Integer)

leq :: CSequence a -> CN Integer -> OrderCompareType (CSequence a) (CN Integer)

geq :: CSequence a -> CN Integer -> OrderCompareType (CSequence a) (CN Integer)

(HasOrderAsymmetric a Int, IsBool (CSequence (OrderCompareType a Int)), CanTestCertainly (OrderCompareType a Int)) => HasOrderAsymmetric (CSequence a) (CN Int)

Associated Types

type OrderCompareType (CSequence a) (CN Int)

Methods

lessThan :: CSequence a -> CN Int -> OrderCompareType (CSequence a) (CN Int)

greaterThan :: CSequence a -> CN Int -> OrderCompareType (CSequence a) (CN Int)

leq :: CSequence a -> CN Int -> OrderCompareType (CSequence a) (CN Int)

geq :: CSequence a -> CN Int -> OrderCompareType (CSequence a) (CN Int)

(HasOrderAsymmetric MPBall b, CanTestCertainly (OrderCompareType MPBall b)) => HasOrderAsymmetric (CN MPBall) (CSequence b)

Associated Types

type OrderCompareType (CN MPBall) (CSequence b)

Methods

lessThan :: CN MPBall -> CSequence b -> OrderCompareType (CN MPBall) (CSequence b)

greaterThan :: CN MPBall -> CSequence b -> OrderCompareType (CN MPBall) (CSequence b)

leq :: CN MPBall -> CSequence b -> OrderCompareType (CN MPBall) (CSequence b)

geq :: CN MPBall -> CSequence b -> OrderCompareType (CN MPBall) (CSequence b)

(HasOrderAsymmetric Dyadic a, IsBool (CSequence (OrderCompareType Dyadic a)), CanTestCertainly (OrderCompareType Dyadic a)) => HasOrderAsymmetric (CN Dyadic) (CSequence a)

Associated Types

type OrderCompareType (CN Dyadic) (CSequence a)

Methods

lessThan :: CN Dyadic -> CSequence a -> OrderCompareType (CN Dyadic) (CSequence a)

greaterThan :: CN Dyadic -> CSequence a -> OrderCompareType (CN Dyadic) (CSequence a)

leq :: CN Dyadic -> CSequence a -> OrderCompareType (CN Dyadic) (CSequence a)

geq :: CN Dyadic -> CSequence a -> OrderCompareType (CN Dyadic) (CSequence a)

(HasOrderAsymmetric Rational a, IsBool (CSequence (OrderCompareType Rational a)), CanTestCertainly (OrderCompareType Rational a)) => HasOrderAsymmetric (CN Rational) (CSequence a)

Associated Types

type OrderCompareType (CN Rational) (CSequence a)

Methods

lessThan :: CN Rational -> CSequence a -> OrderCompareType (CN Rational) (CSequence a)

greaterThan :: CN Rational -> CSequence a -> OrderCompareType (CN Rational) (CSequence a)

leq :: CN Rational -> CSequence a -> OrderCompareType (CN Rational) (CSequence a)

geq :: CN Rational -> CSequence a -> OrderCompareType (CN Rational) (CSequence a)

(HasOrderAsymmetric Integer a, IsBool (CSequence (OrderCompareType Integer a)), CanTestCertainly (OrderCompareType Integer a)) => HasOrderAsymmetric (CN Integer) (CSequence a)

Associated Types

type OrderCompareType (CN Integer) (CSequence a)

Methods

lessThan :: CN Integer -> CSequence a -> OrderCompareType (CN Integer) (CSequence a)

greaterThan :: CN Integer -> CSequence a -> OrderCompareType (CN Integer) (CSequence a)

leq :: CN Integer -> CSequence a -> OrderCompareType (CN Integer) (CSequence a)

geq :: CN Integer -> CSequence a -> OrderCompareType (CN Integer) (CSequence a)

(HasOrderAsymmetric Int a, IsBool (CSequence (OrderCompareType Int a)), CanTestCertainly (OrderCompareType Int a)) => HasOrderAsymmetric (CN Int) (CSequence a)

Associated Types

type OrderCompareType (CN Int) (CSequence a)

Methods

lessThan :: CN Int -> CSequence a -> OrderCompareType (CN Int) (CSequence a)

greaterThan :: CN Int -> CSequence a -> OrderCompareType (CN Int) (CSequence a)

leq :: CN Int -> CSequence a -> OrderCompareType (CN Int) (CSequence a)

geq :: CN Int -> CSequence a -> OrderCompareType (CN Int) (CSequence a)