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

AERN2.WithGlobalParam.Comparison

Contents

Orphan instances

Description

Comparison operations on WithGlobalParam objects.

Orphan instances

(QAArrow to, CanMinMaxAsymmetric Int b, SuitableForWGParam prm b, SuitableForWGParam prm (MinMaxType Int b)) => CanMinMaxAsymmetric Int (WithGlobalParamA to prm b) #
Instance details Associated Types type MinMaxType Int (WithGlobalParamA to prm b) :: * # Methods min :: Int -> WithGlobalParamA to prm b -> MinMaxType Int (WithGlobalParamA to prm b) # max :: Int -> WithGlobalParamA to prm b -> MinMaxType Int (WithGlobalParamA to prm b) #
(QAArrow to, CanMinMaxAsymmetric Integer b, SuitableForWGParam prm b, SuitableForWGParam prm (MinMaxType Integer b)) => CanMinMaxAsymmetric Integer (WithGlobalParamA to prm b) #
Instance details Associated Types type MinMaxType Integer (WithGlobalParamA to prm b) :: * # Methods min :: Integer -> WithGlobalParamA to prm b -> MinMaxType Integer (WithGlobalParamA to prm b) # max :: Integer -> WithGlobalParamA to prm b -> MinMaxType Integer (WithGlobalParamA to prm b) #
(QAArrow to, CanMinMaxAsymmetric Rational b, SuitableForWGParam prm b, SuitableForWGParam prm (MinMaxType Rational b)) => CanMinMaxAsymmetric Rational (WithGlobalParamA to prm b) #
Instance details Associated Types type MinMaxType Rational (WithGlobalParamA to prm b) :: * # Methods min :: Rational -> WithGlobalParamA to prm b -> MinMaxType Rational (WithGlobalParamA to prm b) # max :: Rational -> WithGlobalParamA to prm b -> MinMaxType Rational (WithGlobalParamA to prm b) #
(QAArrow to, CanMinMaxAsymmetric Dyadic b, SuitableForWGParam prm b, SuitableForWGParam prm (MinMaxType Dyadic b)) => CanMinMaxAsymmetric Dyadic (WithGlobalParamA to prm b) #
Instance details Associated Types type MinMaxType Dyadic (WithGlobalParamA to prm b) :: * # Methods min :: Dyadic -> WithGlobalParamA to prm b -> MinMaxType Dyadic (WithGlobalParamA to prm b) # max :: Dyadic -> WithGlobalParamA to prm b -> MinMaxType Dyadic (WithGlobalParamA to prm b) #
(QAArrow to, HasEqAsymmetric Int a, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType Int a)) => HasEqAsymmetric Int (WithGlobalParamA to prm a) #
Instance details Associated Types type EqCompareType Int (WithGlobalParamA to prm a) :: * # Methods equalTo :: Int -> WithGlobalParamA to prm a -> EqCompareType Int (WithGlobalParamA to prm a) # notEqualTo :: Int -> WithGlobalParamA to prm a -> EqCompareType Int (WithGlobalParamA to prm a) #
(QAArrow to, HasEqAsymmetric Integer a, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType Integer a)) => HasEqAsymmetric Integer (WithGlobalParamA to prm a) #
Instance details Associated Types type EqCompareType Integer (WithGlobalParamA to prm a) :: * # Methods equalTo :: Integer -> WithGlobalParamA to prm a -> EqCompareType Integer (WithGlobalParamA to prm a) # notEqualTo :: Integer -> WithGlobalParamA to prm a -> EqCompareType Integer (WithGlobalParamA to prm a) #
(QAArrow to, HasEqAsymmetric Rational a, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType Rational a)) => HasEqAsymmetric Rational (WithGlobalParamA to prm a) #
Instance details Associated Types type EqCompareType Rational (WithGlobalParamA to prm a) :: * # Methods equalTo :: Rational -> WithGlobalParamA to prm a -> EqCompareType Rational (WithGlobalParamA to prm a) # notEqualTo :: Rational -> WithGlobalParamA to prm a -> EqCompareType Rational (WithGlobalParamA to prm a) #
(QAArrow to, HasEqAsymmetric Dyadic a, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType Dyadic a)) => HasEqAsymmetric Dyadic (WithGlobalParamA to prm a) #
Instance details Associated Types type EqCompareType Dyadic (WithGlobalParamA to prm a) :: * # Methods equalTo :: Dyadic -> WithGlobalParamA to prm a -> EqCompareType Dyadic (WithGlobalParamA to prm a) # notEqualTo :: Dyadic -> WithGlobalParamA to prm a -> EqCompareType Dyadic (WithGlobalParamA to prm a) #
(QAArrow to, HasOrderAsymmetric Int a, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType Int a)) => HasOrderAsymmetric Int (WithGlobalParamA to prm a) #
Instance details Associated Types type OrderCompareType Int (WithGlobalParamA to prm a) :: * # Methods lessThan :: Int -> WithGlobalParamA to prm a -> OrderCompareType Int (WithGlobalParamA to prm a) # greaterThan :: Int -> WithGlobalParamA to prm a -> OrderCompareType Int (WithGlobalParamA to prm a) # leq :: Int -> WithGlobalParamA to prm a -> OrderCompareType Int (WithGlobalParamA to prm a) # geq :: Int -> WithGlobalParamA to prm a -> OrderCompareType Int (WithGlobalParamA to prm a) #
(QAArrow to, HasOrderAsymmetric Integer a, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType Integer a)) => HasOrderAsymmetric Integer (WithGlobalParamA to prm a) #
Instance details Associated Types type OrderCompareType Integer (WithGlobalParamA to prm a) :: * # Methods lessThan :: Integer -> WithGlobalParamA to prm a -> OrderCompareType Integer (WithGlobalParamA to prm a) # greaterThan :: Integer -> WithGlobalParamA to prm a -> OrderCompareType Integer (WithGlobalParamA to prm a) # leq :: Integer -> WithGlobalParamA to prm a -> OrderCompareType Integer (WithGlobalParamA to prm a) # geq :: Integer -> WithGlobalParamA to prm a -> OrderCompareType Integer (WithGlobalParamA to prm a) #
(QAArrow to, HasOrderAsymmetric Rational a, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType Rational a)) => HasOrderAsymmetric Rational (WithGlobalParamA to prm a) #
Instance details Associated Types type OrderCompareType Rational (WithGlobalParamA to prm a) :: * # Methods lessThan :: Rational -> WithGlobalParamA to prm a -> OrderCompareType Rational (WithGlobalParamA to prm a) # greaterThan :: Rational -> WithGlobalParamA to prm a -> OrderCompareType Rational (WithGlobalParamA to prm a) # leq :: Rational -> WithGlobalParamA to prm a -> OrderCompareType Rational (WithGlobalParamA to prm a) # geq :: Rational -> WithGlobalParamA to prm a -> OrderCompareType Rational (WithGlobalParamA to prm a) #
(QAArrow to, HasOrderAsymmetric Dyadic a, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType Dyadic a)) => HasOrderAsymmetric Dyadic (WithGlobalParamA to prm a) #
Instance details Associated Types type OrderCompareType Dyadic (WithGlobalParamA to prm a) :: * # Methods lessThan :: Dyadic -> WithGlobalParamA to prm a -> OrderCompareType Dyadic (WithGlobalParamA to prm a) # greaterThan :: Dyadic -> WithGlobalParamA to prm a -> OrderCompareType Dyadic (WithGlobalParamA to prm a) # leq :: Dyadic -> WithGlobalParamA to prm a -> OrderCompareType Dyadic (WithGlobalParamA to prm a) # geq :: Dyadic -> WithGlobalParamA to prm a -> OrderCompareType Dyadic (WithGlobalParamA to prm a) #
(QAArrow to, HasBools b, SuitableForWGParam prm b) => ConvertibleExactly Bool (WithGlobalParamA to prm b) #
Instance details Methods safeConvertExactly :: Bool -> ConvertResult (WithGlobalParamA to prm b) #
(CanMinMaxAsymmetric a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (MinMaxType a (WithGlobalParamA to prm b)), SuitableForCE es) => CanMinMaxAsymmetric (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Associated Types type MinMaxType (CollectErrors es a) (WithGlobalParamA to prm b) :: * # Methods min :: CollectErrors es a -> WithGlobalParamA to prm b -> MinMaxType (CollectErrors es a) (WithGlobalParamA to prm b) # max :: CollectErrors es a -> WithGlobalParamA to prm b -> MinMaxType (CollectErrors es a) (WithGlobalParamA to prm b) #
(HasEqAsymmetric a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (EqCompareType a (WithGlobalParamA to prm b)), IsBool (EnsureCE es (EqCompareType a (WithGlobalParamA to prm b))), SuitableForCE es) => HasEqAsymmetric (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Associated Types type EqCompareType (CollectErrors es a) (WithGlobalParamA to prm b) :: * # Methods equalTo :: CollectErrors es a -> WithGlobalParamA to prm b -> EqCompareType (CollectErrors es a) (WithGlobalParamA to prm b) # notEqualTo :: CollectErrors es a -> WithGlobalParamA to prm b -> EqCompareType (CollectErrors es a) (WithGlobalParamA to prm b) #
(HasOrderAsymmetric a (WithGlobalParamA to prm b), CanEnsureCE es a, CanEnsureCE es (OrderCompareType a (WithGlobalParamA to prm b)), IsBool (EnsureCE es (OrderCompareType a (WithGlobalParamA to prm b))), SuitableForCE es) => HasOrderAsymmetric (CollectErrors es a) (WithGlobalParamA to prm b) #
Instance details Associated Types type OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) :: * # Methods lessThan :: CollectErrors es a -> WithGlobalParamA to prm b -> OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) # greaterThan :: CollectErrors es a -> WithGlobalParamA to prm b -> OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) # leq :: CollectErrors es a -> WithGlobalParamA to prm b -> OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) # geq :: CollectErrors es a -> WithGlobalParamA to prm b -> OrderCompareType (CollectErrors es a) (WithGlobalParamA to prm b) #
(QAArrow to, CanAbs a, SuitableForWGParam prm a, SuitableForWGParam prm (AbsType a)) => CanAbs (WithGlobalParamA to prm a) #
Instance details Associated Types type AbsType (WithGlobalParamA to prm a) :: * # Methods abs :: WithGlobalParamA to prm a -> AbsType (WithGlobalParamA to prm a) #
(QAArrow to, CanNeg a, SuitableForWGParam prm a, SuitableForWGParam prm (NegType a)) => CanNeg (WithGlobalParamA to prm a) #
Instance details Associated Types type NegType (WithGlobalParamA to prm a) :: * # Methods negate :: WithGlobalParamA to prm a -> NegType (WithGlobalParamA to prm a) #
(QAArrow to, CanMinMaxAsymmetric a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (MinMaxType a Integer)) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) Integer #
Instance details Associated Types type MinMaxType (WithGlobalParamA to prm a) Integer :: * # Methods min :: WithGlobalParamA to prm a -> Integer -> MinMaxType (WithGlobalParamA to prm a) Integer # max :: WithGlobalParamA to prm a -> Integer -> MinMaxType (WithGlobalParamA to prm a) Integer #
(QAArrow to, CanMinMaxAsymmetric a Int, SuitableForWGParam prm a, SuitableForWGParam prm (MinMaxType a Int)) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) Int #
Instance details Associated Types type MinMaxType (WithGlobalParamA to prm a) Int :: * # Methods min :: WithGlobalParamA to prm a -> Int -> MinMaxType (WithGlobalParamA to prm a) Int # max :: WithGlobalParamA to prm a -> Int -> MinMaxType (WithGlobalParamA to prm a) Int #
(QAArrow to, CanMinMaxAsymmetric a Rational, SuitableForWGParam prm a, SuitableForWGParam prm (MinMaxType a Rational)) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) Rational #
Instance details Associated Types type MinMaxType (WithGlobalParamA to prm a) Rational :: * # Methods min :: WithGlobalParamA to prm a -> Rational -> MinMaxType (WithGlobalParamA to prm a) Rational # max :: WithGlobalParamA to prm a -> Rational -> MinMaxType (WithGlobalParamA to prm a) Rational #
(QAArrow to, CanMinMaxAsymmetric a Dyadic, SuitableForWGParam prm a, SuitableForWGParam prm (MinMaxType a Dyadic)) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) Dyadic #
Instance details Associated Types type MinMaxType (WithGlobalParamA to prm a) Dyadic :: * # Methods min :: WithGlobalParamA to prm a -> Dyadic -> MinMaxType (WithGlobalParamA to prm a) Dyadic # max :: WithGlobalParamA to prm a -> Dyadic -> MinMaxType (WithGlobalParamA to prm a) Dyadic #
(QAArrow to, HasEqAsymmetric a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType a Integer)) => HasEqAsymmetric (WithGlobalParamA to prm a) Integer #
Instance details Associated Types type EqCompareType (WithGlobalParamA to prm a) Integer :: * # Methods equalTo :: WithGlobalParamA to prm a -> Integer -> EqCompareType (WithGlobalParamA to prm a) Integer # notEqualTo :: WithGlobalParamA to prm a -> Integer -> EqCompareType (WithGlobalParamA to prm a) Integer #
(QAArrow to, HasEqAsymmetric a Int, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType a Int)) => HasEqAsymmetric (WithGlobalParamA to prm a) Int #
Instance details Associated Types type EqCompareType (WithGlobalParamA to prm a) Int :: * # Methods equalTo :: WithGlobalParamA to prm a -> Int -> EqCompareType (WithGlobalParamA to prm a) Int # notEqualTo :: WithGlobalParamA to prm a -> Int -> EqCompareType (WithGlobalParamA to prm a) Int #
(QAArrow to, HasEqAsymmetric a Rational, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType a Rational)) => HasEqAsymmetric (WithGlobalParamA to prm a) Rational #
Instance details Associated Types type EqCompareType (WithGlobalParamA to prm a) Rational :: * # Methods equalTo :: WithGlobalParamA to prm a -> Rational -> EqCompareType (WithGlobalParamA to prm a) Rational # notEqualTo :: WithGlobalParamA to prm a -> Rational -> EqCompareType (WithGlobalParamA to prm a) Rational #
(QAArrow to, HasEqAsymmetric a Dyadic, SuitableForWGParam prm a, SuitableForWGParam prm (EqCompareType a Dyadic)) => HasEqAsymmetric (WithGlobalParamA to prm a) Dyadic #
Instance details Associated Types type EqCompareType (WithGlobalParamA to prm a) Dyadic :: * # Methods equalTo :: WithGlobalParamA to prm a -> Dyadic -> EqCompareType (WithGlobalParamA to prm a) Dyadic # notEqualTo :: WithGlobalParamA to prm a -> Dyadic -> EqCompareType (WithGlobalParamA to prm a) Dyadic #
(QAArrow to, HasOrderAsymmetric a Integer, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType a Integer)) => HasOrderAsymmetric (WithGlobalParamA to prm a) Integer #
Instance details Associated Types type OrderCompareType (WithGlobalParamA to prm a) Integer :: * # Methods lessThan :: WithGlobalParamA to prm a -> Integer -> OrderCompareType (WithGlobalParamA to prm a) Integer # greaterThan :: WithGlobalParamA to prm a -> Integer -> OrderCompareType (WithGlobalParamA to prm a) Integer # leq :: WithGlobalParamA to prm a -> Integer -> OrderCompareType (WithGlobalParamA to prm a) Integer # geq :: WithGlobalParamA to prm a -> Integer -> OrderCompareType (WithGlobalParamA to prm a) Integer #
(QAArrow to, HasOrderAsymmetric a Int, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType a Int)) => HasOrderAsymmetric (WithGlobalParamA to prm a) Int #
Instance details Associated Types type OrderCompareType (WithGlobalParamA to prm a) Int :: * # Methods lessThan :: WithGlobalParamA to prm a -> Int -> OrderCompareType (WithGlobalParamA to prm a) Int # greaterThan :: WithGlobalParamA to prm a -> Int -> OrderCompareType (WithGlobalParamA to prm a) Int # leq :: WithGlobalParamA to prm a -> Int -> OrderCompareType (WithGlobalParamA to prm a) Int # geq :: WithGlobalParamA to prm a -> Int -> OrderCompareType (WithGlobalParamA to prm a) Int #
(QAArrow to, HasOrderAsymmetric a Rational, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType a Rational)) => HasOrderAsymmetric (WithGlobalParamA to prm a) Rational #
Instance details Associated Types type OrderCompareType (WithGlobalParamA to prm a) Rational :: * # Methods lessThan :: WithGlobalParamA to prm a -> Rational -> OrderCompareType (WithGlobalParamA to prm a) Rational # greaterThan :: WithGlobalParamA to prm a -> Rational -> OrderCompareType (WithGlobalParamA to prm a) Rational # leq :: WithGlobalParamA to prm a -> Rational -> OrderCompareType (WithGlobalParamA to prm a) Rational # geq :: WithGlobalParamA to prm a -> Rational -> OrderCompareType (WithGlobalParamA to prm a) Rational #
(QAArrow to, HasOrderAsymmetric a Dyadic, SuitableForWGParam prm a, SuitableForWGParam prm (OrderCompareType a Dyadic)) => HasOrderAsymmetric (WithGlobalParamA to prm a) Dyadic #
Instance details Associated Types type OrderCompareType (WithGlobalParamA to prm a) Dyadic :: * # Methods lessThan :: WithGlobalParamA to prm a -> Dyadic -> OrderCompareType (WithGlobalParamA to prm a) Dyadic # greaterThan :: WithGlobalParamA to prm a -> Dyadic -> OrderCompareType (WithGlobalParamA to prm a) Dyadic # leq :: WithGlobalParamA to prm a -> Dyadic -> OrderCompareType (WithGlobalParamA to prm a) Dyadic # geq :: WithGlobalParamA to prm a -> Dyadic -> OrderCompareType (WithGlobalParamA to prm a) Dyadic #
(CanMinMaxAsymmetric (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (MinMaxType (WithGlobalParamA to prm a) b), SuitableForCE es) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Associated Types type MinMaxType (WithGlobalParamA to prm a) (CollectErrors es b) :: * # Methods min :: WithGlobalParamA to prm a -> CollectErrors es b -> MinMaxType (WithGlobalParamA to prm a) (CollectErrors es b) # max :: WithGlobalParamA to prm a -> CollectErrors es b -> MinMaxType (WithGlobalParamA to prm a) (CollectErrors es b) #
(HasEqAsymmetric (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (EqCompareType (WithGlobalParamA to prm a) b), IsBool (EnsureCE es (EqCompareType (WithGlobalParamA to prm a) b)), SuitableForCE es) => HasEqAsymmetric (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Associated Types type EqCompareType (WithGlobalParamA to prm a) (CollectErrors es b) :: * # Methods equalTo :: WithGlobalParamA to prm a -> CollectErrors es b -> EqCompareType (WithGlobalParamA to prm a) (CollectErrors es b) # notEqualTo :: WithGlobalParamA to prm a -> CollectErrors es b -> EqCompareType (WithGlobalParamA to prm a) (CollectErrors es b) #
(HasOrderAsymmetric (WithGlobalParamA to prm a) b, CanEnsureCE es b, CanEnsureCE es (OrderCompareType (WithGlobalParamA to prm a) b), IsBool (EnsureCE es (OrderCompareType (WithGlobalParamA to prm a) b)), SuitableForCE es) => HasOrderAsymmetric (WithGlobalParamA to prm a) (CollectErrors es b) #
Instance details Associated Types type OrderCompareType (WithGlobalParamA to prm a) (CollectErrors es b) :: * # Methods lessThan :: WithGlobalParamA to prm a -> CollectErrors es b -> OrderCompareType (WithGlobalParamA to prm a) (CollectErrors es b) # greaterThan :: WithGlobalParamA to prm a -> CollectErrors es b -> OrderCompareType (WithGlobalParamA to prm a) (CollectErrors es b) # leq :: WithGlobalParamA to prm a -> CollectErrors es b -> OrderCompareType (WithGlobalParamA to prm a) (CollectErrors es b) # geq :: WithGlobalParamA to prm a -> CollectErrors es b -> OrderCompareType (WithGlobalParamA to prm a) (CollectErrors es b) #
(QAArrow to, CanMinMaxAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (MinMaxType a b)) => CanMinMaxAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Associated Types type MinMaxType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * # Methods min :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> MinMaxType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # max :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> MinMaxType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
(QAArrow to, HasEqAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (EqCompareType a b)) => HasEqAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Associated Types type EqCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * # Methods equalTo :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> EqCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # notEqualTo :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> EqCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
(QAArrow to, HasOrderAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (OrderCompareType a b)) => HasOrderAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Associated Types type OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * # Methods lessThan :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # greaterThan :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # leq :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # geq :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> OrderCompareType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
(QAArrow to, CanAndOrAsymmetric a b, SuitableForWGParam prm a, SuitableForWGParam prm b, SuitableForWGParam prm (AndOrType a b)) => CanAndOrAsymmetric (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #
Instance details Associated Types type AndOrType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) :: * # Methods and2 :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> AndOrType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) # or2 :: WithGlobalParamA to prm a -> WithGlobalParamA to prm b -> AndOrType (WithGlobalParamA to prm a) (WithGlobalParamA to prm b) #