Numeric.MixedTypes.Div

Division

class CanDiv t1 t2 where

A replacement for Prelude's binary /. If t1 = t2 and Fractional t1, then one can use the default implementation to mirror Prelude's /.

Associated Types

type DivType t1 t2

type DivType t1 t2 = t1

Methods

divide :: t1 -> t2 -> DivType t1 t2

Instances

CanDiv Double Double

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Double Double

Methods

divide :: Double -> Double -> DivType Double Double

CanDiv Double Int

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Double Int

Methods

divide :: Double -> Int -> DivType Double Int

CanDiv Double Integer

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Double Integer

Methods

divide :: Double -> Integer -> DivType Double Integer

CanDiv Double Rational

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Double Rational

Methods

divide :: Double -> Rational -> DivType Double Rational

CanDiv Int Double

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Int Double

Methods

divide :: Int -> Double -> DivType Int Double

CanDiv Int Int

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Int Int

Methods

divide :: Int -> Int -> DivType Int Int

CanDiv Int Integer

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Int Integer

Methods

divide :: Int -> Integer -> DivType Int Integer

CanDiv Int Rational

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Int Rational

Methods

divide :: Int -> Rational -> DivType Int Rational

CanDiv Integer Double

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Integer Double

Methods

divide :: Integer -> Double -> DivType Integer Double

CanDiv Integer Int

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Integer Int

Methods

divide :: Integer -> Int -> DivType Integer Int

CanDiv Integer Integer

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Integer Integer

Methods

divide :: Integer -> Integer -> DivType Integer Integer

CanDiv Integer Rational

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Integer Rational

Methods

divide :: Integer -> Rational -> DivType Integer Rational

CanDiv Rational Double

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Rational Double

Methods

divide :: Rational -> Double -> DivType Rational Double

CanDiv Rational Int

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Rational Int

Methods

divide :: Rational -> Int -> DivType Rational Int

CanDiv Rational Integer

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Rational Integer

Methods

divide :: Rational -> Integer -> DivType Rational Integer

CanDiv Rational Rational

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Rational Rational

Methods

divide :: Rational -> Rational -> DivType Rational Rational

(CanMulAsymmetric Double b, CanMulAsymmetric b b, CanAddSameType (MulType b b), CanDiv (MulType Double b) (MulType b b)) => CanDiv Double (Complex b)

Defined in Numeric.MixedTypes.Complex

Associated Types

type DivType Double (Complex b)

Methods

divide :: Double -> Complex b -> DivType Double (Complex b)

(CanDiv Double b, CanTestZero b) => CanDiv Double (CN b)

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Double (CN b)

Methods

divide :: Double -> CN b -> DivType Double (CN b)

(CanMulAsymmetric Int b, CanMulAsymmetric b b, CanAddSameType (MulType b b), CanDiv (MulType Int b) (MulType b b)) => CanDiv Int (Complex b)

Defined in Numeric.MixedTypes.Complex

Associated Types

type DivType Int (Complex b)

Methods

divide :: Int -> Complex b -> DivType Int (Complex b)

(CanDiv Int b, CanTestZero b) => CanDiv Int (CN b)

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Int (CN b)

Methods

divide :: Int -> CN b -> DivType Int (CN b)

(CanMulAsymmetric Integer b, CanMulAsymmetric b b, CanAddSameType (MulType b b), CanDiv (MulType Integer b) (MulType b b)) => CanDiv Integer (Complex b)

Defined in Numeric.MixedTypes.Complex

Associated Types

type DivType Integer (Complex b)

Methods

divide :: Integer -> Complex b -> DivType Integer (Complex b)

(CanDiv Integer b, CanTestZero b) => CanDiv Integer (CN b)

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Integer (CN b)

Methods

divide :: Integer -> CN b -> DivType Integer (CN b)

