Ceylon Random provides:
- a pseudorandom number generator ([[DefaultRandom]]),
- toplevel utility functions to shuffle streams or arrays ([[randomize]]
and [[randomizeInPlace]]), and
- an easy to implement interface for use by third party random number generators
([[Random]]).
To generate random numbers, create and use an instance of [[DefaultRandom]]:
// Create a random number generator
value random = DefaultRandom();
// Print a pseudorandom Float in the range 0.0 to ...
Artifacts using Ceylon Random Platform Module (7)
# specks
**specks** enables a different way to check that your Ceylon code works.
Instead of writing traditional tests, you write specifications.
Last Release on Feb 13, 2021
This "extras" package provides the following utilities to complement `ceylon.random`:
- [[platformRandom]]: Returns an instance of [[ceylon.random::Random]] that delegates
the platform default random number generator.
- [[platformSecureRandom]]: ...
Last Release on Feb 13, 2021
Provides utility functions to generate random
[[com.vasileff.ceylon.integer64::Integer64]] values.
Last Release on Feb 13, 2021
This module provides [[java.util::Random]] to [[ceylon.random::Random]] adapters.
Last Release on Feb 13, 2021
Provides utility functions to generate random [[ceylon.whole::Whole]] values.
Last Release on Feb 13, 2021
An implementation of Universal Unique Identifier (UUID). See [http://tools.ietf.org/html/rfc4122](http://tools.ietf.org/html/rfc4122)
The current implementation supports only a JVM backend due to dependencies upon ...
Last Release on Feb 13, 2021
- Prev
- 1
- Next
