Language.Synthesis.Distribution

Documentation

data Distr a

Represents a discrete probability distribution.

Constructors

Distr

Fields

sample :: forall g. RandomGen g => Rand g a

Sample a random item from the distribution.

logProbability :: a -> Double

Compute the log probability of a given value.

negativeInfinity :: Double

Negative infinity, the log of 0 probability.

sumByLogs :: [Double] -> Double

Computes (log . sum . map exp), with more numeric precision.

categorical :: Eq a => [(a, Double)] -> Distr a

A distribution from an (item, weight) list.

uniform :: Eq a => [a] -> Distr a

Uniform distribution.

randInt :: (Integral i, Random i) => (i, i) -> Distr i

A distribution over some integral type, inclusively between the 2 values.

replicate :: Int -> Distr a -> Distr [a]

Generate n independent draws from a distribution.

mix :: [(Distr a, Double)] -> Distr a

Given (distribution, weight) pairs, mix the distributions.

constant :: a -> Distr a

A distribution containing a single item.