| Copyright | (c) Michal Konecny |
|---|---|
| License | BSD3 |
| Maintainer | mikkonecny@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Numeric.MixedTypes.Ring
Description
Documentation
type CanAddSubMulBy t s = (CanAddThis t s, CanSubThis t s, CanSub s t, SubType s t ~ t, CanMulBy t s) Source #
class (CanNegSameType t, CanAddSameType t, CanSubSameType t, CanMulSameType t, HasEq t t, HasEq t Integer, CanAddSubMulBy t Integer, HasEq t Int, CanAddSubMulBy t Int, HasIntegers t) => Ring t Source #
class (Ring t, HasEq t t, HasEq t Int, HasEq t Integer, HasOrder t t, HasOrder t Int, HasOrder t Integer) => OrderedRing t Source #
Instances
| OrderedRing Integer Source # | |
Defined in Numeric.MixedTypes.Ring | |
| OrderedRing Rational Source # | |
Defined in Numeric.MixedTypes.Ring | |
| OrderedRing (CN Integer) Source # | |
Defined in Numeric.MixedTypes.Ring | |
| OrderedRing (CN Rational) Source # | |
Defined in Numeric.MixedTypes.Ring | |
class (Ring t, HasEqCertainly t t, HasEqCertainly t Int, HasEq t Integer, HasOrderCertainly t t, HasOrderCertainly t Int, HasOrderCertainly t Integer, CanTestPosNeg t) => OrderedCertainlyRing t Source #
Instances
| OrderedCertainlyRing Integer Source # | |
Defined in Numeric.MixedTypes.Ring | |
| OrderedCertainlyRing Rational Source # | |
Defined in Numeric.MixedTypes.Ring | |
| OrderedCertainlyRing (CN Integer) Source # | |
Defined in Numeric.MixedTypes.Ring | |
| OrderedCertainlyRing (CN Rational) Source # | |
Defined in Numeric.MixedTypes.Ring | |