probability-0.2.2: Probabilistic Functional Programming

Numeric.Probability.Example.Bayesian

Contents

Abbreviations, smart constructors
queries

Description

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

Synopsis

type Probability = Rational
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
source :: Probability -> a -> STrans a
bin :: Eq a => a -> a -> Probability -> Probability -> Probability -> Probability -> a -> STrans a
data Nodes
- = A
- | B
- | E
g :: PState Nodes
aE :: Probability
bE :: Probability
e :: Probability

Abbreviations, smart constructors

type Probability = Rational Source

type Dist a = T Probability aSource

type State a = [a]Source

type PState a = Dist (State a)Source

type STrans a = State a -> PState aSource

type SPred a = a -> State a -> Bool Source

event :: Probability -> a -> STrans aSource

happens :: Eq a => SPred aSource

network :: [STrans a] -> PState aSource

source :: Probability -> a -> STrans aSource

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

data Nodes Source

Two possible causes for one effect

Constructors

A

B

E

Instances

g :: PState Nodes Source

queries

aE :: Probability Source

bE :: Probability Source

e :: Probability Source