We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents ae47617 + 6fa68da commit dcf87ceCopy full SHA for dcf87ce
1 file changed
src/Data/Field.purs
@@ -17,10 +17,6 @@ import Data.Semiring (class Semiring, add, mul, one, zero, (*), (+))
17
-- | `EuclideanRing` laws:
18
-- |
19
-- | - Non-zero multiplicative inverse: ``a `mod` b = zero`` for all `a` and `b`
20
--- |
21
--- | The `Unit` instance is provided for backwards compatibility, but it is
22
--- | not law-abiding, because `Unit` does not obey the `EuclideanRing` laws.
23
--- | This instance will be removed in a future release.
24
class EuclideanRing a <= Field a
25
26
instance fieldNumber :: Field Number
0 commit comments