probability-0.2.7: Probabilistic Functional Programming

Safe HaskellSafe
LanguageHaskell98

Numeric.Probability.Trace

Contents

Description

Tracing

Synopsis

traces of distributions

type Trace a = [a] Source #

type Walk a = a -> Trace a Source #

type Space prob a = Trace (T prob a) Source #

type Expand prob a = a -> Space prob a Source #

walk :: Int -> Change a -> Walk a Source #

walk is a bounded version of the predefined function iterate

traces of random experiments

type RTrace a = T (Trace a) Source #

type RWalk a = a -> RTrace a Source #

type RSpace prob a = T (Space prob a) Source #

type RExpand prob a = a -> RSpace prob a Source #

merge :: (Fractional prob, Ord a) => [RTrace a] -> RSpace prob a Source #

merge converts a list of RTraces into a list of randomized distributions, i.e., an RSpace, by creating a randomized distribution for each list position across all traces

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