type AddType Rational (Complex b)
Instance details Defined in Numeric.MixedTypes.Complex type AddType Rational (Complex b) = Complex (AddType Rational b)

Methods

add :: Rational -> Complex b -> AddType Rational (Complex b) Source #

CanAddAsymmetric Integer b => CanAddAsymmetric Integer (Complex b) Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type AddType Integer (Complex b)
Instance details Defined in Numeric.MixedTypes.Complex type AddType Integer (Complex b) = Complex (AddType Integer b)

Methods

add :: Integer -> Complex b -> AddType Integer (Complex b) Source #

CanAddAsymmetric Double b => CanAddAsymmetric Double (Complex b) Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type AddType Double (Complex b)
Instance details Defined in Numeric.MixedTypes.Complex type AddType Double (Complex b) = Complex (AddType Double b)

Methods

add :: Double -> Complex b -> AddType Double (Complex b) Source #

CanAddAsymmetric Int b => CanAddAsymmetric Int (Complex b) Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type AddType Int (Complex b)
Instance details Defined in Numeric.MixedTypes.Complex type AddType Int (Complex b) = Complex (AddType Int b)

Methods

add :: Int -> Complex b -> AddType Int (Complex b) Source #

(CanAddAsymmetric Rational b, CanBeErrors es) => CanAddAsymmetric Rational (CollectErrors es b) Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType Rational (CollectErrors es b)
Instance details Defined in Numeric.MixedTypes.AddSub type AddType Rational (CollectErrors es b) = CollectErrors es (AddType Rational b)

Methods

add :: Rational -> CollectErrors es b -> AddType Rational (CollectErrors es b) Source #

(CanAddAsymmetric Integer b, CanBeErrors es) => CanAddAsymmetric Integer (CollectErrors es b) Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType Integer (CollectErrors es b)
Instance details Defined in Numeric.MixedTypes.AddSub type AddType Integer (CollectErrors es b) = CollectErrors es (AddType Integer b)

Methods

add :: Integer -> CollectErrors es b -> AddType Integer (CollectErrors es b) Source #

(CanAddAsymmetric Double b, CanBeErrors es) => CanAddAsymmetric Double (CollectErrors es b) Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType Double (CollectErrors es b)
Instance details Defined in Numeric.MixedTypes.AddSub type AddType Double (CollectErrors es b) = CollectErrors es (AddType Double b)

Methods

add :: Double -> CollectErrors es b -> AddType Double (CollectErrors es b) Source #

(CanAddAsymmetric Int b, CanBeErrors es) => CanAddAsymmetric Int (CollectErrors es b) Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType Int (CollectErrors es b)
Instance details Defined in Numeric.MixedTypes.AddSub type AddType Int (CollectErrors es b) = CollectErrors es (AddType Int b)

Methods

add :: Int -> CollectErrors es b -> AddType Int (CollectErrors es b) Source #

CanAddAsymmetric a Rational => CanAddAsymmetric (Complex a) Rational Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type AddType (Complex a) Rational
Instance details Defined in Numeric.MixedTypes.Complex type AddType (Complex a) Rational = Complex (AddType a Rational)

Methods

add :: Complex a -> Rational -> AddType (Complex a) Rational Source #

CanAddAsymmetric a Integer => CanAddAsymmetric (Complex a) Integer Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type AddType (Complex a) Integer
Instance details Defined in Numeric.MixedTypes.Complex type AddType (Complex a) Integer = Complex (AddType a Integer)

Methods

add :: Complex a -> Integer -> AddType (Complex a) Integer Source #

CanAddAsymmetric a Double => CanAddAsymmetric (Complex a) Double Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type AddType (Complex a) Double
Instance details Defined in Numeric.MixedTypes.Complex type AddType (Complex a) Double = Complex (AddType a Double)

Methods

add :: Complex a -> Double -> AddType (Complex a) Double Source #

CanAddAsymmetric a Int => CanAddAsymmetric (Complex a) Int Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type AddType (Complex a) Int
Instance details Defined in Numeric.MixedTypes.Complex type AddType (Complex a) Int = Complex (AddType a Int)

Methods

add :: Complex a -> Int -> AddType (Complex a) Int Source #

CanAddAsymmetric a b => CanAddAsymmetric (Complex a) (Complex b) Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type AddType (Complex a) (Complex b)
Instance details Defined in Numeric.MixedTypes.Complex type AddType (Complex a) (Complex b) = Complex (AddType a b)

Methods

add :: Complex a -> Complex b -> AddType (Complex a) (Complex b) Source #

