tur/random
stdlib/random.tur
defn
Real-Random
(Real-Random)
create a Random capability backed by libc rand().
Since: Phase 16
defn
Real-Random-free
(Real-Random-free [rng])
release a Random capability created by Real-Random.
Parameters
| rng | the Random pointer returned by Real-Random. |
Since: Phase 16
defn
Seeded-Random
(Seeded-Random [seed])
create a deterministic Random capability from a fixed seed.
Parameters
| seed | unsigned integer seed for srand; same seed produces the same sequence. |
Since: Phase 16
defn
Seeded-Random-free
(Seeded-Random-free [rng])
release a Random capability created by Seeded-Random.
Parameters
| rng | the Random pointer returned by Seeded-Random. |
Since: Phase 16
defn
rand-int
(rand-int [min max])
return a random integer in the inclusive range [min, max].
Parameters
| min | the minimum value (inclusive). | |
| max | the maximum value (inclusive). |
Since: Phase 16
defn
rand-float
(rand-float)
return a random integer scaled to represent [0, 1).
Since: Phase 16
defn
rand-die
(rand-die [sides])
roll an n-sided die, returning a value in [1, sides].
Parameters
| sides | the number of faces on the die. |
Since: Phase 16
defn
rand-bool
(rand-bool)
return a random boolean value.
Since: Phase 16