probability- Probabilistic Functional Programming

Safe HaskellSafe






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 #