Copyright | (c) Michal Konecny |
---|---|
License | BSD3 |
Maintainer | mikkonecny@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell98 |
- type CanAddSubMulDivCNBy t s = (CanAddSubMulBy t s, CanDivCNBy t s)
- type Field t = (FieldPre t, CanEnsureCN t, FieldPre (EnsureCN t))
- type CertainlyEqField t = (CertainlyEqFieldPre t, CanEnsureCN t, CertainlyEqFieldPre (EnsureCN t))
- type OrderedField t = (OrderedFieldPre t, CanEnsureCN t, OrderedFieldPre (EnsureCN t))
- type OrderedCertainlyField t = (OrderedCertainlyFieldPre t, CanEnsureCN t, OrderedCertainlyFieldPre (EnsureCN t))
- class CanDiv t1 t2 where
- type DivTypeNoCN t1 t2
- type DivType t1 t2
- type CanDivBy t1 t2 = (CanDiv t1 t2, DivType t1 t2 ~ t1)
- type CanDivCNBy t1 t2 = (CanDiv t1 t2, DivType t1 t2 ~ EnsureCN t1)
- type CanDivSameType t = CanDivBy t t
- type CanDivCNSameType t = CanDivCNBy t t
- type CanRecip t = CanDiv Integer t
- type CanRecipSameType t = (CanDiv Integer t, DivType Integer t ~ t)
- type CanRecipCNSameType t = (CanDiv Integer t, DivType Integer t ~ EnsureCN t)
- (/) :: CanDiv t1 t2 => t1 -> t2 -> DivType t1 t2
- (/!) :: CanDiv t1 t2 => t1 -> t2 -> DivTypeNoCN t1 t2
- recip :: CanRecip t => t -> DivType Integer t
- powUsingMulRecip :: (CanBeInteger e, HasIntegers t, CanRecipCNSameType t, CanMulSameType t, CanEnsureCN t) => t -> e -> EnsureCN t
- specCanDiv :: (CanRecip t1, CanRecip (DivType Integer t1), Show (DivType Integer (DivType Integer t1)), HasEqCertainly t1 (DivType Integer (DivType Integer t1)), CanTestZero (DivType Integer t1), CanDivX t1 t2, CanTestZero t1, CanTestZero t2, CanDivX t1 t1, CanMulX t1 (DivType t1 t2), ConvertibleExactly Integer t2, ConvertibleExactly Integer t1) => T t1 -> T t2 -> Spec
- specCanDivNotMixed :: (CanRecip t, CanRecip (DivType Integer t), Show (DivType Integer (DivType Integer t)), HasEqCertainly t (DivType Integer (DivType Integer t)), CanTestZero (DivType Integer t), CanDivX t t, CanTestZero t, CanMulX t (DivType t t), ConvertibleExactly Integer t) => T t -> Spec
- type CanDivX t1 t2 = (CanDiv t1 t2, Show t1, Arbitrary t1, Show t2, Arbitrary t2, Show (DivType t1 t2), HasEqCertainly t1 (DivType t1 t2))
Field
type CanAddSubMulDivCNBy t s = (CanAddSubMulBy t s, CanDivCNBy t s) Source #
type Field t = (FieldPre t, CanEnsureCN t, FieldPre (EnsureCN t)) Source #
type CertainlyEqField t = (CertainlyEqFieldPre t, CanEnsureCN t, CertainlyEqFieldPre (EnsureCN t)) Source #
type OrderedField t = (OrderedFieldPre t, CanEnsureCN t, OrderedFieldPre (EnsureCN t)) Source #
type OrderedCertainlyField t = (OrderedCertainlyFieldPre t, CanEnsureCN t, OrderedCertainlyFieldPre (EnsureCN t)) Source #
Division
class CanDiv t1 t2 where Source #
A replacement for Prelude's binary /
. If t1 = t2
and Fractional t1
,
then one can use the default implementation to mirror Prelude's /
.
divideNoCN :: t1 -> t2 -> DivTypeNoCN t1 t2 Source #
divide :: t1 -> t2 -> DivType t1 t2 Source #
divide :: (CanTestZero t2, CanEnsureCN (DivTypeNoCN t1 t2)) => t1 -> t2 -> EnsureCN (DivTypeNoCN t1 t2) Source #
type CanDivSameType t = CanDivBy t t Source #
type CanDivCNSameType t = CanDivCNBy t t Source #
(/!) :: CanDiv t1 t2 => t1 -> t2 -> DivTypeNoCN t1 t2 infixl 7 Source #
powUsingMulRecip :: (CanBeInteger e, HasIntegers t, CanRecipCNSameType t, CanMulSameType t, CanEnsureCN t) => t -> e -> EnsureCN t Source #
Tests
specCanDiv :: (CanRecip t1, CanRecip (DivType Integer t1), Show (DivType Integer (DivType Integer t1)), HasEqCertainly t1 (DivType Integer (DivType Integer t1)), CanTestZero (DivType Integer t1), CanDivX t1 t2, CanTestZero t1, CanTestZero t2, CanDivX t1 t1, CanMulX t1 (DivType t1 t2), ConvertibleExactly Integer t2, ConvertibleExactly Integer t1) => T t1 -> T t2 -> Spec Source #
HSpec properties that each implementation of CanDiv should satisfy.
specCanDivNotMixed :: (CanRecip t, CanRecip (DivType Integer t), Show (DivType Integer (DivType Integer t)), HasEqCertainly t (DivType Integer (DivType Integer t)), CanTestZero (DivType Integer t), CanDivX t t, CanTestZero t, CanMulX t (DivType t t), ConvertibleExactly Integer t) => T t -> Spec Source #
HSpec properties that each implementation of CanDiv should satisfy.