Skip to content

Property2[T1: T1, T2: T2]

[Source] 

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

Implements

Public Functions

gen1

[Source]

The Generator for the first argument to your property2.

fun box gen1()
: Generator[T1] box

Returns

gen2

[Source]

The Generator for the second argument to your property2.

fun box gen2()
: Generator[T2] box

Returns

gen

[Source]

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

Returns

property

[Source]

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

Parameters

Returns

property2

[Source]

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

fun ref property2(
  arg1: T1,
  arg2: T2,
  h: PropertyHelper val)
: None val ?

Parameters

Returns

name

[Source]

fun box name()
: String val

Returns

params

[Source]

fun box params()
: PropertyParams val

Returns