random

Random number generation effect.

Classes

HandledRandomRef	Reference for a handled random effect.
RandomEffect	Protocol for the random number generation effect.
RandomEffectImpl	Implementation of the random number generation effect.
RandomRequest	Random number generation request.
TaggedRandomRequest	Random number generation request, with a tag.
WithFrozenRandomState	RandomEffect handler that uses a fixed random state.
WithRandomKeyFromArg	RandomEffect handler that expects a random seed as its second argument.
WithStatefulRandomKey	RandomEffect handler that tracks a random seed as a local state.