Bayesian

Contents

• Abbreviations, smart constructors
• queries

Synopsis

• type State a = [a]
• type PState a = Dist (State a)
• type STrans a = State a -> PState a
• type SPred a = a -> State a -> Bool
• event :: ProbRep -> a -> STrans a
• happens :: Eq a => SPred a
• network :: [STrans a] -> PState a
• source :: ProbRep -> a -> STrans a
• bin :: Eq a => a -> a -> ProbRep -> ProbRep -> ProbRep -> ProbRep -> a -> STrans a
• data Nodes
  • = A
  • | B
  • | E
• g :: PState Nodes
• aE :: Probability
• bE :: Probability
• e :: Probability

Abbreviations, smart constructors

queries