Module MakeRandom

Functors for the Random Module

This module provide functors to reproduce the interface of the standard library's Random module with other pseudo-random number generators.

module Bits : sig ... end

Signatures for providers of bits.

module Sig : sig ... end

Output signatures.

Functor for the Basic Interface

module Basic30 : functor (B : Bits.Basic30) -> Sig.Basic

Functors for the Full Interface

module Full30 : functor (B : Bits.Full30) -> Sig.Full
module Full64 : functor (B : Bits.Full64) -> Sig.Full
module Full30Init64 : functor (B : Bits.Full30Init64) -> Sig.Full

Standard Library's Random

Pretty useless, but allows to check that the signatures in Sig match with what is in Stdlib.Random.

module StdRandom : Sig.Full with type State.t = Stdlib.Random.State.t