object
Prop
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
def
forAll[A1, A2, A3, A4, A5](f: (A1, A2, A3, A4, A5) ⇒ Boolean)(implicit param: scalaprops.Param, A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4], A5: Gen[A5]): TestCase[(A1, A2, A3, A4, A5)]
-
def
forAll[A1, A2, A3, A4](f: (A1, A2, A3, A4) ⇒ Boolean)(implicit param: scalaprops.Param, A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4]): TestCase[(A1, A2, A3, A4)]
-
def
forAll[A1, A2, A3](f: (A1, A2, A3) ⇒ Boolean)(implicit param: scalaprops.Param, A1: Gen[A1], A2: Gen[A2], A3: Gen[A3]): TestCase[(A1, A2, A3)]
-
def
forAll[A1, A2](f: (A1, A2) ⇒ Boolean)(implicit param: scalaprops.Param, A1: Gen[A1], A2: Gen[A2]): TestCase[(A1, A2)]
-
def
forAll[A1](f: (A1) ⇒ Boolean)(implicit param: scalaprops.Param, A1: Gen[A1]): TestCase[A1]
-
def
forAllG[A1, A2, A3, A4, A5](A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4], A5: Gen[A5])(f: (A1, A2, A3, A4, A5) ⇒ Boolean)(implicit param: scalaprops.Param): TestCase[(A1, A2, A3, A4, A5)]
-
def
forAllG[A1, A2, A3, A4](A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4])(f: (A1, A2, A3, A4) ⇒ Boolean)(implicit param: scalaprops.Param): TestCase[(A1, A2, A3, A4)]
-
def
forAllG[A1, A2, A3](A1: Gen[A1], A2: Gen[A2], A3: Gen[A3])(f: (A1, A2, A3) ⇒ Boolean)(implicit param: scalaprops.Param): TestCase[(A1, A2, A3)]
-
def
forAllG[A1, A2](A1: Gen[A1], A2: Gen[A2])(f: (A1, A2) ⇒ Boolean)(implicit param: scalaprops.Param): TestCase[(A1, A2)]
-
def
forAllG[A1](A1: Gen[A1])(f: (A1) ⇒ Boolean)(implicit param: scalaprops.Param): TestCase[A1]
-
def
forAllS[A1, A2, A3, A4, A5](f: (A1, A2, A3, A4, A5) ⇒ Boolean)(implicit param: scalaprops.Param, A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4], A5: Gen[A5], S1: Shrink[A1], S2: Shrink[A2], S3: Shrink[A3], S4: Shrink[A4], S5: Shrink[A5]): TestCase[(A1, A2, A3, A4, A5)]
-
def
forAllS[A1, A2, A3, A4](f: (A1, A2, A3, A4) ⇒ Boolean)(implicit param: scalaprops.Param, A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4], S1: Shrink[A1], S2: Shrink[A2], S3: Shrink[A3], S4: Shrink[A4]): TestCase[(A1, A2, A3, A4)]
-
def
forAllS[A1, A2, A3](f: (A1, A2, A3) ⇒ Boolean)(implicit param: scalaprops.Param, A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], S1: Shrink[A1], S2: Shrink[A2], S3: Shrink[A3]): TestCase[(A1, A2, A3)]
-
def
forAllS[A1, A2](f: (A1, A2) ⇒ Boolean)(implicit param: scalaprops.Param, A1: Gen[A1], A2: Gen[A2], S1: Shrink[A1], S2: Shrink[A2]): TestCase[(A1, A2)]
-
def
forAllS[A1](f: (A1) ⇒ Boolean)(implicit param: scalaprops.Param, A1: Gen[A1], S1: Shrink[A1]): TestCase[A1]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
property[R, A1, A2, A3](f: (A1, A2, A3) ⇒ R)(implicit arg0: AsProperty[R], param: scalaprops.Param, A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], S1: Shrink[A1], S2: Shrink[A2], S3: Shrink[A3]): TestCase[(A1, A2, A3)]
-
def
property[R, A1, A2](f: (A1, A2) ⇒ R)(implicit arg0: AsProperty[R], param: scalaprops.Param, A1: Gen[A1], A2: Gen[A2], S1: Shrink[A1], S2: Shrink[A2]): TestCase[(A1, A2)]
-
def
property[R, A1](f: (A1) ⇒ R)(implicit arg0: AsProperty[R], param: scalaprops.Param, A1: Gen[A1], S1: Shrink[A1]): TestCase[A1]
-
def
property1[R, A1](f: (A1) ⇒ R, param: scalaprops.Param = SParam.withCurrentTimeSeed())(implicit P: AsProperty[R], A1: Gen[A1], S1: Shrink[A1]): TestCase[A1]
-
def
property2[R, A1, A2](f: (A1, A2) ⇒ R, param: scalaprops.Param = SParam.withCurrentTimeSeed())(implicit P: AsProperty[R], A1: Gen[A1], A2: Gen[A2], S1: Shrink[A1], S2: Shrink[A2]): TestCase[(A1, A2)]
-
def
property3[R, A1, A2, A3](f: (A1, A2, A3) ⇒ R, param: scalaprops.Param = SParam.withCurrentTimeSeed())(implicit P: AsProperty[R], A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], S1: Shrink[A1], S2: Shrink[A2], S3: Shrink[A3]): TestCase[(A1, A2, A3)]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any