package make-random

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature
1. Advanced functions

package make-random

make-random
- MakeRandom
  - Basic30
    
    B
  - Bits
    
    Basic30
    
    Basic64
    
    Full30
    
    Full30Init64
    
    Full64
    
    Full64Init30
    
    Init30
    
    Init64
    
    State30
    
    State64
  - Full30
    
    B
    
    State
  - Full30Init64
    
    B
    
    State
  - Full64
    
    B
    
    State
  - Sig
    
    Basic
    
    Full
    
    State
  - StdRandom
    
    State

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module B : Bits.Full30Init64

Signature

val init : int -> unit

Initialize the generator, using the argument as a seed. The same seed will always yield the same sequence of numbers.

val full_init : int array -> unit

Same as init but takes more data as seed.

val self_init : unit -> unit

Initialize the generator with a random seed chosen in a system-dependent way. If /dev/urandom is available on the host machine, it is used to provide a highly random initial seed. Otherwise, a less random seed is computed from system parameters (current time, process IDs).

include Sig.Basic

val bits : unit -> int

Return 30 random bits in a nonnegative integer.

val int : int -> int

int bound returns a random integer between 0 (inclusive) and bound (exclusive). bound must be greater than 0 and less than 2³⁰.

val int32 : Int32.t -> Int32.t

int32 bound returns a random integer between 0 (inclusive) and bound (exclusive). bound must be greater than 0.

val nativeint : Nativeint.t -> Nativeint.t

nativeint bound returns a random integer between 0 (inclusive) and bound (exclusive). bound must be greater than 0.

val int64 : Int64.t -> Int64.t

int64 bound returns a random integer between 0 (inclusive) and bound (exclusive). bound must be greater than 0.

val float : float -> float

float bound returns a random floating-point number between 0 and bound (inclusive). If bound is negative, the result is negative or zero. If bound is 0, the result is 0.

val bool : unit -> bool

bool () returns true or false with probability 0.5 each.

Advanced functions

The functions from module State manipulate the current state of the random generator explicitly. This allows using one or several deterministic PRNGs, even in a multi-threaded program, without interference from other parts of the program.

module State : sig ... end

val get_state : unit -> State.t

Return the current state of the generator used by the basic functions.

val set_state : State.t -> unit

Set the state of the generator used by the basic functions.