package prbnmcn-stats

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Type signatures.

type range = {

}

The type of (inclusive) ranges.

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

type 'a emp = 'a array

'a emp is the type of empirical measures

type 'a gen = Random.State.t -> 'a

'a gen is the type of samplers

module type Fin_fun = sig ... end

Fin_fun is the module type describing the implementation of finite functions.

module type Fin_kernel = sig ... end

Fin_kernel is the module type packing the implementation of finite kernels.

type ('a, 'r) fin_fun = (module Fin_fun with type r = 'r and type t = 'a)

('a, 'r) fin_fun is the type of finite functions from 'a to 'r.

type ('a, 'r) fin_mes =

fin_mes is the type of finitely supported measures.

type ('a, 'r) fin_prb =

fin_mes is the type of finitely supported probability measures.

type ('a, 'b, 'r) kernel =
  (module Fin_kernel
  with type r = 'r
   and type t = 'a
   and type u = 'b)

('a, 'b,'r) is the type of finite kernels from 'a to 'b with measure valued in 'r.

Type classes.

module type Sampling_monad =
  Basic_structures.Basic_intf.Monad with type 'a t = 'a gen

Sampling_monad is the module type of a sampling-based monad

module type Gen = sig ... end

Gen allows to manipulate generative probabilities (ie samplers).

module type Fin_dist = sig ... end

module type Graph = sig ... end

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