Property[T: T]

[Source]

A property test over one generated argument of type T.

Implement name(), gen(), and property(). Register with test.property(MyProperty).

trait ref Property[T: T]

Public Functions

name

[Source]

The test name.

fun box name()
: String val

Returns

• String val

---

params

[Source]

fun box params()
: PropertyParams val

Returns

• PropertyParams val

---

gen

[Source]

The generator for this property's input type.

fun box gen()
: Generator[T] box

Returns

• Generator[T] box

---

property

[Source]

The property to verify for each generated sample.

fun ref property(
  arg1: T,
  h: PropertyHelper val)
: None val ?

Parameters

• arg1: T
• h: PropertyHelper val

Returns

• None val ?

---