Skip to content

GenObj[T: T]

[Source]

Pure function of a Randomness source that produces a random value. Every random decision during generation is recorded. Shrunk values are produced by replaying generators against mutated decision sequences.

trait box GenObj[T: T]

Public Functions

generate

[Source]

Produce a random value from the given source of randomness.

fun box generate(
  rnd: Randomness ref)
: T^ ?

Parameters

Returns

  • T^ ?