org.scalacheck

Gen

trait Gen [+T] extends AnyRef

Class that represents a generator.

Attributes
sealed
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Gen
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

Type Members

  1. class GenWithFilter [+A] extends AnyRef

    Attributes
    final

Abstract Value Members

  1. def apply (prms: Params): Option[T]

    Attributes
    abstract

Concrete Value Members

  1. def != [U] (g: Gen[U]): Prop

  2. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  3. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  4. def !== [U] (g: Gen[U]): Prop

  5. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any
  6. def :| (l: Symbol): Gen[T]

    Put a label on the generator to make test reports clearer

  7. def :| (l: String): Gen[T]

    Put a label on the generator to make test reports clearer

  8. def == [U] (g: Gen[U]): Prop

    Returns a new property that holds if and only if both this and the given generator generates the same result, or both generators generate no result.

  9. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  10. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  11. def ap [U] (g: Gen[(T) ⇒ U]): Gen[U]

  12. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  13. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  14. def combine [U, V] (g: Gen[U])(f: (Option[T], Option[U]) ⇒ Option[V]): Gen[V]

  15. def combine3 [U, V, W] (gu: Gen[U], gv: Gen[V])(f: (Option[T], Option[U], Option[V]) ⇒ Option[W]): Gen[W]

  16. def combine4 [U, V, W, X] (gu: Gen[U], gv: Gen[V], gw: Gen[W])(f: (Option[T], Option[U], Option[V], Option[W]) ⇒ Option[X]): Gen[X]

  17. def combine5 [U, V, W, X, Y] (gu: Gen[U], gv: Gen[V], gw: Gen[W], gx: Gen[X])(f: (Option[T], Option[U], Option[V], Option[W], Option[X]) ⇒ Option[Y]): Gen[Y]

  18. def combine6 [U, V, W, X, Y, Z] (gu: Gen[U], gv: Gen[V], gw: Gen[W], gx: Gen[X], gy: Gen[Y])(f: (Option[T], Option[U], Option[V], Option[W], Option[X], Option[Y]) ⇒ Option[Z]): Gen[Z]

  19. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  20. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  21. def filter (p: (T) ⇒ Boolean): Gen[T]

  22. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  23. def flatMap [U] (f: (T) ⇒ Gen[U]): Gen[U]

  24. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef
  25. def hashCode (): Int

    Definition Classes
    AnyRef → Any
  26. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  27. def label (l: String): Gen[T]

    Put a label on the generator to make test reports clearer

  28. var label : String

  29. def map [U] (f: (T) ⇒ U): Gen[U]

  30. def map2 [U, V] (g: Gen[U])(f: (T, U) ⇒ V): Gen[V]

  31. def map3 [U, V, W] (gu: Gen[U], gv: Gen[V])(f: (T, U, V) ⇒ W): Gen[W]

  32. def map4 [U, V, W, X] (gu: Gen[U], gv: Gen[V], gw: Gen[W])(f: (T, U, V, W) ⇒ X): Gen[X]

  33. def map5 [U, V, W, X, Y] (gu: Gen[U], gv: Gen[V], gw: Gen[W], gx: Gen[X])(f: (T, U, V, W, X) ⇒ Y): Gen[Y]

  34. def map6 [U, V, W, X, Y, Z] (gu: Gen[U], gv: Gen[V], gw: Gen[W], gx: Gen[X], gy: Gen[Y])(f: (T, U, V, W, X, Y) ⇒ Z): Gen[Z]

  35. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  36. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  37. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  38. def sample : Option[T]

    Generates a sample value by using default parameters

  39. def suchThat (p: (T) ⇒ Boolean): Gen[T]

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

    Attributes
    final
    Definition Classes
    AnyRef
  41. def toString (): String

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

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  45. def withFilter (p: (T) ⇒ Boolean): GenWithFilter[T]

  46. def | [U >: T] (g: Gen[U]): Gen[U]

  47. def |: (l: Symbol): Gen[T]

    Put a label on the generator to make test reports clearer

  48. def |: (l: String): Gen[T]

    Put a label on the generator to make test reports clearer

  49. def === [U] (g: Gen[U]): Prop

    Returns a new property that holds if and only if both this and the given generator generates the same result, or both generators generate no result.

    Returns a new property that holds if and only if both this and the given generator generates the same result, or both generators generate no result.

    Annotations
    @deprecated
    Deprecated

    Use == instead

Inherited from AnyRef

Inherited from Any