Safe Haskell | None |
---|---|
Language | Haskell2010 |
Distribution
avoids a name clash with Distributive
- class (Additive a, MultiplicativeMagma a) => Distribution a
Documentation
class (Additive a, MultiplicativeMagma a) => Distribution a Source #
Distribution (and annihilation) laws
a * (b + c) == a * b + a * c (a + b) * c == a * c + b * c a * zero == zero zero * a == zero