Safe Haskell	Safe
Language	Haskell98

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 Source #

type Dist a = T Probability a Source #

data State Source #

Constructors

Healthy
Ill

Instances

Enum State Source #
Instance details Defined in Numeric.Probability.Example.Diagnosis Methods succ :: State -> State # pred :: State -> State # toEnum :: Int -> State # fromEnum :: State -> Int # enumFrom :: State -> [State] # enumFromThen :: State -> State -> [State] # enumFromTo :: State -> State -> [State] # enumFromThenTo :: State -> State -> State -> [State] #
Eq State Source #
Instance details Defined in Numeric.Probability.Example.Diagnosis Methods (==) :: State -> State -> Bool # (/=) :: State -> State -> Bool #
Ord State Source #
Instance details Defined in Numeric.Probability.Example.Diagnosis Methods compare :: State -> State -> Ordering # (<) :: State -> State -> Bool # (<=) :: State -> State -> Bool # (>) :: State -> State -> Bool # (>=) :: State -> State -> Bool # max :: State -> State -> State # min :: State -> State -> State #
Show State Source #
Instance details Defined in Numeric.Probability.Example.Diagnosis Methods showsPrec :: Int -> State -> ShowS # show :: State -> String # showList :: [State] -> ShowS #

data Finding Source #

Constructors

Negative
Positive

Instances

Enum Finding Source #
Instance details Defined in Numeric.Probability.Example.Diagnosis Methods succ :: Finding -> Finding # pred :: Finding -> Finding # toEnum :: Int -> Finding # fromEnum :: Finding -> Int # enumFrom :: Finding -> [Finding] # enumFromThen :: Finding -> Finding -> [Finding] # enumFromTo :: Finding -> Finding -> [Finding] # enumFromThenTo :: Finding -> Finding -> Finding -> [Finding] #
Eq Finding Source #
Instance details Defined in Numeric.Probability.Example.Diagnosis Methods (==) :: Finding -> Finding -> Bool # (/=) :: Finding -> Finding -> Bool #
Ord Finding Source #
Instance details Defined in Numeric.Probability.Example.Diagnosis Methods compare :: Finding -> Finding -> Ordering # (<) :: Finding -> Finding -> Bool # (<=) :: Finding -> Finding -> Bool # (>) :: Finding -> Finding -> Bool # (>=) :: Finding -> Finding -> Bool # max :: Finding -> Finding -> Finding # min :: Finding -> Finding -> Finding #
Show Finding Source #
Instance details Defined in Numeric.Probability.Example.Diagnosis Methods showsPrec :: Int -> Finding -> ShowS # show :: Finding -> String # showList :: [Finding] -> ShowS #

pDisease :: Probability Source #

pFalseNegative :: Probability Source #

pFalsePositive :: Probability Source #

dist :: Dist (State, 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 #