| Copyright | (c) Michal Konecny |
|---|---|
| License | BSD3 |
| Maintainer | mikkonecny@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Numeric.MixedTypes.Field
Description
Synopsis
- type CanAddSubMulDivBy t s = (CanAddSubMulBy t s, CanAddSubMulBy t s, CanDivBy t s)
- class (Ring t, HasRationals t, CanPowBy t Integer, CanPowBy t Int, CanDivSameType t, CanRecipSameType t, CanAddSubMulDivBy t Rational, CanAddSubMulDivBy t Integer, CanAddSubMulDivBy t Int) => Field t
- class (Field t, OrderedRing t, HasOrder t Rational, HasOrder t Rational) => OrderedField t
- class (Field t, OrderedCertainlyRing t, HasOrderCertainly t Rational, HasOrderCertainly t Rational) => OrderedCertainlyField t
- module Numeric.MixedTypes.Div
Field
type CanAddSubMulDivBy t s = (CanAddSubMulBy t s, CanAddSubMulBy t s, CanDivBy t s) Source #
class (Ring t, HasRationals t, CanPowBy t Integer, CanPowBy t Int, CanDivSameType t, CanRecipSameType t, CanAddSubMulDivBy t Rational, CanAddSubMulDivBy t Integer, CanAddSubMulDivBy t Int) => Field t Source #
class (Field t, OrderedRing t, HasOrder t Rational, HasOrder t Rational) => OrderedField t Source #
Instances
| OrderedField Rational Source # | |
Defined in Numeric.MixedTypes.Field | |
| OrderedField (CN Rational) Source # | |
Defined in Numeric.MixedTypes.Field | |
class (Field t, OrderedCertainlyRing t, HasOrderCertainly t Rational, HasOrderCertainly t Rational) => OrderedCertainlyField t Source #
Instances
| OrderedCertainlyField Rational Source # | |
Defined in Numeric.MixedTypes.Field | |
| OrderedCertainlyField (CN Rational) Source # | |
Defined in Numeric.MixedTypes.Field | |
Division
module Numeric.MixedTypes.Div