Data.Distribution

data Dist p a

A distribution of values of type a, with "probabilities" in some Semiring p.

Constructors

• Dist (List (Tuple p a))

Instances

• Functor (Dist p)
• (Semiring p) => Apply (Dist p)
• (Semiring p) => Applicative (Dist p)
• (Semiring p) => Bind (Dist p)
• (Semiring p) => Monad (Dist p)
• Alt (Dist p)
• Plus (Dist p)
• (Semiring p) => Alternative (Dist p)
• (Semiring p) => MonadZero (Dist p)
• (Semiring p) => MonadPlus (Dist p)

dist :: forall a p. List (Tuple p a) -> Dist p a

Create a distribution from a list of values and probabilities.

observe :: forall a p. Semiring p => Ord a => Dist p a -> List (Tuple p a)

Unpack the observations in a distribution, combining any probabilities for duplicate observations.