Skip to content

GenObj[T: T]

[Source]

trait box GenObj[T: T]

Public Functions

generate

[Source]

fun box generate(
  rnd: Randomness ref)
: (T^ | (T^ , Iterator[T^] ref)) ?

Parameters

Returns


shrink

[Source]

fun box shrink(
  t: T)
: (T^ , Iterator[T^] ref)

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)
: (T^ , Iterator[T^] ref) ?

Parameters

Returns


iter

[Source]

fun box iter(
  rnd: Randomness ref)
: Iterator[(T^ | (T^ , Iterator[T^] ref))] 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[(T^ , Iterator[T^] ref)] ref

Parameters

Returns