Copyright	(c) Michal Konecny
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Numeric.MixedTypes.MinMaxAbs

Contents

Description

Synopsis

type CanMinMax t1 t2 = (CanMinMaxAsymmetric t1 t2, CanMinMaxAsymmetric t2 t1, MinMaxType t1 t2 ~ MinMaxType t2 t1)
class CanMinMaxAsymmetric t1 t2 where
- type MinMaxType t1 t2
- min :: t1 -> t2 -> MinMaxType t1 t2
- max :: t1 -> t2 -> MinMaxType t1 t2
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
specCanMinMax :: _ => T t1 -> T t2 -> T t3 -> Spec
specCanMinMaxNotMixed :: _ => T t -> Spec
class CanAbs t where
- type AbsType t
- abs :: t -> AbsType t
type CanAbsSameType t = (CanAbs t, AbsType t ~ t)
specCanNegNum :: _ => T t -> Spec
specCanAbs :: _ => T t -> Spec

Minimum and maximum

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

class CanMinMaxAsymmetric t1 t2 where Source #

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.

Minimal complete definition

Nothing

Associated Types

type MinMaxType t1 t2 Source #

type MinMaxType t1 t2 = t1

Methods

min :: t1 -> t2 -> MinMaxType t1 t2 Source #

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

max :: t1 -> t2 -> MinMaxType t1 t2 Source #

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

Instances

Instances details

CanMinMaxAsymmetric Double Double Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Double Double Source # Methods min :: Double -> Double -> MinMaxType Double Double Source # max :: Double -> Double -> MinMaxType Double Double Source #
CanMinMaxAsymmetric Double Int Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Double Int Source # Methods min :: Double -> Int -> MinMaxType Double Int Source # max :: Double -> Int -> MinMaxType Double Int Source #
CanMinMaxAsymmetric Double Integer Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Double Integer Source # Methods min :: Double -> Integer -> MinMaxType Double Integer Source # max :: Double -> Integer -> MinMaxType Double Integer Source #
CanMinMaxAsymmetric Double Rational Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Double Rational Source # Methods min :: Double -> Rational -> MinMaxType Double Rational Source # max :: Double -> Rational -> MinMaxType Double Rational Source #
CanMinMaxAsymmetric Int Double Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Int Double Source # Methods min :: Int -> Double -> MinMaxType Int Double Source # max :: Int -> Double -> MinMaxType Int Double Source #
CanMinMaxAsymmetric Int Int Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Int Int Source # Methods min :: Int -> Int -> MinMaxType Int Int Source # max :: Int -> Int -> MinMaxType Int Int Source #
CanMinMaxAsymmetric Int Integer Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Int Integer Source # Methods min :: Int -> Integer -> MinMaxType Int Integer Source # max :: Int -> Integer -> MinMaxType Int Integer Source #
CanMinMaxAsymmetric Int Rational Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Int Rational Source # Methods min :: Int -> Rational -> MinMaxType Int Rational Source # max :: Int -> Rational -> MinMaxType Int Rational Source #
CanMinMaxAsymmetric Integer Double Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Integer Double Source # Methods min :: Integer -> Double -> MinMaxType Integer Double Source # max :: Integer -> Double -> MinMaxType Integer Double Source #
CanMinMaxAsymmetric Integer Int Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Integer Int Source # Methods min :: Integer -> Int -> MinMaxType Integer Int Source # max :: Integer -> Int -> MinMaxType Integer Int Source #
CanMinMaxAsymmetric Integer Integer Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Integer Integer Source # Methods min :: Integer -> Integer -> MinMaxType Integer Integer Source # max :: Integer -> Integer -> MinMaxType Integer Integer Source #
CanMinMaxAsymmetric Integer Rational Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Integer Rational Source # Methods min :: Integer -> Rational -> MinMaxType Integer Rational Source # max :: Integer -> Rational -> MinMaxType Integer Rational Source #
CanMinMaxAsymmetric Rational Double Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Rational Double Source # Methods min :: Rational -> Double -> MinMaxType Rational Double Source # max :: Rational -> Double -> MinMaxType Rational Double Source #
CanMinMaxAsymmetric Rational Int Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Rational Int Source # Methods min :: Rational -> Int -> MinMaxType Rational Int Source # max :: Rational -> Int -> MinMaxType Rational Int Source #
CanMinMaxAsymmetric Rational Integer Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Rational Integer Source # Methods min :: Rational -> Integer -> MinMaxType Rational Integer Source # max :: Rational -> Integer -> MinMaxType Rational Integer Source #
CanMinMaxAsymmetric Rational Rational Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Rational Rational Source # Methods min :: Rational -> Rational -> MinMaxType Rational Rational Source # max :: Rational -> Rational -> MinMaxType Rational Rational Source #
(CanMinMaxAsymmetric Double b, CanBeErrors es) => CanMinMaxAsymmetric Double (CollectErrors es b) Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Double (CollectErrors es b) Source # Methods min :: Double -> CollectErrors es b -> MinMaxType Double (CollectErrors es b) Source # max :: Double -> CollectErrors es b -> MinMaxType Double (CollectErrors es b) Source #
(CanMinMaxAsymmetric Int b, CanBeErrors es) => CanMinMaxAsymmetric Int (CollectErrors es b) Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Int (CollectErrors es b) Source # Methods min :: Int -> CollectErrors es b -> MinMaxType Int (CollectErrors es b) Source # max :: Int -> CollectErrors es b -> MinMaxType Int (CollectErrors es b) Source #
(CanMinMaxAsymmetric Integer b, CanBeErrors es) => CanMinMaxAsymmetric Integer (CollectErrors es b) Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Integer (CollectErrors es b) Source # Methods min :: Integer -> CollectErrors es b -> MinMaxType Integer (CollectErrors es b) Source # max :: Integer -> CollectErrors es b -> MinMaxType Integer (CollectErrors es b) Source #
(CanMinMaxAsymmetric Rational b, CanBeErrors es) => CanMinMaxAsymmetric Rational (CollectErrors es b) Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType Rational (CollectErrors es b) Source # Methods min :: Rational -> CollectErrors es b -> MinMaxType Rational (CollectErrors es b) Source # max :: Rational -> CollectErrors es b -> MinMaxType Rational (CollectErrors es b) Source #
CanMinMaxAsymmetric a b => CanMinMaxAsymmetric [a] [b] Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType [a] [b] Source # Methods min :: [a] -> [b] -> MinMaxType [a] [b] Source # max :: [a] -> [b] -> MinMaxType [a] [b] Source #
CanMinMaxAsymmetric a b => CanMinMaxAsymmetric (Maybe a) (Maybe b) Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType (Maybe a) (Maybe b) Source # Methods min :: Maybe a -> Maybe b -> MinMaxType (Maybe a) (Maybe b) Source # max :: Maybe a -> Maybe b -> MinMaxType (Maybe a) (Maybe b) Source #
(CanMinMaxAsymmetric a Integer, CanBeErrors es) => CanMinMaxAsymmetric (CollectErrors es a) Integer Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType (CollectErrors es a) Integer Source # Methods min :: CollectErrors es a -> Integer -> MinMaxType (CollectErrors es a) Integer Source # max :: CollectErrors es a -> Integer -> MinMaxType (CollectErrors es a) Integer Source #
(CanMinMaxAsymmetric a Int, CanBeErrors es) => CanMinMaxAsymmetric (CollectErrors es a) Int Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType (CollectErrors es a) Int Source # Methods min :: CollectErrors es a -> Int -> MinMaxType (CollectErrors es a) Int Source # max :: CollectErrors es a -> Int -> MinMaxType (CollectErrors es a) Int Source #
(CanMinMaxAsymmetric a Rational, CanBeErrors es) => CanMinMaxAsymmetric (CollectErrors es a) Rational Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType (CollectErrors es a) Rational Source # Methods min :: CollectErrors es a -> Rational -> MinMaxType (CollectErrors es a) Rational Source # max :: CollectErrors es a -> Rational -> MinMaxType (CollectErrors es a) Rational Source #
(CanMinMaxAsymmetric a Double, CanBeErrors es) => CanMinMaxAsymmetric (CollectErrors es a) Double Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType (CollectErrors es a) Double Source # Methods min :: CollectErrors es a -> Double -> MinMaxType (CollectErrors es a) Double Source # max :: CollectErrors es a -> Double -> MinMaxType (CollectErrors es a) Double Source #
(CanMinMaxAsymmetric a b, CanBeErrors es) => CanMinMaxAsymmetric (CollectErrors es a) (CollectErrors es b) Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type MinMaxType (CollectErrors es a) (CollectErrors es b) Source # Methods min :: CollectErrors es a -> CollectErrors es b -> MinMaxType (CollectErrors es a) (CollectErrors es b) Source # max :: CollectErrors es a -> CollectErrors es b -> MinMaxType (CollectErrors es a) (CollectErrors es b) Source #

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

