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

[Source]

A property with four generated arguments.

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

Implements

• Property[(T1 , T2 , T3 , T4)] ref

---

Public Functions

gen1

[Source]

The generator for the first argument.

fun box gen1()
: Generator[T1] box

Returns

• Generator[T1] box

---

gen2

[Source]

The generator for the second argument.

fun box gen2()
: Generator[T2] box

Returns

• Generator[T2] box

---

gen3

[Source]

The generator for the third argument.

fun box gen3()
: Generator[T3] box

Returns

• Generator[T3] box

---

gen4

[Source]

The generator for the fourth argument.

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]

The property to verify for each generated sample.

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

---