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

[Source]

class ref ForAll4[T1: T1, T2: T2, T3: T3, T4: T4]

Constructors

create

[Source]

new ref create(
  gen1': Generator[T1] val,
  gen2': Generator[T2] val,
  gen3': Generator[T3] val,
  gen4': Generator[T4] val,
  h: TestHelper val)
: ForAll4[T1, T2, T3, T4] ref^

Parameters

• gen1': Generator[T1] val
• gen2': Generator[T2] val
• gen3': Generator[T3] val
• gen4': Generator[T4] val
• h: TestHelper val

Returns

• ForAll4[T1, T2, T3, T4] ref^

---

Public Functions

apply

[Source]

fun ref apply(
  prop: {(T1, T2, T3, T4, PropertyHelper) ?}[T1, T2, T3, T4] val)
: None val ?

Parameters

• prop: {(T1, T2, T3, T4, PropertyHelper) ?}[T1, T2, T3, T4] val

Returns

• None val ?

---