NumHask.Algebra.Distribution

Distribution avoids a name clash with Distributive

Documentation

class (Additive a, MultiplicativeMagma a) => Distribution a

Distribution (and annihilation) laws

a * (b + c) == a * b + a * c
(a + b) * c == a * c + b * c
a * zero == zero
zero * a == zero

Instances

Distribution Bool

Distribution Double

Distribution Float

Distribution Int

Distribution Integer

(AdditiveGroup a, Distribution a) => Distribution (Complex a)

(KnownNat n, MultiplicativeMagma a, Additive a) => Distribution (Vector n a)

(KnownNat n, Semiring a) => Distribution (Matrix Nat Nat n n a)