probability-0.2.2: Probabilistic Functional ProgrammingSource codeContentsIndex
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 = RationalSource
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 -> BoolSource
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
show/hide Instances
g :: PState NodesSource
queries
aE :: ProbabilitySource
bE :: ProbabilitySource
e :: ProbabilitySource
Produced by Haddock version 2.4.2