Skip to content

GenObj[T: T]

[Source] 

trait box GenObj[T: T]

Public Functions

generate

[Source]

fun box generate(
  rnd: Randomness ref)
: GenerateResult[T] ?

Parameters

Returns

shrink

[Source]

fun box shrink(
  t: T)
: ValueAndShrink[T]

Parameters

  • t: T

Returns

generate_value

[Source]

Simply generate a value and ignore any possible shrink values.

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

Parameters

Returns

  • T^ ?

generate_and_shrink

[Source]

Generate a value and also return a shrink result, even if the generator does not return any when calling generate.

fun box generate_and_shrink(
  rnd: Randomness ref)
: ValueAndShrink[T] ?

Parameters

Returns

iter

[Source]

fun box iter(
  rnd: Randomness ref)
: Iterator[GenerateResult[T]] ref^

Parameters

Returns

value_iter

[Source]

fun box value_iter(
  rnd: Randomness ref)
: Iterator[T^] ref

Parameters

Returns

value_and_shrink_iter

[Source]

fun box value_and_shrink_iter(
  rnd: Randomness ref)
: Iterator[ValueAndShrink[T]] ref

Parameters

Returns