Safe Haskell | Safe |
---|---|

Language | Haskell98 |

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

- type Probability = Rational
- type Dist a = T Probability a
- data State
- data Finding
- pDisease :: Probability
- pFalseNegative :: Probability
- pFalsePositive :: Probability
- dist :: Dist (State, Finding)
- distAlt :: Dist (State, Finding)
- p :: Probability

# Documentation

type Probability = Rational Source #

type Dist a = T Probability a Source #

## Instances

Enum Finding Source # | |

Eq Finding Source # | |

Ord Finding Source # | |

Defined in Numeric.Probability.Example.Diagnosis | |

Show Finding Source # | |

distAlt :: Dist (State, Finding) Source #

Alternative way for computing the distribution. It is usually more efficient because we do not need to switch on the healthy state.

p :: Probability Source #