(CanMulAsymmetric Rational b, CanMulAsymmetric b b, CanAddSameType (MulType b b), CanDiv (MulType Rational b) (MulType b b)) => CanDiv Rational (Complex b)

Defined in Numeric.MixedTypes.Complex

Associated Types

type DivType Rational (Complex b)

Methods

divide :: Rational -> Complex b -> DivType Rational (Complex b)

(CanDiv Rational b, CanTestZero b) => CanDiv Rational (CN b)

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType Rational (CN b)

Methods

divide :: Rational -> CN b -> DivType Rational (CN b)

CanDiv a Integer => CanDiv (Complex a) Integer

Defined in Numeric.MixedTypes.Complex

Associated Types

type DivType (Complex a) Integer

Methods

divide :: Complex a -> Integer -> DivType (Complex a) Integer

CanDiv a Int => CanDiv (Complex a) Int

Defined in Numeric.MixedTypes.Complex

Associated Types

type DivType (Complex a) Int

Methods

divide :: Complex a -> Int -> DivType (Complex a) Int

CanDiv a Rational => CanDiv (Complex a) Rational

Defined in Numeric.MixedTypes.Complex

Associated Types

type DivType (Complex a) Rational

Methods

divide :: Complex a -> Rational -> DivType (Complex a) Rational

CanDiv a Double => CanDiv (Complex a) Double

Defined in Numeric.MixedTypes.Complex

Associated Types

type DivType (Complex a) Double

Methods

divide :: Complex a -> Double -> DivType (Complex a) Double

CanDiv a Integer => CanDiv (CN a) Integer

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType (CN a) Integer

Methods

divide :: CN a -> Integer -> DivType (CN a) Integer

CanDiv a Int => CanDiv (CN a) Int

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType (CN a) Int

Methods

divide :: CN a -> Int -> DivType (CN a) Int

CanDiv a Rational => CanDiv (CN a) Rational

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType (CN a) Rational

Methods

divide :: CN a -> Rational -> DivType (CN a) Rational

CanDiv a Double => CanDiv (CN a) Double

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType (CN a) Double

Methods

divide :: CN a -> Double -> DivType (CN a) Double

CanDiv a b => CanDiv [a] [b]

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType [a] [b]

Methods

divide :: [a] -> [b] -> DivType [a] [b]

CanDiv a b => CanDiv (Maybe a) (Maybe b)

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType (Maybe a) (Maybe b)

Methods

divide :: Maybe a -> Maybe b -> DivType (Maybe a) (Maybe b)

(CanMulAsymmetric a b, CanAddSameType (MulType a b), CanSubSameType (MulType a b), CanMulAsymmetric b b, CanAddSameType (MulType b b), CanDiv (MulType a b) (MulType b b)) => CanDiv (Complex a) (Complex b)

Defined in Numeric.MixedTypes.Complex

Associated Types

type DivType (Complex a) (Complex b)

Methods

divide :: Complex a -> Complex b -> DivType (Complex a) (Complex b)

(CanDiv a b, CanTestZero b) => CanDiv (CN a) (CN b)

Defined in Numeric.MixedTypes.Div

Associated Types

type DivType (CN a) (CN b)

Methods

divide :: CN a -> CN b -> DivType (CN a) (CN b)

type CanDivBy t1 t2 = (CanDiv t1 t2, DivType t1 t2 ~ t1)

type CanDivSameType t = CanDivBy t t

type CanRecip t = CanDiv Integer t

type CanRecipSameType t = (CanDiv Integer t, DivType Integer t ~ t)

(/) :: CanDiv t1 t2 => t1 -> t2 -> DivType t1 t2 infixl 7

recip :: CanRecip t => t -> DivType Integer t

Tests

specCanDiv :: _ => T t1 -> T t2 -> Spec

HSpec properties that each implementation of CanDiv should satisfy.

specCanDivNotMixed :: _ => T t -> Spec

HSpec properties that each implementation of CanDiv should satisfy.