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

Numeric.MixedTypes.Ord

Contents

Comparisons in numeric order
- Tests
- Specific comparisons

Description

Synopsis

type HasOrder t1 t2 = (HasOrderAsymmetric t1 t2, HasOrderAsymmetric t2 t1, OrderCompareType t1 t2 ~ OrderCompareType t2 t1)
class IsBool (OrderCompareType a b) => HasOrderAsymmetric a b where
- type OrderCompareType a b
- lessThan :: a -> b -> OrderCompareType a b
- greaterThan :: a -> b -> OrderCompareType a b
- leq :: a -> b -> OrderCompareType a b
- geq :: a -> b -> OrderCompareType a b
(>) :: HasOrderAsymmetric a b => a -> b -> OrderCompareType a b
(<) :: HasOrderAsymmetric a b => a -> b -> OrderCompareType a b
(<=) :: HasOrderAsymmetric a b => a -> b -> OrderCompareType a b
(>=) :: HasOrderAsymmetric a b => a -> b -> OrderCompareType a b
type HasOrderCertainlyAsymmetric t1 t2 = (HasOrderAsymmetric t1 t2, CanTestCertainly (OrderCompareType t1 t2))
type HasOrderCertainly t1 t2 = (HasOrder t1 t2, CanTestCertainly (OrderCompareType t1 t2))
(?<=?) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool
(?<?) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool
(?>=?) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool
(?>?) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool
(!<=!) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool
(!<!) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool
(!>=!) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool
(!>!) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool
specHasOrder :: _ => T t1 -> T t2 -> T t3 -> Spec
specHasOrderNotMixed :: _ => T t -> Spec
class CanTestPosNeg t where
- isCertainlyPositive :: t -> Bool
- isCertainlyNonNegative :: t -> Bool
- isCertainlyNegative :: t -> Bool
- isCertainlyNonPositive :: t -> Bool

Comparisons in numeric order

type HasOrder t1 t2 = (HasOrderAsymmetric t1 t2, HasOrderAsymmetric t2 t1, OrderCompareType t1 t2 ~ OrderCompareType t2 t1) Source #

class IsBool (OrderCompareType a b) => HasOrderAsymmetric a b where Source #

Minimal complete definition

Nothing

Associated Types

type OrderCompareType a b Source #

type OrderCompareType a b = Bool

Methods

lessThan :: a -> b -> OrderCompareType a b Source #

default lessThan :: (OrderCompareType a b ~ Bool, a ~ b, Ord a) => a -> b -> OrderCompareType a b Source #

greaterThan :: a -> b -> OrderCompareType a b Source #

default greaterThan :: (HasOrder b a, OrderCompareType b a ~ OrderCompareType a b) => a -> b -> OrderCompareType a b Source #

leq :: a -> b -> OrderCompareType a b Source #

default leq :: (OrderCompareType a b ~ Bool, a ~ b, Ord a) => a -> b -> OrderCompareType a b Source #

geq :: a -> b -> OrderCompareType a b Source #

default geq :: (HasOrder b a, OrderCompareType b a ~ OrderCompareType a b) => a -> b -> OrderCompareType a b Source #

Instances

Instances details

