probability-0.2.2.1: Probabilistic Functional ProgrammingSource codeContentsIndex
Numeric.Probability.Simulation
Description
Simulation
Synopsis
class C c where
(~.) :: (Fractional prob, Ord prob, Random prob, Ord a) => Int -> (a -> c a) -> Transition prob a
(~..) :: (Fractional prob, Ord prob, Random prob, Ord a) => (Int, Int) -> (a -> c a) -> RExpand prob a
(~*.) :: (Fractional prob, Ord prob, Random prob, Ord a) => (Int, Int) -> (a -> c a) -> Transition prob a
Documentation
class C c whereSource

Simulation means to repeat a Rnd.change change many times and to accumulate all results into a distribution. Therefore, simulation can be regarded as an approximation of distributions through randomization.

The Sim class allows the overloading of simulation for different kinds of generators, namely transitions and Rnd.change changes:

  • Trans   a = a -> Dist a   ==>   c = Dist
  • RChange a = a -> Rnd.T a  ==>   c = Rnd.T = IO
Methods
(~.) :: (Fractional prob, Ord prob, Random prob, Ord a) => Int -> (a -> c a) -> Transition prob aSource
returns the final randomized transition
(~..) :: (Fractional prob, Ord prob, Random prob, Ord a) => (Int, Int) -> (a -> c a) -> RExpand prob aSource
returns the whole trace for a k-fold simulation
(~*.) :: (Fractional prob, Ord prob, Random prob, Ord a) => (Int, Int) -> (a -> c a) -> Transition prob aSource
returns the whole trace for a single simulation
show/hide Instances
C T
(Num prob, Ord prob, Random prob) => C (T prob)
Produced by Haddock version 2.4.2