Property4[T1: T1, T2: T2, T3: T3, T4: T4]¶

[Source]

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

Implements¶

Property1[(T1 , T2 , T3 , T4)] ref

Public Functions¶

gen1¶

[Source]

The Generator for the first argument to your property4 method.

fun box gen1()
: Generator[T1] box

Returns¶

Generator[T1] box

gen2¶

[Source]

The Generator for the second argument to your property4 method.

fun box gen2()
: Generator[T2] box

Returns¶

Generator[T2] box

gen3¶

[Source]

The Generator for the third argument to your property4 method.

fun box gen3()
: Generator[T3] box

Returns¶

Generator[T3] box

gen4¶

[Source]

The Generator for the fourth argument to your property4 method.

fun box gen4()
: Generator[T4] box

Returns¶

Generator[T4] box

gen¶

[Source]

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

Returns¶

Generator[(T1 , T2 , T3 , T4)] box

property¶

[Source]

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

Parameters¶

arg1: (T1 , T2 , T3 , T4)
h: PropertyHelper val

Returns¶

None val ?

property4¶

[Source]

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

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

Parameters¶

arg1: T1
arg2: T2
arg3: T3
arg4: T4
h: PropertyHelper val

Returns¶

None val ?

name¶

[Source]

fun box name()
: String val

Returns¶

String val

params¶

[Source]

fun box params()
: PropertyParams val

Returns¶

PropertyParams val