14.2.36  Random

The standard library Random api defines access to a subtract-with-borrow style pseudo-random number generator.

The Random api is implemented by the random package.

The Random api source code is in src/lib/src/random.api.

See also: Rand API.

The above information is manually maintained and may contain errors.

api {
    Random_Number_Generator;
    make_random_number_generator : (Int , Int) -> Random_Number_Generator;
    to_string : Random_Number_Generator -> String;
    from_string : String -> Random_Number_Generator;
    int : Random_Number_Generator -> Int;
    nonnegative_int : Random_Number_Generator -> Int;
    float01 : Random_Number_Generator -> Float;
    range : (Int , Int) -> Random_Number_Generator -> Int;
    bool : Random_Number_Generator -> Bool;};