CanAddAsymmetric a b => CanAddAsymmetric (Maybe a) (Maybe b) Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType (Maybe a) (Maybe b)
Instance details Defined in Numeric.MixedTypes.AddSub type AddType (Maybe a) (Maybe b) = Maybe (AddType a b)

Methods

add :: Maybe a -> Maybe b -> AddType (Maybe a) (Maybe b) Source #

CanAddAsymmetric a b => CanAddAsymmetric [a] [b] Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType [a] [b]
Instance details Defined in Numeric.MixedTypes.AddSub type AddType [a] [b] = [AddType a b]

Methods

add :: [a] -> [b] -> AddType [a] [b] Source #

(CanAddAsymmetric a Rational, CanBeErrors es) => CanAddAsymmetric (CollectErrors es a) Rational Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType (CollectErrors es a) Rational
Instance details Defined in Numeric.MixedTypes.AddSub type AddType (CollectErrors es a) Rational = CollectErrors es (AddType a Rational)

Methods

add :: CollectErrors es a -> Rational -> AddType (CollectErrors es a) Rational Source #

(CanAddAsymmetric a Integer, CanBeErrors es) => CanAddAsymmetric (CollectErrors es a) Integer Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType (CollectErrors es a) Integer
Instance details Defined in Numeric.MixedTypes.AddSub type AddType (CollectErrors es a) Integer = CollectErrors es (AddType a Integer)

Methods

add :: CollectErrors es a -> Integer -> AddType (CollectErrors es a) Integer Source #

(CanAddAsymmetric a Double, CanBeErrors es) => CanAddAsymmetric (CollectErrors es a) Double Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType (CollectErrors es a) Double
Instance details Defined in Numeric.MixedTypes.AddSub type AddType (CollectErrors es a) Double = CollectErrors es (AddType a Double)

Methods

add :: CollectErrors es a -> Double -> AddType (CollectErrors es a) Double Source #

(CanAddAsymmetric a Int, CanBeErrors es) => CanAddAsymmetric (CollectErrors es a) Int Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType (CollectErrors es a) Int
Instance details Defined in Numeric.MixedTypes.AddSub type AddType (CollectErrors es a) Int = CollectErrors es (AddType a Int)

Methods

add :: CollectErrors es a -> Int -> AddType (CollectErrors es a) Int Source #

(CanAddAsymmetric a b, CanBeErrors es) => CanAddAsymmetric (CollectErrors es a) (CollectErrors es b) Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type AddType (CollectErrors es a) (CollectErrors es b)
Instance details Defined in Numeric.MixedTypes.AddSub type AddType (CollectErrors es a) (CollectErrors es b) = CollectErrors es (AddType a b)

Methods

add :: CollectErrors es a -> CollectErrors es b -> AddType (CollectErrors es a) (CollectErrors es b) Source #

type CanAddThis t1 t2 = (CanAdd t1 t2, AddType t1 t2 ~ t1) Source #

type CanAddSameType t = CanAddThis t t Source #

(+) :: CanAddAsymmetric t1 t2 => t1 -> t2 -> AddType t1 t2 infixl 6 Source #

sum :: (CanAddSameType t, ConvertibleExactly Integer t) => [t] -> t Source #

sumWithSample :: (CanAddSameType t, ConvertibleExactlyWithSample Integer t) => t -> [t] -> t Source #

Tests

specCanAdd :: (Arbitrary t1, Arbitrary t2, Arbitrary t3, HasEqAsymmetric (AddType t1 t2) t1, HasEqAsymmetric (AddType t1 t2) (AddType t2 t1), HasEqAsymmetric (AddType t1 (AddType t2 t3)) (AddType (AddType t1 t2) t3), Show t1, Show t2, Show t3, Show (AddType t2 t1), Show (AddType t1 t2), Show (AddType t1 (AddType t2 t3)), Show (AddType (AddType t1 t2) t3), CanAddAsymmetric t1 t2, CanAddAsymmetric t1 (AddType t2 t3), CanAddAsymmetric t2 t1, CanAddAsymmetric t2 t3, CanAddAsymmetric (AddType t1 t2) t3, CanTestPosNeg t1, HasOrderAsymmetric (AddType t1 t2) t2, CanTestCertainly (EqCompareType (AddType t1 t2) t1), CanTestCertainly (EqCompareType (AddType t1 t2) (AddType t2 t1)), CanTestCertainly (EqCompareType (AddType t1 (AddType t2 t3)) (AddType (AddType t1 t2) t3)), CanTestCertainly (OrderCompareType (AddType t1 t2) t2), ConvertibleExactlyWithSample Integer t2) => T t1 -> T t2 -> T t3 -> Spec Source #

HSpec properties that each implementation of CanAdd should satisfy.

specCanAddNotMixed :: (Arbitrary t, HasEqAsymmetric (AddType t t) t, HasEqAsymmetric (AddType t t) (AddType t t), HasEqAsymmetric (AddType t (AddType t t)) (AddType (AddType t t) t), Show t, Show (AddType t t), Show (AddType t (AddType t t)), Show (AddType (AddType t t) t), CanAddAsymmetric t t, CanAddAsymmetric t (AddType t t), CanAddAsymmetric (AddType t t) t, CanTestPosNeg t, HasOrderAsymmetric (AddType t t) t, CanTestCertainly (EqCompareType (AddType t t) t), CanTestCertainly (EqCompareType (AddType t t) (AddType t t)), CanTestCertainly (EqCompareType (AddType t (AddType t t)) (AddType (AddType t t) t)), CanTestCertainly (OrderCompareType (AddType t t) t), ConvertibleExactlyWithSample Integer t) => T t -> Spec Source #

HSpec properties that each implementation of CanAdd should satisfy.

specCanAddSameType :: (ConvertibleExactlyWithSample Integer t, Show t, HasEqCertainly t t, CanAddSameType t, Arbitrary t) => T t -> Spec Source #

HSpec properties that each implementation of CanAddSameType should satisfy.

Subtraction

class CanSub t1 t2 where Source #

A replacement for Prelude's binary -.

If CanNeg t2 and CanAdd t1 (NegType t2), then one can use the default implementation via a-b = a + (-b).

Minimal complete definition

Nothing

Associated Types

type SubType t1 t2 Source #

type SubType t1 t2 = AddType t1 (NegType t2)

Methods

sub :: t1 -> t2 -> SubType t1 t2 Source #

default sub :: (SubType t1 t2 ~ AddType t1 (NegType t2), CanNeg t2, CanAdd t1 (NegType t2)) => t1 -> t2 -> SubType t1 t2 Source #

Instances

Instances details

CanSub Rational Rational Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Rational Rational
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Rational Rational = AddType Rational (NegType Rational)

Methods

sub :: Rational -> Rational -> SubType Rational Rational Source #

CanSub Rational Integer Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Rational Integer
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Rational Integer = Rational

Methods

sub :: Rational -> Integer -> SubType Rational Integer Source #

CanSub Rational Double Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Rational Double
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Rational Double = Double

Methods

sub :: Rational -> Double -> SubType Rational Double Source #

CanSub Rational Int Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Rational Int
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Rational Int = Rational

Methods

sub :: Rational -> Int -> SubType Rational Int Source #

CanSub Integer Rational Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Integer Rational
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Integer Rational = Rational

Methods

sub :: Integer -> Rational -> SubType Integer Rational Source #

CanSub Integer Integer Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Integer Integer
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Integer Integer = AddType Integer (NegType Integer)

Methods

sub :: Integer -> Integer -> SubType Integer Integer Source #

CanSub Integer Double Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Integer Double
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Integer Double = Double

Methods

sub :: Integer -> Double -> SubType Integer Double Source #

CanSub Integer Int Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Integer Int
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Integer Int = Integer

Methods

sub :: Integer -> Int -> SubType Integer Int Source #

CanSub Double Rational Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Double Rational
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Double Rational = Double

Methods

sub :: Double -> Rational -> SubType Double Rational Source #

CanSub Double Integer Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Double Integer
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Double Integer = Double

Methods

sub :: Double -> Integer -> SubType Double Integer Source #

CanSub Double Double Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Double Double
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Double Double = AddType Double (NegType Double)

Methods

sub :: Double -> Double -> SubType Double Double Source #

CanSub Double Int Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Double Int
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Double Int = Double

Methods

sub :: Double -> Int -> SubType Double Int Source #

CanSub Int Rational Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Int Rational
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Int Rational = Rational

Methods

sub :: Int -> Rational -> SubType Int Rational Source #

CanSub Int Integer Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Int Integer
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Int Integer = Integer

Methods

sub :: Int -> Integer -> SubType Int Integer Source #

CanSub Int Double Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Int Double
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Int Double = Double

Methods

sub :: Int -> Double -> SubType Int Double Source #

CanSub Int Int Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Int Int
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Int Int = Integer

Methods

sub :: Int -> Int -> SubType Int Int Source #

