Module BatRandom.StateSource

Manipulate the current state of the random generator.

This allows using one or several deterministic PRNGs, even in a multi-threaded program, without interference from other parts of the program.

The type of PRNG states.

Sourceval make : int array -> t

Create a new state and initialize it with the given seed.

Sourceval make_self_init : unit -> t

Create a new state and initialize it with a system-dependent low-entropy seed.

Sourceval copy : t -> t

Return a copy of the given state.

Sourceval bits : t -> int
Sourceval int : t -> int -> int
Sourceval full_int : t -> int -> int
Sourceval int32 : t -> Int32.t -> Int32.t
Sourceval nativeint : t -> Nativeint.t -> Nativeint.t
Sourceval int64 : t -> Int64.t -> Int64.t
Sourceval float : t -> float -> float
Sourceval bool : t -> bool
Sourceval char : t -> char
Sourceval enum_bits : t -> unit -> int BatEnum.t
Sourceval enum_int : t -> int -> int BatEnum.t
Sourceval enum_bool : t -> unit -> bool BatEnum.t
Sourceval enum_float : t -> float -> float BatEnum.t
Sourceval enum_int32 : t -> Int32.t -> Int32.t BatEnum.t
Sourceval enum_int64 : t -> Int64.t -> Int64.t BatEnum.t
Sourceval enum_nativeint : t -> Nativeint.t -> Nativeint.t BatEnum.t
Sourceval enum_char : t -> unit -> char BatEnum.t

These functions are the same as the basic functions, except that they use (and update) the given PRNG state instead of the default one.

Sourceval bits32 : t -> Int32.t
Sourceval bits64 : t -> Int64.t
Sourceval nativebits : t -> Nativeint.t