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

• rnd: Randomness ref

Returns

• (T^ | (T^ , Iterator[T^] ref)) ?

---

shrink

[Source]

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

Parameters

• t: T

Returns

• (T^ , Iterator[T^] ref)

---

generate_value

[Source]

simply generate a value and ignore any possible shrink values

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

Parameters

• rnd: Randomness ref

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

• rnd: Randomness ref

Returns

• (T^ , Iterator[T^] ref) ?

---

iter

[Source]

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

Parameters

• rnd: Randomness ref

Returns

• Iterator[(T^ | (T^ , Iterator[T^] ref))] ref^

---

value_iter

[Source]

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

Parameters

• rnd: Randomness ref

Returns

• Iterator[T^] ref

---

value_and_shrink_iter

[Source]

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

Parameters

• rnd: Randomness ref

Returns

• Iterator[(T^ , Iterator[T^] ref)] ref

---