HasOrderAsymmetric Double Double Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Double Double Source # Methods lessThan :: Double -> Double -> OrderCompareType Double Double Source # greaterThan :: Double -> Double -> OrderCompareType Double Double Source # leq :: Double -> Double -> OrderCompareType Double Double Source # geq :: Double -> Double -> OrderCompareType Double Double Source #
HasOrderAsymmetric Double Int Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Double Int Source # Methods lessThan :: Double -> Int -> OrderCompareType Double Int Source # greaterThan :: Double -> Int -> OrderCompareType Double Int Source # leq :: Double -> Int -> OrderCompareType Double Int Source # geq :: Double -> Int -> OrderCompareType Double Int Source #
HasOrderAsymmetric Double Integer Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Double Integer Source # Methods lessThan :: Double -> Integer -> OrderCompareType Double Integer Source # greaterThan :: Double -> Integer -> OrderCompareType Double Integer Source # leq :: Double -> Integer -> OrderCompareType Double Integer Source # geq :: Double -> Integer -> OrderCompareType Double Integer Source #
HasOrderAsymmetric Int Double Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Int Double Source # Methods lessThan :: Int -> Double -> OrderCompareType Int Double Source # greaterThan :: Int -> Double -> OrderCompareType Int Double Source # leq :: Int -> Double -> OrderCompareType Int Double Source # geq :: Int -> Double -> OrderCompareType Int Double Source #
HasOrderAsymmetric Int Int Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Int Int Source # Methods lessThan :: Int -> Int -> OrderCompareType Int Int Source # greaterThan :: Int -> Int -> OrderCompareType Int Int Source # leq :: Int -> Int -> OrderCompareType Int Int Source # geq :: Int -> Int -> OrderCompareType Int Int Source #
HasOrderAsymmetric Int Integer Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Int Integer Source # Methods lessThan :: Int -> Integer -> OrderCompareType Int Integer Source # greaterThan :: Int -> Integer -> OrderCompareType Int Integer Source # leq :: Int -> Integer -> OrderCompareType Int Integer Source # geq :: Int -> Integer -> OrderCompareType Int Integer Source #
HasOrderAsymmetric Int Rational Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Int Rational Source # Methods lessThan :: Int -> Rational -> OrderCompareType Int Rational Source # greaterThan :: Int -> Rational -> OrderCompareType Int Rational Source # leq :: Int -> Rational -> OrderCompareType Int Rational Source # geq :: Int -> Rational -> OrderCompareType Int Rational Source #
HasOrderAsymmetric Integer Double Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Integer Double Source # Methods lessThan :: Integer -> Double -> OrderCompareType Integer Double Source # greaterThan :: Integer -> Double -> OrderCompareType Integer Double Source # leq :: Integer -> Double -> OrderCompareType Integer Double Source # geq :: Integer -> Double -> OrderCompareType Integer Double Source #
HasOrderAsymmetric Integer Int Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Integer Int Source # Methods lessThan :: Integer -> Int -> OrderCompareType Integer Int Source # greaterThan :: Integer -> Int -> OrderCompareType Integer Int Source # leq :: Integer -> Int -> OrderCompareType Integer Int Source # geq :: Integer -> Int -> OrderCompareType Integer Int Source #
HasOrderAsymmetric Integer Integer Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Integer Integer Source # Methods lessThan :: Integer -> Integer -> OrderCompareType Integer Integer Source # greaterThan :: Integer -> Integer -> OrderCompareType Integer Integer Source # leq :: Integer -> Integer -> OrderCompareType Integer Integer Source # geq :: Integer -> Integer -> OrderCompareType Integer Integer Source #
HasOrderAsymmetric Integer Rational Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Integer Rational Source # Methods lessThan :: Integer -> Rational -> OrderCompareType Integer Rational Source # greaterThan :: Integer -> Rational -> OrderCompareType Integer Rational Source # leq :: Integer -> Rational -> OrderCompareType Integer Rational Source # geq :: Integer -> Rational -> OrderCompareType Integer Rational Source #
HasOrderAsymmetric Rational Int Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Rational Int Source # Methods lessThan :: Rational -> Int -> OrderCompareType Rational Int Source # greaterThan :: Rational -> Int -> OrderCompareType Rational Int Source # leq :: Rational -> Int -> OrderCompareType Rational Int Source # geq :: Rational -> Int -> OrderCompareType Rational Int Source #
HasOrderAsymmetric Rational Integer Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Rational Integer Source # Methods lessThan :: Rational -> Integer -> OrderCompareType Rational Integer Source # greaterThan :: Rational -> Integer -> OrderCompareType Rational Integer Source # leq :: Rational -> Integer -> OrderCompareType Rational Integer Source # geq :: Rational -> Integer -> OrderCompareType Rational Integer Source #
HasOrderAsymmetric Rational Rational Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Rational Rational Source # Methods lessThan :: Rational -> Rational -> OrderCompareType Rational Rational Source # greaterThan :: Rational -> Rational -> OrderCompareType Rational Rational Source # leq :: Rational -> Rational -> OrderCompareType Rational Rational Source # geq :: Rational -> Rational -> OrderCompareType Rational Rational Source #
HasOrderAsymmetric () () Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType () () Source # Methods lessThan :: () -> () -> OrderCompareType () () Source # greaterThan :: () -> () -> OrderCompareType () () Source # leq :: () -> () -> OrderCompareType () () Source # geq :: () -> () -> OrderCompareType () () Source #
(HasOrderAsymmetric Double b, CanBeErrors es, CanTestCertainly (OrderCompareType Double b)) => HasOrderAsymmetric Double (CollectErrors es b) Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Double (CollectErrors es b) Source # Methods lessThan :: Double -> CollectErrors es b -> OrderCompareType Double (CollectErrors es b) Source # greaterThan :: Double -> CollectErrors es b -> OrderCompareType Double (CollectErrors es b) Source # leq :: Double -> CollectErrors es b -> OrderCompareType Double (CollectErrors es b) Source # geq :: Double -> CollectErrors es b -> OrderCompareType Double (CollectErrors es b) Source #
(HasOrderAsymmetric Int b, CanBeErrors es, CanTestCertainly (OrderCompareType Int b)) => HasOrderAsymmetric Int (CollectErrors es b) Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Int (CollectErrors es b) Source # Methods lessThan :: Int -> CollectErrors es b -> OrderCompareType Int (CollectErrors es b) Source # greaterThan :: Int -> CollectErrors es b -> OrderCompareType Int (CollectErrors es b) Source # leq :: Int -> CollectErrors es b -> OrderCompareType Int (CollectErrors es b) Source # geq :: Int -> CollectErrors es b -> OrderCompareType Int (CollectErrors es b) Source #
(HasOrderAsymmetric Integer b, CanBeErrors es, CanTestCertainly (OrderCompareType Integer b)) => HasOrderAsymmetric Integer (CollectErrors es b) Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Integer (CollectErrors es b) Source # Methods lessThan :: Integer -> CollectErrors es b -> OrderCompareType Integer (CollectErrors es b) Source # greaterThan :: Integer -> CollectErrors es b -> OrderCompareType Integer (CollectErrors es b) Source # leq :: Integer -> CollectErrors es b -> OrderCompareType Integer (CollectErrors es b) Source # geq :: Integer -> CollectErrors es b -> OrderCompareType Integer (CollectErrors es b) Source #
(HasOrderAsymmetric Rational b, CanBeErrors es, CanTestCertainly (OrderCompareType Rational b)) => HasOrderAsymmetric Rational (CollectErrors es b) Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType Rational (CollectErrors es b) Source # Methods lessThan :: Rational -> CollectErrors es b -> OrderCompareType Rational (CollectErrors es b) Source # greaterThan :: Rational -> CollectErrors es b -> OrderCompareType Rational (CollectErrors es b) Source # leq :: Rational -> CollectErrors es b -> OrderCompareType Rational (CollectErrors es b) Source # geq :: Rational -> CollectErrors es b -> OrderCompareType Rational (CollectErrors es b) Source #
(HasOrderAsymmetric a Integer, CanBeErrors es, CanTestCertainly (OrderCompareType a Integer)) => HasOrderAsymmetric (CollectErrors es a) Integer Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType (CollectErrors es a) Integer Source # Methods lessThan :: CollectErrors es a -> Integer -> OrderCompareType (CollectErrors es a) Integer Source # greaterThan :: CollectErrors es a -> Integer -> OrderCompareType (CollectErrors es a) Integer Source # leq :: CollectErrors es a -> Integer -> OrderCompareType (CollectErrors es a) Integer Source # geq :: CollectErrors es a -> Integer -> OrderCompareType (CollectErrors es a) Integer Source #
(HasOrderAsymmetric a Int, CanBeErrors es, CanTestCertainly (OrderCompareType a Int)) => HasOrderAsymmetric (CollectErrors es a) Int Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType (CollectErrors es a) Int Source # Methods lessThan :: CollectErrors es a -> Int -> OrderCompareType (CollectErrors es a) Int Source # greaterThan :: CollectErrors es a -> Int -> OrderCompareType (CollectErrors es a) Int Source # leq :: CollectErrors es a -> Int -> OrderCompareType (CollectErrors es a) Int Source # geq :: CollectErrors es a -> Int -> OrderCompareType (CollectErrors es a) Int Source #
(HasOrderAsymmetric a Rational, CanBeErrors es, CanTestCertainly (OrderCompareType a Rational)) => HasOrderAsymmetric (CollectErrors es a) Rational Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType (CollectErrors es a) Rational Source # Methods lessThan :: CollectErrors es a -> Rational -> OrderCompareType (CollectErrors es a) Rational Source # greaterThan :: CollectErrors es a -> Rational -> OrderCompareType (CollectErrors es a) Rational Source # leq :: CollectErrors es a -> Rational -> OrderCompareType (CollectErrors es a) Rational Source # geq :: CollectErrors es a -> Rational -> OrderCompareType (CollectErrors es a) Rational Source #
(HasOrderAsymmetric a Double, CanBeErrors es, CanTestCertainly (OrderCompareType a Double)) => HasOrderAsymmetric (CollectErrors es a) Double Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType (CollectErrors es a) Double Source # Methods lessThan :: CollectErrors es a -> Double -> OrderCompareType (CollectErrors es a) Double Source # greaterThan :: CollectErrors es a -> Double -> OrderCompareType (CollectErrors es a) Double Source # leq :: CollectErrors es a -> Double -> OrderCompareType (CollectErrors es a) Double Source # geq :: CollectErrors es a -> Double -> OrderCompareType (CollectErrors es a) Double Source #
(HasOrderAsymmetric a b, CanBeErrors es, CanTestCertainly (OrderCompareType a b)) => HasOrderAsymmetric (CollectErrors es a) (CollectErrors es b) Source #
Instance details Defined in Numeric.MixedTypes.Ord Associated Types type OrderCompareType (CollectErrors es a) (CollectErrors es b) Source # Methods lessThan :: CollectErrors es a -> CollectErrors es b -> OrderCompareType (CollectErrors es a) (CollectErrors es b) Source # greaterThan :: CollectErrors es a -> CollectErrors es b -> OrderCompareType (CollectErrors es a) (CollectErrors es b) Source # leq :: CollectErrors es a -> CollectErrors es b -> OrderCompareType (CollectErrors es a) (CollectErrors es b) Source # geq :: CollectErrors es a -> CollectErrors es b -> OrderCompareType (CollectErrors es a) (CollectErrors es b) Source #

