probability-0.2.4: Probabilistic Functional Programming

Safe HaskellSafe-Infered

Numeric.Probability.Example.Bayesian

Contents

Description

Approach: model a node with k predecessors as a function with k parameters

Synopsis

Abbreviations, smart constructors

type Dist a = T Probability a

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 :: Probability -> a -> STrans a

happens :: Eq a => SPred a

network :: [STrans a] -> PState a

bin :: Eq a => a -> a -> Probability -> Probability -> Probability -> Probability -> a -> STrans a

data Nodes

Two possible causes for one effect

Constructors

A 
B 
E 

Instances

queries