Safe Haskell | Safe |
---|---|

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