Copyright | (c) Michal Konecny |
---|---|
License | BSD3 |
Maintainer | mikkonecny@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
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 Rational Source # | |
Defined in Numeric.MixedTypes.Ring | |
OrderedRing Integer Source # | |
Defined in Numeric.MixedTypes.Ring | |
OrderedRing (CN Rational) Source # | |
Defined in Numeric.MixedTypes.Ring | |
OrderedRing (CN Integer) 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 Rational Source # | |
Defined in Numeric.MixedTypes.Ring | |
OrderedCertainlyRing Integer Source # | |
Defined in Numeric.MixedTypes.Ring | |
OrderedCertainlyRing (CN Rational) Source # | |
Defined in Numeric.MixedTypes.Ring | |
OrderedCertainlyRing (CN Integer) Source # | |
Defined in Numeric.MixedTypes.Ring |