Numeric.Probability.Example.Dice

Documentation

type Die = Int

type Probability = Rational

type Dist = T Probability

die :: Dist Die

twoDice :: Dist (Die, Die)

product of independent distributions

dice :: Int -> Dist [Die]

twoSixes :: Probability

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

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

droll :: Dist Die

g3 :: Probability

addTwo :: Dist Die