probability-0.2.2.1: Probabilistic Functional Programming
Source code
Contents
Index
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
a
Source
type
State
a = [a]
Source
type
PState
a =
Dist
(
State
a)
Source
type
STrans
a =
State
a ->
PState
a
Source
type
SPred
a = a ->
State
a ->
Bool
Source
event
::
Probability
-> a ->
STrans
a
Source
happens
::
Eq
a =>
SPred
a
Source
network
:: [
STrans
a] ->
PState
a
Source
source
::
Probability
-> a ->
STrans
a
Source
bin
::
Eq
a => a -> a ->
Probability
->
Probability
->
Probability
->
Probability
-> a ->
STrans
a
Source
data
Nodes
Source
Two possible causes for one effect
Constructors
A
B
E
Instances
Eq
Nodes
Ord
Nodes
Show
Nodes
g
::
PState
Nodes
Source
queries
aE
::
Probability
Source
bE
::
Probability
Source
e
::
Probability
Source
Produced by
Haddock
version 2.4.2