Module Stats.Stats_intfSource

Type signatures.

Sourcetype range = {
  1. min : float;
  2. max : float;
}

The type of (inclusive) ranges.

Sourcetype 'a iterator = ('a -> unit) -> unit

An 'a iterator abstracts a finite sequence of elements.

Primitive representations of distributions: empirical, generative or finitely supported.

Sourcetype 'a emp = 'a array

'a emp is the type of empirical measures

Sourcetype ('s, 'a) gen = 's -> 'a

'a gen is the type of mutable samplers of type 'a with state of type 's

Sourcetype ('a, 'r) fin_fun
Sourcetype ('a, 'r) fin_mes =
  1. | M of {
    1. total_mass : 'r;
    2. fn : ('a, 'r) fin_fun;
    }

fin_mes is the type of finitely supported measures.

Sourcetype ('a, 'r) fin_prb =
  1. | P of {
    1. fn : ('a, 'r) fin_fun;
    }

fin_prb is the type of finitely supported probability measures.

Sourcemodule type Stateful_PRNG = sig ... end

PRNG interface, subset of Random.State and Pringo.

Type classes.

Sourcemodule type Gen = sig ... end

Gen allows to manipulate generative probabilities (ie samplers).

Sourcemodule type Fin_dist = sig ... end
Sourcemodule type Graph = sig ... end

We use an OCamlgraph-compatible module type to describe undirected graphs. We assume that all graphs are undirected and simple.