probability-0.2.1: Probabilistic Functional Programming

Numeric.Probability.Example.Dice

Synopsis

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