type CanMinMaxSameType t = CanMinMaxThis t t Source #

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

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

Tests

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

HSpec properties that each implementation of CanMinMax should satisfy.

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

HSpec properties that each implementation of CanMinMax should satisfy.

Absolute value

class CanAbs t where Source #

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

Minimal complete definition

Nothing

Associated Types

type AbsType t Source #

type AbsType t = t

Methods

abs :: t -> AbsType t Source #

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

Instances

Instances details

CanAbs Double Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type AbsType Double Source # Methods abs :: Double -> AbsType Double Source #
CanAbs Int Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type AbsType Int Source # Methods abs :: Int -> AbsType Int Source #
CanAbs Integer Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type AbsType Integer Source # Methods abs :: Integer -> AbsType Integer Source #
CanAbs Rational Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type AbsType Rational Source # Methods abs :: Rational -> AbsType Rational Source #
(CanMulAsymmetric t t, CanAddSameType (MulType t t), CanSqrt (MulType t t)) => CanAbs (Complex t) Source #
Instance details Defined in Numeric.MixedTypes.Complex Associated Types type AbsType (Complex t) Source # Methods abs :: Complex t -> AbsType (Complex t) Source #
(CanAbs a, CanBeErrors es) => CanAbs (CollectErrors es a) Source #
Instance details Defined in Numeric.MixedTypes.MinMaxAbs Associated Types type AbsType (CollectErrors es a) Source # Methods abs :: CollectErrors es a -> AbsType (CollectErrors es a) Source #

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

Tests

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

HSpec properties that each numeric implementation of CanNeg should satisfy.

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

HSpec properties that each implementation of CanAbs should satisfy.

Orphan instances

CanNeg Double Source #
Instance details Associated Types type NegType Double Source # Methods negate :: Double -> NegType Double Source #
CanNeg Int Source #
Instance details Associated Types type NegType Int Source # Methods negate :: Int -> NegType Int Source #
CanNeg Integer Source #
Instance details Associated Types type NegType Integer Source # Methods negate :: Integer -> NegType Integer Source #
CanNeg Rational Source #
Instance details Associated Types type NegType Rational Source # Methods negate :: Rational -> NegType Rational Source #