package batteries

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module BatRandomSource

Pseudo-random number generators (PRNG).

This module extends Stdlib's Random module, go there for documentation on the rest of the functions and types.

  • author Damien Doligez (base library)
  • author David Teller
  • author Pierre Chambart

@documents Random

Basic functions

Sourceval init : int -> unit

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

Sourceval full_init : int array -> unit

Same as Random.init but takes more data as seed.

Sourceval self_init : unit -> unit

Initialize the generator with a more-or-less random seed chosen in a system-dependent way.

Sourceval bits : unit -> int

Return 30 random bits in a nonnegative integer.

Sourceval int : int -> int

Random.int bound returns a random integer between 0 (inclusive) and bound (exclusive). bound must be greater than 0 and less than 230.

Sourceval full_int : int -> int

Random.full_int bound returns a random integer between 0 (inclusive) and bound (exclusive). bound may be any positive integer.

If bound is less than 230, Random.full_int bound is equal to Random.int bound. If bound is greater than 230 (on 64-bit systems or non-standard environments, such as JavaScript), Random.full_int returns a value, where Random.int raises Invalid_argument.

  • since 3.4.0 and OCaml 4.13.0
Sourceval int_in_range : min:int -> max:int -> int
Sourceval int32 : Int32.t -> Int32.t

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

Sourceval int32_in_range : min:int32 -> max:int32 -> int32
Sourceval nativeint : Nativeint.t -> Nativeint.t

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

Sourceval nativeint_in_range : min:nativeint -> max:nativeint -> nativeint
Sourceval int64 : Int64.t -> Int64.t

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

Sourceval float : float -> float

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

Sourceval int64_in_range : min:int64 -> max:int64 -> int64
Sourceval bool : unit -> bool

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

Sourceval char : unit -> char

Return a random Latin-1 character.

Sourceval full_range_int : unit -> int

full_range_int () returns the maximum entropy possible in a single int: 31 bits on 32-bit platforms and 63 bits on 64-bit platforms. Intentionally gives different results on different platforms, so is not portable.

Enumerations of random values.

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

Working with data structures.

Sourceval choice : 'a BatEnum.t -> 'a

choice e returns a randomly-chosen element of e.

  • raises Empty

    when applied to an empty enum. This function only works on finite enumerations with less than 230 elements.

Sourceval multi_choice : int -> 'a BatEnum.t -> 'a BatEnum.t

multi_choice n e returns an enumeration of n randomly-chosen elements of e.

Sourceval shuffle : 'a BatEnum.t -> 'a array

shuffle e returns a new array, containing the same set of elements as e, but in a random order.

Shuffling is implemented using the Fisher-Yates algorithm and works in O(n), where n is the number of elements of e.

This function only works on finite enumerations with less than 230 elements.

Sourceval bits32 : unit -> Int32.t

Random.bits32 () returns 32 random bits as an integer between Int32.min_int and Int32.max_int.

  • since 4.14.0
Sourceval bits64 : unit -> Int64.t

Random.bits64 () returns 64 random bits as an integer between Int64.min_int and Int64.max_int.

  • since 4.14.0
Sourceval nativebits : unit -> Nativeint.t

Random.nativebits () returns 32 or 64 random bits (depending on the bit width of the platform) as an integer between Nativeint.min_int and Nativeint.max_int.

  • since 4.14.0

Advanced functions

Sourcemodule State : sig ... end

Manipulate the current state of the random generator.

Sourceval get_state : unit -> State.t

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

Sourceval set_state : State.t -> unit

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

Sourceval split : unit -> State.t

Draw a fresh PRNG state from the current state of the domain-local generator used by the default functions. (The state of the domain-local generator is modified.) See Random.State.split.

  • since 3.6.0 and OCaml 5.0.0
Sourcemodule Incubator : sig ... end
OCaml

Innovation. Community. Security.