CanSub Rational b => CanSub Rational (Complex b) Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type SubType Rational (Complex b)
Instance details Defined in Numeric.MixedTypes.Complex type SubType Rational (Complex b) = Complex (SubType Rational b)

Methods

sub :: Rational -> Complex b -> SubType Rational (Complex b) Source #

CanSub Integer b => CanSub Integer (Complex b) Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type SubType Integer (Complex b)
Instance details Defined in Numeric.MixedTypes.Complex type SubType Integer (Complex b) = Complex (SubType Integer b)

Methods

sub :: Integer -> Complex b -> SubType Integer (Complex b) Source #

CanSub Double b => CanSub Double (Complex b) Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type SubType Double (Complex b)
Instance details Defined in Numeric.MixedTypes.Complex type SubType Double (Complex b) = Complex (SubType Double b)

Methods

sub :: Double -> Complex b -> SubType Double (Complex b) Source #

CanSub Int b => CanSub Int (Complex b) Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type SubType Int (Complex b)
Instance details Defined in Numeric.MixedTypes.Complex type SubType Int (Complex b) = Complex (SubType Int b)

Methods

sub :: Int -> Complex b -> SubType Int (Complex b) Source #

(CanSub Rational b, CanBeErrors es) => CanSub Rational (CollectErrors es b) Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Rational (CollectErrors es b)
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Rational (CollectErrors es b) = CollectErrors es (SubType Rational b)

Methods

sub :: Rational -> CollectErrors es b -> SubType Rational (CollectErrors es b) Source #

(CanSub Integer b, CanBeErrors es) => CanSub Integer (CollectErrors es b) Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Integer (CollectErrors es b)
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Integer (CollectErrors es b) = CollectErrors es (SubType Integer b)

Methods

sub :: Integer -> CollectErrors es b -> SubType Integer (CollectErrors es b) Source #

(CanSub Double b, CanBeErrors es) => CanSub Double (CollectErrors es b) Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Double (CollectErrors es b)
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Double (CollectErrors es b) = CollectErrors es (SubType Double b)

Methods

sub :: Double -> CollectErrors es b -> SubType Double (CollectErrors es b) Source #

(CanSub Int b, CanBeErrors es) => CanSub Int (CollectErrors es b) Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType Int (CollectErrors es b)
Instance details Defined in Numeric.MixedTypes.AddSub type SubType Int (CollectErrors es b) = CollectErrors es (SubType Int b)

Methods

sub :: Int -> CollectErrors es b -> SubType Int (CollectErrors es b) Source #

CanSub a Rational => CanSub (Complex a) Rational Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type SubType (Complex a) Rational
Instance details Defined in Numeric.MixedTypes.Complex type SubType (Complex a) Rational = Complex (SubType a Rational)

Methods

sub :: Complex a -> Rational -> SubType (Complex a) Rational Source #

CanSub a Integer => CanSub (Complex a) Integer Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type SubType (Complex a) Integer
Instance details Defined in Numeric.MixedTypes.Complex type SubType (Complex a) Integer = Complex (SubType a Integer)

Methods

sub :: Complex a -> Integer -> SubType (Complex a) Integer Source #

CanSub a Double => CanSub (Complex a) Double Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type SubType (Complex a) Double
Instance details Defined in Numeric.MixedTypes.Complex type SubType (Complex a) Double = Complex (SubType a Double)

Methods

sub :: Complex a -> Double -> SubType (Complex a) Double Source #

CanSub a Int => CanSub (Complex a) Int Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type SubType (Complex a) Int
Instance details Defined in Numeric.MixedTypes.Complex type SubType (Complex a) Int = Complex (SubType a Int)

Methods

sub :: Complex a -> Int -> SubType (Complex a) Int Source #

CanSub a b => CanSub (Complex a) (Complex b) Source #

Instance details

Defined in Numeric.MixedTypes.Complex

Associated Types

type SubType (Complex a) (Complex b)
Instance details Defined in Numeric.MixedTypes.Complex type SubType (Complex a) (Complex b) = Complex (SubType a b)

Methods

sub :: Complex a -> Complex b -> SubType (Complex a) (Complex b) Source #

CanSub a b => CanSub (Maybe a) (Maybe b) Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType (Maybe a) (Maybe b)
Instance details Defined in Numeric.MixedTypes.AddSub type SubType (Maybe a) (Maybe b) = Maybe (SubType a b)

Methods

sub :: Maybe a -> Maybe b -> SubType (Maybe a) (Maybe b) Source #

