probability-0.2.2: Probabilistic Functional Programming

Numeric.Probability.Example.Dice

Synopsis

type Die = Int
type Probability = Rational
type Dist = T Probability
die :: Dist Die
twoDice :: Dist (Die, Die)
dice :: Int -> Dist [Die]
twoSixes :: Probability
sixes :: (Int -> Bool) -> Int -> Probability
droll :: Dist Die
g3 :: Probability
addTwo :: Dist Die

Documentation

type Die = Int Source

type Probability = Rational Source

type Dist = T Probability Source

die :: Dist Die Source

twoDice :: Dist (Die, Die)Source

product of independent distributions

dice :: Int -> Dist [Die]Source

twoSixes :: Probability Source

sixes :: (Int -> Bool) -> Int -> Probability Source

sixes p n computes the probability of getting p sixes (>1, ==2, ...) when rolling n dice

droll :: Dist Die Source

g3 :: Probability Source

addTwo :: Dist Die Source