Numeric.MixedTypes.MinMaxAbs

Minimum and maximum

type CanMinMax t1 t2 = (CanMinMaxAsymmetric t1 t2, CanMinMaxAsymmetric t2 t1, MinMaxType t1 t2 ~ MinMaxType t2 t1)

class CanMinMaxAsymmetric t1 t2 where

A replacement for Prelude's min and max. If t1 = t2 and Ord t1, then one can use the default implementation to mirror Prelude's min and max.

Associated Types

type MinMaxType t1 t2

Methods

min :: t1 -> t2 -> MinMaxType t1 t2

max :: t1 -> t2 -> MinMaxType t1 t2

min :: (MinMaxType t1 t2 ~ t1, t1 ~ t2, Ord t1) => t1 -> t1 -> t1

max :: (MinMaxType t1 t2 ~ t1, t1 ~ t2, Ord t1) => t1 -> t1 -> t1

Instances

CanMinMaxAsymmetric Double Double

Associated Types

type MinMaxType Double Double :: *

Methods

min :: Double -> Double -> MinMaxType Double Double

max :: Double -> Double -> MinMaxType Double Double

CanMinMaxAsymmetric Int Int

Associated Types

type MinMaxType Int Int :: *

Methods

min :: Int -> Int -> MinMaxType Int Int

max :: Int -> Int -> MinMaxType Int Int

CanMinMaxAsymmetric Int Integer

Associated Types

type MinMaxType Int Integer :: *

Methods

min :: Int -> Integer -> MinMaxType Int Integer

max :: Int -> Integer -> MinMaxType Int Integer

CanMinMaxAsymmetric Int Rational

Associated Types

type MinMaxType Int Rational :: *

Methods

min :: Int -> Rational -> MinMaxType Int Rational

max :: Int -> Rational -> MinMaxType Int Rational

CanMinMaxAsymmetric Integer Int

Associated Types

type MinMaxType Integer Int :: *

Methods

min :: Integer -> Int -> MinMaxType Integer Int

max :: Integer -> Int -> MinMaxType Integer Int

CanMinMaxAsymmetric Integer Integer

Associated Types

type MinMaxType Integer Integer :: *

Methods

min :: Integer -> Integer -> MinMaxType Integer Integer

max :: Integer -> Integer -> MinMaxType Integer Integer

CanMinMaxAsymmetric Integer Rational

Associated Types

type MinMaxType Integer Rational :: *

Methods

min :: Integer -> Rational -> MinMaxType Integer Rational

max :: Integer -> Rational -> MinMaxType Integer Rational

CanMinMaxAsymmetric Rational Int

Associated Types

type MinMaxType Rational Int :: *

Methods

min :: Rational -> Int -> MinMaxType Rational Int

max :: Rational -> Int -> MinMaxType Rational Int

CanMinMaxAsymmetric Rational Integer

Associated Types

type MinMaxType Rational Integer :: *

Methods

min :: Rational -> Integer -> MinMaxType Rational Integer

max :: Rational -> Integer -> MinMaxType Rational Integer

CanMinMaxAsymmetric Rational Rational

Associated Types

type MinMaxType Rational Rational :: *

Methods

min :: Rational -> Rational -> MinMaxType Rational Rational

max :: Rational -> Rational -> MinMaxType Rational Rational

CanMinMaxAsymmetric a b => CanMinMaxAsymmetric [a] [b]

Associated Types

type MinMaxType [a] [b] :: *

Methods

min :: [a] -> [b] -> MinMaxType [a] [b]

max :: [a] -> [b] -> MinMaxType [a] [b]

CanMinMaxAsymmetric a b => CanMinMaxAsymmetric (Maybe a) (Maybe b)

Associated Types

type MinMaxType (Maybe a) (Maybe b) :: *

Methods

min :: Maybe a -> Maybe b -> MinMaxType (Maybe a) (Maybe b)

max :: Maybe a -> Maybe b -> MinMaxType (Maybe a) (Maybe b)

