| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Numeric.Semiring.ZeroProduct
Synopsis
- class (Monoidal r, Semiring r) => ZeroProductSemiring r
Documentation
class (Monoidal r, Semiring r) => ZeroProductSemiring r Source #
A zero-product semiring has no zero divisors
a * b = 0 implies a == 0 || b == 0
Instances
| ZeroProductSemiring Integer Source # | |
Defined in Numeric.Semiring.ZeroProduct | |
| ZeroProductSemiring Natural Source # | |
Defined in Numeric.Semiring.ZeroProduct | |
| ZeroProductSemiring Bool Source # | |
Defined in Numeric.Semiring.ZeroProduct | |
| GCDDomain d => ZeroProductSemiring (Fraction d) Source # | |
Defined in Numeric.Field.Fraction | |