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

Numeric.MixedTypes.MinMaxAbs

Contents

Minimum and maximum
- Tests
Absolute value
- Tests
Orphan instances

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 :: (HasOrderAsymmetric (MinMaxType t1 t2) t2, HasOrderAsymmetric (MinMaxType t1 t2) t1, Arbitrary t1, Arbitrary t2, Arbitrary t3, CanTestFinite t1, CanTestFinite t2, CanTestFinite t3, HasEqAsymmetric (MinMaxType t1 t1) t1, HasEqAsymmetric (MinMaxType t1 t2) (MinMaxType t2 t1), HasEqAsymmetric (MinMaxType t1 (MinMaxType t2 t3)) (MinMaxType (MinMaxType t1 t2) t3), CanTestCertainly (OrderCompareType (MinMaxType t1 t2) t2), CanTestCertainly (OrderCompareType (MinMaxType t1 t2) t1), CanTestCertainly (EqCompareType (MinMaxType t1 t1) t1), CanTestCertainly (EqCompareType (MinMaxType t1 t2) (MinMaxType t2 t1)), CanTestCertainly (EqCompareType (MinMaxType t1 (MinMaxType t2 t3)) (MinMaxType (MinMaxType t1 t2) t3)), Show t1, Show t2, Show t3, Show (MinMaxType t2 t1), Show (MinMaxType t1 t2), Show (MinMaxType t1 t1), Show (MinMaxType t1 (MinMaxType t2 t3)), Show (MinMaxType (MinMaxType t1 t2) t3), CanMinMaxAsymmetric t1 t2, CanMinMaxAsymmetric t1 t1, CanMinMaxAsymmetric t1 (MinMaxType t2 t3), CanMinMaxAsymmetric t2 t1, CanMinMaxAsymmetric t2 t3, CanMinMaxAsymmetric (MinMaxType t1 t2) t3) => T t1 -> T t2 -> T t3 -> Spec
specCanMinMaxNotMixed :: (HasOrderAsymmetric (MinMaxType t t) t, Arbitrary t, CanTestFinite t, HasEqAsymmetric (MinMaxType t t) t, HasEqAsymmetric (MinMaxType t t) (MinMaxType t t), HasEqAsymmetric (MinMaxType t (MinMaxType t t)) (MinMaxType (MinMaxType t t) t), CanTestCertainly (OrderCompareType (MinMaxType t t) t), CanTestCertainly (EqCompareType (MinMaxType t t) t), CanTestCertainly (EqCompareType (MinMaxType t t) (MinMaxType t t)), CanTestCertainly (EqCompareType (MinMaxType t (MinMaxType t t)) (MinMaxType (MinMaxType t t) t)), Show t, Show (MinMaxType t t), Show (MinMaxType t (MinMaxType t t)), Show (MinMaxType (MinMaxType t t) t), CanMinMaxAsymmetric t t, CanMinMaxAsymmetric t (MinMaxType t t), CanMinMaxAsymmetric (MinMaxType t t) t) => T t -> Spec
class CanAbs t where
- type AbsType t
- abs :: t -> AbsType t
type CanAbsSameType t = (CanAbs t, AbsType t ~ t)
specCanNegNum :: (Arbitrary t, Show t, Show (NegType (NegType t)), HasEqAsymmetric t t, HasEqAsymmetric (NegType t) t, HasEqAsymmetric (NegType (NegType t)) t, CanTestCertainly (EqCompareType t t), CanTestCertainly (EqCompareType (NegType t) t), CanTestCertainly (EqCompareType (NegType (NegType t)) t), CanTestFinite t, CanTestPosNeg t, CanTestPosNeg (NegType t), ConvertibleExactlyWithSample Integer t, CanNeg t, CanNeg (NegType t)) => T t -> Spec
specCanAbs :: (Arbitrary t, CanAbs t, CanAbs (AbsType t), CanTestFinite t, HasEqAsymmetric t t, HasEqAsymmetric t (AbsType t), HasEqAsymmetric (AbsType (AbsType t)) (AbsType t), HasEqAsymmetric (NegType t) (AbsType t), CanTestCertainly (EqCompareType t t), CanTestCertainly (EqCompareType t (AbsType t)), CanTestCertainly (EqCompareType (AbsType (AbsType t)) (AbsType t)), CanTestCertainly (EqCompareType (NegType t) (AbsType t)), Show t, Show (AbsType t), Show (AbsType (AbsType t)), Show (NegType t), CanTestPosNeg t, CanTestPosNeg (AbsType t), CanNeg t) => 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 Rational Rational Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Rational Rational
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Rational Rational = Rational

