package prbnmcn-stats

You can search for identifiers within the package.

in-package search v0.2.0

Module `Stats.Gen`Source

Generative distributions.

module Make
  (RNG : Stats_intf.Stateful_PRNG) : 
  Stats_intf.Gen with type state = RNG.t

Implementation of generative distributions parameterized by stateful RNG implementation.

Instantiation of the Make functor with Random.State.

include Stats_intf.Gen with type state = Random.State.t

Sourcetype state = Random.State.t

Follows the module type of a sampling-based monad

include Basic_structures.Basic_intf.Monad
  with type 'a t = (state, 'a) Stats_intf.gen
   and type 'a res = (state, 'a) Stats_intf.gen

Sourcetype 'a t = (state, 'a) Stats_intf.gen

'a t is the type of computations of type 'a

Sourcetype 'a res = (state, 'a) Stats_intf.gen

'a res is the outcome of running a computation of type 'a

Sourceval return : 'a -> 'a t

return x injects a value x as a computation

Sourceval bind : 'a t -> ('a -> 'b t) -> 'b t

Monadic bind

Sourceval map : 'a t -> ('a -> 'b) -> 'b t

Functorial map

Sourceval run : 'a t -> 'a res

Running a monadic computation

Sourcemodule Infix : sig ... end

Sourceval iid : 'a t -> 'a Seq.t t

iid gen transforms a sampler into a sequence sampler.

Sourceval float : float -> float t

float bound samples uniformly in 0; bound

Sourceval int : int -> int t

int bound samples uniformly in 0; bound-1

Sourceval bool : bool t

bool samples a boolean uniformly

Sourceval shuffle : 'a array -> 'a array t

shuffle a samples a uniform permutation of a. Uses Fisher-Yates shuffle algorithm.

Sourceval uniform : 'a array -> 'a t

uniform elts samples an element of the elts array by sampling an index uniformly.

raises Invalid_argument
if elts has length equal to 0

Sourceval bernoulli : float -> bool t

bernoulli alpha samples true with probability alpha.

raises Invalid_argument
if alpha is not in the 0;1 interval.

Sourceval geometric : float -> int t

geometric p samples a nonnegative integer according to the geometric law of parameter p.

raises Invalid_argument
if p <= 0 || p > 1

Sourceval subsample : n:int -> 'a t -> 'a t

subsample ~n gen samples one out of n samples from gen.

Sourceval of_empirical : 'a Stats_intf.emp -> 'a t

of_empirical emp samples from emp matching exactly the empirical frequencies.

Sourceval exponential : rate:float -> float t

Exponential distribution via inverse CDF.

raises Invalid_argument
if rate <=. 0.0.

Sourceval box_muller : mean:float -> std:float -> (float * float) t

Gaussian distribution via Box-Muller transform. Returns a pair of independent gaussian variates with prescribed mean and standard deviation.

raises Invalid_argument
if std <= 0.0

Sourceval gaussian : mean:float -> std:float -> float t

Gaussian distribution (wrapper over box-muller transform).

raises Invalid_argument
if std <= 0.0

Sourceval poisson : lambda:float -> int t

Poisson distribution via inverse transform. Consider using other methods for large lambda.

raises Invalid_argument
if lambda <= 0.0

Sourceval range : Stats_intf.range -> float t

Samples uniformly in the given range.

raises Invalid_argument
if range is empty.

Sourceval rectangle : min:float array -> max:float array -> float array t

Samples uniformly in the n-dimensional axis-aligned box defined by min and max.

raises Invalid_argument
if Array.length min != Array.length max, if the length of min or max is zero or if there exists an index i such that min.(i) > max.(i).

Sourceval gamma : shape:float -> scale:float -> float t

Gamma distribution.

Sourceval categorical : ('a * float) array -> 'a t

Categorical distribution. Total mass need not be one. Does not aggregate mass of equal elements.

raises Invalid_argument
if some weights are negative or if the total mass is zero.

Sourceval without_replacement : int -> 'a list -> ('a list * 'a list) t

without_replacement n l samples a subset of size n from l without replacement.

raises Invalid_argument
if n > List.length l.

Sourceval tup2 : 'a t -> 'b t -> ('a * 'b) t

tup2 g1 g2 samples the component of a tuple independently from g1 and g2.

Sourceval tup3 : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t

See tup2

Sourceval tup4 : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t

See tup2

Sourceval tup5 : 'a t -> 'b t -> 'c t -> 'd t -> 'e t -> ('a * 'b * 'c * 'd * 'e) t

See tup2

Source

val tup6 : 
  'a t ->
  'b t ->
  'c t ->
  'd t ->
  'e t ->
  'f t ->
  ('a * 'b * 'c * 'd * 'e * 'f) t

See tup2

Sourceval mixture : float array -> (int -> 'b t) -> 'b t

mixture weights gens samples from the convex combination of weights. weights need to be normalized, non-negative floats.

raises Invalid_argument
if mixture is empty or if weights is not normalized.

Sourcemodule Rational : sig ... end

package prbnmcn-stats

Module Stats.GenSource

Module `Stats.Gen`Source