ProbabilityMonads-0.1.0: Probability distribution monads.ContentsIndex
Control.Monad.Distribution
Stabilityexperimental
Description

This module is a wrapper around Control.Monad.Distribution.Base. It provides definitions of DDist, ddist, BDDist and bddist based on double-precion floating point numbers.

For the main API, see Control.Monad.Distribution.Base. For alternative versions of DDist, etc., based on exact rational numbers, see Control.Monad.Distribution.Rational.

Synopsis
module Control.Monad.Distribution.Base
type DDist = MVT Prob []
ddist :: DDist a -> DDist a
type BDDist = MaybeT DDist
bddist :: BDDist a -> Maybe (DDist a)
Documentation
module Control.Monad.Distribution.Base
type DDist = MVT Prob []
A discrete, finite probability distribution implemented using rational numbers.
ddist :: DDist a -> DDist a
Force a value to be interpreted as having type DDist.
type BDDist = MaybeT DDist
A version of BDDist with support for Bayes' theorem.
bddist :: BDDist a -> Maybe (DDist a)
Force a value to be interpreted as having type BDDist, and apply Bayes' rule. Returns Nothing if no possible combination of events will satisfy the guard conditions specified in BDDist.
Produced by Haddock version 0.8