Methods

min :: Rational -> Rational -> MinMaxType Rational Rational Source #

max :: Rational -> Rational -> MinMaxType Rational Rational Source #

CanMinMaxAsymmetric Rational Integer Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Rational Integer
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Rational Integer = Rational

Methods

min :: Rational -> Integer -> MinMaxType Rational Integer Source #

max :: Rational -> Integer -> MinMaxType Rational Integer Source #

CanMinMaxAsymmetric Rational Double Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Rational Double
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Rational Double = Double

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
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Rational Int = Rational

Methods

min :: Rational -> Int -> MinMaxType Rational Int Source #

max :: Rational -> Int -> MinMaxType Rational Int Source #

CanMinMaxAsymmetric Integer Rational Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Integer Rational
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Integer Rational = Rational

Methods

min :: Integer -> Rational -> MinMaxType Integer Rational Source #

max :: Integer -> Rational -> MinMaxType Integer Rational Source #

CanMinMaxAsymmetric Integer Integer Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Integer Integer
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Integer Integer = Integer

Methods

min :: Integer -> Integer -> MinMaxType Integer Integer Source #

max :: Integer -> Integer -> MinMaxType Integer Integer Source #

CanMinMaxAsymmetric Integer Double Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Integer Double
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Integer Double = Double

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
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Integer Int = Integer

Methods

min :: Integer -> Int -> MinMaxType Integer Int Source #

max :: Integer -> Int -> MinMaxType Integer Int Source #

CanMinMaxAsymmetric Double Rational Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Double Rational
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Double Rational = Double

Methods

min :: Double -> Rational -> MinMaxType Double Rational Source #

max :: Double -> Rational -> MinMaxType Double Rational Source #

CanMinMaxAsymmetric Double Integer Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Double Integer
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Double Integer = Double

Methods

min :: Double -> Integer -> MinMaxType Double Integer Source #

max :: Double -> Integer -> MinMaxType Double Integer Source #

CanMinMaxAsymmetric Double Double Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Double Double
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Double Double = Double

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
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Double Int = Double

Methods

min :: Double -> Int -> MinMaxType Double Int Source #

max :: Double -> Int -> MinMaxType Double Int Source #

CanMinMaxAsymmetric Int Rational Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Int Rational
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Int Rational = Rational

Methods

min :: Int -> Rational -> MinMaxType Int Rational Source #

max :: Int -> Rational -> MinMaxType Int Rational Source #

CanMinMaxAsymmetric Int Integer Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Int Integer
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Int Integer = Integer

Methods

min :: Int -> Integer -> MinMaxType Int Integer Source #

max :: Int -> Integer -> MinMaxType Int Integer Source #

CanMinMaxAsymmetric Int Double Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType Int Double
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Int Double = Double

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
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Int Int = Int

Methods

min :: Int -> Int -> MinMaxType Int Int Source #

max :: Int -> Int -> MinMaxType Int Int 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)
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Rational (CollectErrors es b) = CollectErrors es (MinMaxType Rational b)

Methods

min :: Rational -> CollectErrors es b -> MinMaxType Rational (CollectErrors es b) Source #

max :: Rational -> CollectErrors es b -> MinMaxType Rational (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)
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Integer (CollectErrors es b) = CollectErrors es (MinMaxType Integer b)

Methods

min :: Integer -> CollectErrors es b -> MinMaxType Integer (CollectErrors es b) Source #

max :: Integer -> CollectErrors es b -> MinMaxType Integer (CollectErrors es b) 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)
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Double (CollectErrors es b) = CollectErrors es (MinMaxType Double b)

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)
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType Int (CollectErrors es b) = CollectErrors es (MinMaxType Int b)

Methods

min :: Int -> CollectErrors es b -> MinMaxType Int (CollectErrors es b) Source #

max :: Int -> CollectErrors es b -> MinMaxType Int (CollectErrors es 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)
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType (Maybe a) (Maybe b) = Maybe (MinMaxType a b)

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 b => CanMinMaxAsymmetric [a] [b] Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType [a] [b]
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType [a] [b] = [MinMaxType a b]

Methods

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