type CanMinMaxThis t1 t2 = (CanMinMax t1 t2, MinMaxType t1 t2 ~ t1)

type CanMinMaxSameType t = CanMinMaxThis t t

minimum :: CanMinMaxSameType t => [t] -> t

maximum :: CanMinMaxSameType t => [t] -> t

Tests

specCanMinMax :: (CanMinMaxXX t1 t1, CanMinMaxXX t1 t2, CanMinMaxXX t1 t3, CanMinMaxXX t2 t3, CanMinMaxXX t1 (MinMaxType t2 t3), CanMinMaxXX (MinMaxType t1 t2) t3, HasEqCertainly (MinMaxType t1 (MinMaxType t2 t3)) (MinMaxType (MinMaxType t1 t2) t3)) => T t1 -> T t2 -> T t3 -> Spec

HSpec properties that each implementation of CanMinMax should satisfy.

specCanMinMaxNotMixed :: (CanMinMaxXX t t, CanMinMaxXX t (MinMaxType t t), HasEq (MinMaxType (MinMaxType t t) t) (MinMaxType t (MinMaxType t t))) => T t -> Spec

HSpec properties that each implementation of CanMinMax should satisfy.

type CanMinMaxX t1 t2 = (CanMinMax t1 t2, Show t1, Arbitrary t1, Show t2, Arbitrary t2, Show (MinMaxType t1 t2), HasEqCertainly t1 t1, HasEqCertainly t2 t2, HasEqCertainly t1 (MinMaxType t1 t2), HasEqCertainly t2 (MinMaxType t1 t2), HasEqCertainly (MinMaxType t1 t2) (MinMaxType t1 t2), HasOrderCertainly t1 (MinMaxType t1 t2), HasOrderCertainly t2 (MinMaxType t1 t2), HasOrderCertainly (MinMaxType t1 t2) (MinMaxType t1 t2))

Compound type constraint useful for test definition.

type CanMinMaxXX t1 t2 = (CanMinMaxX t1 t2, HasEqCertainly (MinMaxType t1 t2) (MinMaxType t2 t1))

Compound type constraint useful for test definition.

Absolute value

class CanAbs t where

A replacement for Prelude's abs. If Num t, then one can use the default implementation to mirror Prelude's abs.

Associated Types

type AbsType t

Methods

abs :: t -> AbsType t

abs :: (AbsType t ~ t, Num t) => t -> t

Instances

CanAbs Double

Associated Types

type AbsType Double :: *

Methods

abs :: Double -> AbsType Double

CanAbs Int

Associated Types

type AbsType Int :: *

Methods

abs :: Int -> AbsType Int

CanAbs Integer

Associated Types

type AbsType Integer :: *

Methods

abs :: Integer -> AbsType Integer

CanAbs Rational

Associated Types

type AbsType Rational :: *

Methods

abs :: Rational -> AbsType Rational

type CanAbsSameType t = (CanAbs t, AbsType t ~ t)

Tests

specCanNegNum :: (CanNegX t, CanNegX (NegType t), HasEqCertainly t (NegType (NegType t)), ConvertibleExactly Integer t, HasEqCertainly t t, HasEqCertainly t (NegType t), CanTestPosNeg t, CanTestPosNeg (NegType t)) => T t -> Spec

HSpec properties that each numeric implementation of CanNeg should satisfy.

specCanAbs :: (CanAbsX t, CanAbsX (AbsType t)) => T t -> Spec

HSpec properties that each implementation of CanAbs should satisfy.

Orphan instances

CanNeg Double

Associated Types

type NegType Double :: *

Methods

negate :: Double -> NegType Double

CanNeg Int

Associated Types

type NegType Int :: *

Methods

negate :: Int -> NegType Int

CanNeg Integer

Associated Types

type NegType Integer :: *

Methods

negate :: Integer -> NegType Integer

CanNeg Rational

Associated Types

type NegType Rational :: *

Methods

negate :: Rational -> NegType Rational