stats-monad

A discrete probability monad with statistics.

This package implements an unnormalized distribution monad P designed for discrete probabilistic computations. The inference is exact by enumerating all possibilities, which means it is slow and is not meant for big programs. However, the ability to enumerate over the support of a program means we can provide primitives for computing statistical properties such as independence/moments of random variables.