probability-0.2.5.2: Probabilistic Functional Programming

Safe HaskellSafe
LanguageHaskell98

Numeric.Probability.Example.Alarm

Contents

Synopsis

Documentation

type Probability = Rational Source #

type Dist a = T Probability a Source #

type PBool = T Probability Bool Source #

flp :: Probability -> PBool Source #

Numeric.Probability.Example.Alarm network

b :: PBool Source #

prior burglary 1%

e :: PBool Source #

prior earthquake 0.1%

a :: Bool -> Bool -> PBool Source #

conditional probability of alarm given burglary and earthquake

j :: Bool -> PBool Source #

conditional probability of john calling given alarm

m :: Bool -> PBool Source #

conditional probability of mary calling given alarm

data Burglary Source #

calculate the full joint distribution

Constructors

B 

Fields

Instances
Eq Burglary Source # 
Instance details

Defined in Numeric.Probability.Example.Alarm

Methods

(==) :: Burglary -> Burglary -> Bool #

(/=) :: Burglary -> Burglary -> Bool #

Ord Burglary Source # 
Instance details

Defined in Numeric.Probability.Example.Alarm

Methods

compare :: Burglary -> Burglary -> Ordering #

(<) :: Burglary -> Burglary -> Bool #

(<=) :: Burglary -> Burglary -> Bool #

(>) :: Burglary -> Burglary -> Bool #

(>=) :: Burglary -> Burglary -> Bool #

max :: Burglary -> Burglary -> Burglary #

min :: Burglary -> Burglary -> Burglary #

Show Burglary Source # 
Instance details

Defined in Numeric.Probability.Example.Alarm

Methods

showsPrec :: Int -> Burglary -> ShowS #

show :: Burglary -> String #

showList :: [Burglary] -> ShowS #

bJoint :: Dist Burglary Source #

pmj :: Probability Source #

what is the probability that mary calls given that john calls?