 | probability-0.2.1: Probabilistic Functional Programming | Contents | Index |
| Numeric.Probability.Example.Boys |
| Constructors | ||||
| ||||
 Instances | ||||
| ||||||||
| ||||||||
| Description | ||||||||
| Consider a family of two children. Given that there is a boy in the family, what is the probability that there are two boys in the family? | ||||||||
| Documentation | ||||||||
| type Probability = Rational | ||||||||
| type Dist a = T Probability a | ||||||||
| data Child | ||||||||
| ||||||||
| type Family = (Child, Child) | ||||||||
| birth :: Dist Child | ||||||||
| family :: Dist Family | ||||||||
| allBoys :: Event Family | ||||||||
| existsBoy :: Event Family | ||||||||
| familyWithBoy :: Dist Family | ||||||||
| twoBoys :: Probability | ||||||||
| countBoy :: Child -> Int | ||||||||
| countBoys :: Family -> Int | ||||||||
| numBoys :: Dist Int | ||||||||
| Produced by Haddock version 2.1.0 |