probability-0.2.7: Probabilistic Functional Programming

Safe Haskell	Safe
Language	Haskell98

Numeric.Probability.Trace

Contents

traces of distributions
traces of random experiments

Description

Tracing

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

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 #