 | probability-0.2.1: Probabilistic Functional Programming | Contents | Index |
|
| Numeric.Probability.Example.Diagnosis |
|
|
| Description |
You take part in a screening test for a disease
that you have with a probability pDisease.
The test can fail in two ways:
If you are ill,
the test says with probability pFalseNegative that you are healthy.
If you are healthy,
it says with probability pFalsePositive that you are ill.
Now consider the test is positive -
what is the probability that you are indeed ill?
|
|
| Synopsis |
|
|
|
| Documentation |
|
| type Probability = Rational |
|
| type Dist a = T Probability a |
|
| data State |
| Constructors | |  Instances | |
|
|
| data Finding |
| Constructors | | | Instances | |
|
|
| pFalseNegative :: Probability |
|
| pFalsePositive :: Probability |
|
| pDisease :: Probability |
|
| dist :: Dist (State, Finding) |
|
| distAlt :: Dist (State, Finding) |
| Alternative way for computing the distribution.
It is usually more efficient because we do not need to switch on the healthy state.
|
|
| p :: Probability |
|
| Produced by Haddock version 2.1.0 |