Fresh & Random

< Throw & Bracket | Up: Foundational Effects | Index | FxList >

Deterministic value generation for IDs and randomness.

Fresh

Unique identifier generation:

id <- Fresh.fresh_uuid()           # generate a UUID

Handlers:

# Production: UUID7 (time-ordered, unique)
computation |> Fresh.with_uuid7_handler()

# Test: deterministic UUID5 from a namespace + counter
computation |> Fresh.with_test_handler()

Random

Pure random number generation:

n <- Random.random()               # 0.0–1.0 float
n <- Random.random_int(1, 100)     # integer in range
x <- Random.random_element(list)   # random element
shuffled <- Random.shuffle(list)   # Fisher-Yates

Handlers:

# Production: system :rand
computation |> Random.with_handler()

# Test: fixed seed (deterministic sequence)
computation |> Random.with_seed_handler(seed: 42)

# Test: fixed values in order
computation |> Random.with_fixed_handler(values: [0.5, 0.2, 0.9])

< Throw & Bracket | Up: Foundational Effects | Index | FxList >