Numeric.Probability.Trace

Contents

• traces of distributions
• traces of random experiments

Description

Synopsis

• type Trace a = [a]
• type Walk a = a -> Trace a
• type Space prob a = Trace (T prob a)
• type Expand prob a = a -> Space prob a
• walk :: Int -> Change a -> Walk a
• type RTrace a = T (Trace a)
• type RWalk a = a -> RTrace a
• type RSpace prob a = T (Space prob a)
• type RExpand prob a = a -> RSpace prob a
• merge :: (Fractional prob, Ord a) => [RTrace a] -> RSpace prob a
• zipListWith :: ([a] -> b) -> [[a]] -> [b]

traces of distributions

traces of random experiments