Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
- class (Monoidal r, Semiring r) => IntegralSemiring r
Documentation
class (Monoidal r, Semiring r) => IntegralSemiring r Source
An integral semiring has no zero divisors
a * b = 0 implies a == 0 || b == 0
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
class (Monoidal r, Semiring r) => IntegralSemiring r Source
An integral semiring has no zero divisors
a * b = 0 implies a == 0 || b == 0