Object/Class

scalaprops

Property

Related Docs: class Property | package scalaprops

Permalink

object Property extends Serializable

Source
Property.scala
Linear Supertypes
Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Property
  2. Serializable
  3. Serializable
  4. AnyRef
  5. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object NoShrink

    Permalink
  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  9. def exception(p: ⇒ Property): Property

    Permalink
  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. def forAll[A1, A2, A3, A4, A5](f: (A1, A2, A3, A4, A5) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4], A5: Gen[A5]): Property

    Permalink
  12. def forAll[A1, A2, A3, A4](f: (A1, A2, A3, A4) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4]): Property

    Permalink
  13. def forAll[A1, A2, A3](f: (A1, A2, A3) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3]): Property

    Permalink
  14. def forAll[A1, A2](f: (A1, A2) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2]): Property

    Permalink
  15. def forAll[A1](f: (A1) ⇒ Boolean)(implicit A1: Gen[A1]): Property

    Permalink
  16. def forAll(result: ⇒ Boolean): Property

    Permalink
  17. 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): Property

    Permalink

    forAll with explicit Gen

  18. def forAllG[A1, A2, A3, A4](A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4])(f: (A1, A2, A3, A4) ⇒ Boolean): Property

    Permalink

    forAll with explicit Gen

  19. def forAllG[A1, A2, A3](A1: Gen[A1], A2: Gen[A2], A3: Gen[A3])(f: (A1, A2, A3) ⇒ Boolean): Property

    Permalink

    forAll with explicit Gen

  20. def forAllG[A1, A2](A1: Gen[A1], A2: Gen[A2])(f: (A1, A2) ⇒ Boolean): Property

    Permalink

    forAll with explicit Gen

  21. def forAllG[A1](A1: Gen[A1])(f: (A1) ⇒ Boolean): Property

    Permalink

    forAll with explicit Gen

  22. def forall0[A](g: Gen[A], shrink: Shrink[A])(f: (A) ⇒ Property): Property

    Permalink
  23. def fromGen(g: Gen[Result]): Property

    Permalink
  24. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  25. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  26. def implies(b: ⇒ Boolean, p: ⇒ Property): Property

    Permalink
  27. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  28. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  29. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  30. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  31. val prop: (Boolean) ⇒ Property

    Permalink
  32. def propFromResult(r: Result): Property

    Permalink
  33. def propFromResultLazy(r: Need[Result]): Property

    Permalink
  34. def property[A1, A2, A3](f: (A1, A2, A3) ⇒ Property)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], S1: Shrink[A1], S2: Shrink[A2], S3: Shrink[A3]): Property

    Permalink
  35. def property[A1, A2](f: (A1, A2) ⇒ Property)(implicit A1: Gen[A1], A2: Gen[A2], S1: Shrink[A1], S2: Shrink[A2]): Property

    Permalink
  36. def property[A1](f: (A1) ⇒ Property)(implicit A1: Gen[A1], S1: Shrink[A1]): Property

    Permalink
  37. def property1[A1](f: (A1) ⇒ Property)(implicit A1: Gen[A1], S1: Shrink[A1]): Property

    Permalink
  38. def property2[A1, A2](f: (A1, A2) ⇒ Property)(implicit A1: Gen[A1], A2: Gen[A2], S1: Shrink[A1], S2: Shrink[A2]): Property

    Permalink
  39. def property3[A1, A2, A3](f: (A1, A2, A3) ⇒ Property)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], S1: Shrink[A1], S2: Shrink[A2], S3: Shrink[A3]): Property

    Permalink
  40. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  41. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  42. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped