13.2.31  list_shuffle

The standard library list_shuffle package randomizes lists.

It is implemented via a sort routine which uses a pseudo-random number generator as the comparison function. The PRNG used can be left implicit to use a default provided one, or may be supplied explicitly.

The list_shuffle package implements the List_Shuffle API.

The list_shuffle package source code is in src/lib/src/list-shuffle.pkg.

The above information is manually maintained and may contain errors.


Comments and suggestions to: