Property3[T1: T1, T2: T2, T3: T3]¶
trait ref Property3[T1: T1, T2: T2, T3: T3] is
Property1[(T1 , T2 , T3)] ref
Implements¶
- Property1[(T1 , T2 , T3)] ref
Public Functions¶
gen1¶
The Generator for the first argument to your property3 method.
fun box gen1()
: Generator[T1] box
Returns¶
- Generator[T1] box
gen2¶
The Generator for the second argument to your property3 method.
fun box gen2()
: Generator[T2] box
Returns¶
- Generator[T2] box
gen3¶
The Generator for the third argument to your property3 method.
fun box gen3()
: Generator[T3] box
Returns¶
- Generator[T3] box
gen¶
fun box gen()
: Generator[(T1 , T2 , T3)] box
Returns¶
- Generator[(T1 , T2 , T3)] box
property¶
fun ref property(
arg1: (T1 , T2 , T3),
h: PropertyHelper val)
: None val ?
Parameters¶
- arg1: (T1 , T2 , T3)
- h: PropertyHelper val
Returns¶
- None val ?
property3¶
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 ?
Parameters¶
- arg1: T1
- arg2: T2
- arg3: T3
- h: PropertyHelper val
Returns¶
- None val ?
name¶
fun box name()
: String val
Returns¶
- String val
params¶
fun box params()
: PropertyParams val
Returns¶
- PropertyParams val