Tracing

- 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

zipListWith :: ([a] -> b) -> [[a]] -> [b]Source