Property3[T1: T1, T2: T2, T3: T3]¶

trait ref Property3[T1: T1, T2: T2, T3: T3] is
  Property1[(T1 , T2 , T3)] ref

Public Functions¶

The Generator for the first argument to your property3 method.

fun box gen1()
: Generator[T1] box

The Generator for the second argument to your property3 method.

fun box gen2()
: Generator[T2] box

The Generator for the third argument to your property3 method.

fun box gen3()
: Generator[T3] box

fun box gen()
: Generator[(T1 , T2 , T3)] box

fun ref property(
  arg1: (T1 , T2 , T3),
  h: PropertyHelper val)
: None val ?

A method verifying that a certain property holds for all given arg1,arg2, and arg3 with the help of PropertyHelper h.

fun ref property3(
  arg1: T1,
  arg2: T2,
  arg3: T3,
  h: PropertyHelper val)
: None val ?

fun box name()
: String val

fun box params()
: PropertyParams val