(>) :: HasOrderAsymmetric a b => a -> b -> OrderCompareType a b infix 4 Source #

(<) :: HasOrderAsymmetric a b => a -> b -> OrderCompareType a b infix 4 Source #

(<=) :: HasOrderAsymmetric a b => a -> b -> OrderCompareType a b infix 4 Source #

(>=) :: HasOrderAsymmetric a b => a -> b -> OrderCompareType a b infix 4 Source #

type HasOrderCertainlyAsymmetric t1 t2 = (HasOrderAsymmetric t1 t2, CanTestCertainly (OrderCompareType t1 t2)) Source #

type HasOrderCertainly t1 t2 = (HasOrder t1 t2, CanTestCertainly (OrderCompareType t1 t2)) Source #

(?<=?) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool infix 4 Source #

(?<?) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool infix 4 Source #

(?>=?) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool infix 4 Source #

(?>?) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool infix 4 Source #

(!<=!) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool infix 4 Source #

(!<!) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool infix 4 Source #

(!>=!) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool infix 4 Source #

(!>!) :: HasOrderCertainlyAsymmetric a b => a -> b -> Bool infix 4 Source #

Tests

specHasOrder :: _ => T t1 -> T t2 -> T t3 -> Spec Source #

HSpec properties that each implementation of HasOrder should satisfy.