CanSub a b => CanSub [a] [b] Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType [a] [b]
Instance details Defined in Numeric.MixedTypes.AddSub type SubType [a] [b] = [SubType a b]

Methods

sub :: [a] -> [b] -> SubType [a] [b] Source #

(CanSub a Rational, CanBeErrors es) => CanSub (CollectErrors es a) Rational Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType (CollectErrors es a) Rational
Instance details Defined in Numeric.MixedTypes.AddSub type SubType (CollectErrors es a) Rational = CollectErrors es (SubType a Rational)

Methods

sub :: CollectErrors es a -> Rational -> SubType (CollectErrors es a) Rational Source #

(CanSub a Integer, CanBeErrors es) => CanSub (CollectErrors es a) Integer Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType (CollectErrors es a) Integer
Instance details Defined in Numeric.MixedTypes.AddSub type SubType (CollectErrors es a) Integer = CollectErrors es (SubType a Integer)

Methods

sub :: CollectErrors es a -> Integer -> SubType (CollectErrors es a) Integer Source #

(CanSub a Double, CanBeErrors es) => CanSub (CollectErrors es a) Double Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType (CollectErrors es a) Double
Instance details Defined in Numeric.MixedTypes.AddSub type SubType (CollectErrors es a) Double = CollectErrors es (SubType a Double)

Methods

sub :: CollectErrors es a -> Double -> SubType (CollectErrors es a) Double Source #

(CanSub a Int, CanBeErrors es) => CanSub (CollectErrors es a) Int Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType (CollectErrors es a) Int
Instance details Defined in Numeric.MixedTypes.AddSub type SubType (CollectErrors es a) Int = CollectErrors es (SubType a Int)

Methods

sub :: CollectErrors es a -> Int -> SubType (CollectErrors es a) Int Source #

(CanSub a b, CanBeErrors es) => CanSub (CollectErrors es a) (CollectErrors es b) Source #

Instance details

Defined in Numeric.MixedTypes.AddSub

Associated Types

type SubType (CollectErrors es a) (CollectErrors es b)
Instance details Defined in Numeric.MixedTypes.AddSub type SubType (CollectErrors es a) (CollectErrors es b) = CollectErrors es (SubType a b)

Methods

sub :: CollectErrors es a -> CollectErrors es b -> SubType (CollectErrors es a) (CollectErrors es b) Source #

type CanSubThis t1 t2 = (CanSub t1 t2, SubType t1 t2 ~ t1) Source #

type CanSubSameType t = CanSubThis t t Source #

(-) :: CanSub t1 t2 => t1 -> t2 -> SubType t1 t2 infixl 6 Source #

Tests

specCanSub :: (Arbitrary t1, Arbitrary t2, Arbitrary (SubType t1 t1), CanSub t1 t2, CanSub t1 t1, HasEqAsymmetric (SubType t1 t1) (SubType t1 t1), HasEqAsymmetric (SubType t1 t2) t1, HasEqAsymmetric (SubType t1 t2) (AddType t1 (NegType t2)), CanTestCertainly (EqCompareType (SubType t1 t1) (SubType t1 t1)), CanTestCertainly (EqCompareType (SubType t1 t2) t1), CanTestCertainly (EqCompareType (SubType t1 t2) (AddType t1 (NegType t2))), Show t1, Show t2, Show (SubType t1 t2), Show (SubType t1 t1), Show (AddType t1 (NegType t2)), CanAddAsymmetric t1 (NegType t2), ConvertibleExactlyWithSample Integer t2, ConvertibleExactlyWithSample Integer (SubType t1 t1), CanNeg t2) => T t1 -> T t2 -> Spec Source #

HSpec properties that each implementation of CanSub should satisfy.

specCanSubNotMixed :: (Arbitrary t, Arbitrary (SubType t t), CanSub t t, HasEqAsymmetric (SubType t t) t, HasEqAsymmetric (SubType t t) (SubType t t), HasEqAsymmetric (SubType t t) (AddType t (NegType t)), CanTestCertainly (EqCompareType (SubType t t) t), CanTestCertainly (EqCompareType (SubType t t) (SubType t t)), CanTestCertainly (EqCompareType (SubType t t) (AddType t (NegType t))), Show t, Show (SubType t t), Show (AddType t (NegType t)), CanAddAsymmetric t (NegType t), ConvertibleExactlyWithSample Integer t, ConvertibleExactlyWithSample Integer (SubType t t), CanNeg t) => T t -> Spec Source #

HSpec properties that each implementation of CanSub should satisfy.