max :: [a] -> [b] -> MinMaxType [a] [b] 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
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType (CollectErrors es a) Rational = CollectErrors es (MinMaxType a Rational)

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 Integer, CanBeErrors es) => CanMinMaxAsymmetric (CollectErrors es a) Integer Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType (CollectErrors es a) Integer
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType (CollectErrors es a) Integer = CollectErrors es (MinMaxType a Integer)

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 Double, CanBeErrors es) => CanMinMaxAsymmetric (CollectErrors es a) Double Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType (CollectErrors es a) Double
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType (CollectErrors es a) Double = CollectErrors es (MinMaxType a Double)

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 Int, CanBeErrors es) => CanMinMaxAsymmetric (CollectErrors es a) Int Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type MinMaxType (CollectErrors es a) Int
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType (CollectErrors es a) Int = CollectErrors es (MinMaxType a Int)

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 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)
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type MinMaxType (CollectErrors es a) (CollectErrors es b) = CollectErrors es (MinMaxType a b)

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 :: (HasOrderAsymmetric (MinMaxType t1 t2) t2, HasOrderAsymmetric (MinMaxType t1 t2) t1, Arbitrary t1, Arbitrary t2, Arbitrary t3, CanTestFinite t1, CanTestFinite t2, CanTestFinite t3, HasEqAsymmetric (MinMaxType t1 t1) t1, HasEqAsymmetric (MinMaxType t1 t2) (MinMaxType t2 t1), HasEqAsymmetric (MinMaxType t1 (MinMaxType t2 t3)) (MinMaxType (MinMaxType t1 t2) t3), CanTestCertainly (OrderCompareType (MinMaxType t1 t2) t2), CanTestCertainly (OrderCompareType (MinMaxType t1 t2) t1), CanTestCertainly (EqCompareType (MinMaxType t1 t1) t1), CanTestCertainly (EqCompareType (MinMaxType t1 t2) (MinMaxType t2 t1)), CanTestCertainly (EqCompareType (MinMaxType t1 (MinMaxType t2 t3)) (MinMaxType (MinMaxType t1 t2) t3)), Show t1, Show t2, Show t3, Show (MinMaxType t2 t1), Show (MinMaxType t1 t2), Show (MinMaxType t1 t1), Show (MinMaxType t1 (MinMaxType t2 t3)), Show (MinMaxType (MinMaxType t1 t2) t3), CanMinMaxAsymmetric t1 t2, CanMinMaxAsymmetric t1 t1, CanMinMaxAsymmetric t1 (MinMaxType t2 t3), CanMinMaxAsymmetric t2 t1, CanMinMaxAsymmetric t2 t3, CanMinMaxAsymmetric (MinMaxType t1 t2) t3) => T t1 -> T t2 -> T t3 -> Spec Source #

HSpec properties that each implementation of CanMinMax should satisfy.

specCanMinMaxNotMixed :: (HasOrderAsymmetric (MinMaxType t t) t, Arbitrary t, CanTestFinite t, HasEqAsymmetric (MinMaxType t t) t, HasEqAsymmetric (MinMaxType t t) (MinMaxType t t), HasEqAsymmetric (MinMaxType t (MinMaxType t t)) (MinMaxType (MinMaxType t t) t), CanTestCertainly (OrderCompareType (MinMaxType t t) t), CanTestCertainly (EqCompareType (MinMaxType t t) t), CanTestCertainly (EqCompareType (MinMaxType t t) (MinMaxType t t)), CanTestCertainly (EqCompareType (MinMaxType t (MinMaxType t t)) (MinMaxType (MinMaxType t t) t)), Show t, Show (MinMaxType t t), Show (MinMaxType t (MinMaxType t t)), Show (MinMaxType (MinMaxType t t) t), CanMinMaxAsymmetric t t, CanMinMaxAsymmetric t (MinMaxType t t), CanMinMaxAsymmetric (MinMaxType t t) t) => 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 Rational Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type AbsType Rational
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type AbsType Rational = Rational

Methods

abs :: Rational -> AbsType Rational Source #

CanAbs Integer Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type AbsType Integer
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type AbsType Integer = Integer

Methods

abs :: Integer -> AbsType Integer Source #

CanAbs Double Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type AbsType Double
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type AbsType Double = Double

Methods

abs :: Double -> AbsType Double Source #

CanAbs Int Source #

Instance details

Defined in Numeric.MixedTypes.MinMaxAbs

Associated Types

type AbsType Int
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type AbsType Int = Int

Methods

abs :: Int -> AbsType Int 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)
Instance details Defined in Numeric.MixedTypes.Complex type AbsType (Complex t) = SqrtType (MulType t t)

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)
Instance details Defined in Numeric.MixedTypes.MinMaxAbs type AbsType (CollectErrors es a) = CollectErrors es (AbsType a)