| Safe Haskell | Safe-Inferred |
|---|
Numeric.Probability.Example.Bayesian
Description
Approach: model a node with k predecessors as a function with k parameters
- 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
- g :: PState Nodes
- e :: Probability
- bE :: Probability
- aE :: Probability
Abbreviations, smart constructors
type Probability = RationalSource
type Dist a = T Probability aSource
event :: Probability -> a -> STrans aSource
source :: Probability -> a -> STrans aSource
bin :: Eq a => a -> a -> Probability -> Probability -> Probability -> Probability -> a -> STrans aSource
Two possible causes for one effect