specHasOrderNotMixed :: _ => T t -> Spec Source #

HSpec properties that each implementation of HasOrder should satisfy.

Specific comparisons

class CanTestPosNeg t where Source #

Minimal complete definition

Nothing

Methods

isCertainlyPositive :: t -> Bool Source #

default isCertainlyPositive :: HasOrderCertainly t Integer => t -> Bool Source #

isCertainlyNonNegative :: t -> Bool Source #

default isCertainlyNonNegative :: HasOrderCertainly t Integer => t -> Bool Source #

isCertainlyNegative :: t -> Bool Source #

default isCertainlyNegative :: HasOrderCertainly t Integer => t -> Bool Source #

isCertainlyNonPositive :: t -> Bool Source #

default isCertainlyNonPositive :: HasOrderCertainly t Integer => t -> Bool Source #

Instances

Instances details

CanTestPosNeg Double Source #
Instance details Defined in Numeric.MixedTypes.Ord Methods isCertainlyPositive :: Double -> Bool Source # isCertainlyNonNegative :: Double -> Bool Source # isCertainlyNegative :: Double -> Bool Source # isCertainlyNonPositive :: Double -> Bool Source #
CanTestPosNeg Int Source #
Instance details Defined in Numeric.MixedTypes.Ord Methods isCertainlyPositive :: Int -> Bool Source # isCertainlyNonNegative :: Int -> Bool Source # isCertainlyNegative :: Int -> Bool Source # isCertainlyNonPositive :: Int -> Bool Source #
CanTestPosNeg Integer Source #
Instance details Defined in Numeric.MixedTypes.Ord Methods isCertainlyPositive :: Integer -> Bool Source # isCertainlyNonNegative :: Integer -> Bool Source # isCertainlyNegative :: Integer -> Bool Source # isCertainlyNonPositive :: Integer -> Bool Source #
CanTestPosNeg Rational Source #
Instance details Defined in Numeric.MixedTypes.Ord Methods isCertainlyPositive :: Rational -> Bool Source # isCertainlyNonNegative :: Rational -> Bool Source # isCertainlyNegative :: Rational -> Bool Source # isCertainlyNonPositive :: Rational -> Bool Source #
(CanTestPosNeg t, CanBeErrors es) => CanTestPosNeg (CollectErrors es t) Source #
Instance details Defined in Numeric.MixedTypes.Ord Methods isCertainlyPositive :: CollectErrors es t -> Bool Source # isCertainlyNonNegative :: CollectErrors es t -> Bool Source # isCertainlyNegative :: CollectErrors es t -> Bool Source # isCertainlyNonPositive :: CollectErrors es t -> Bool Source #