org.scalacheck

Gen

sealed trait Gen[+T] extends AnyRef

Class that represents a generator.

Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Gen
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. final class GenWithFilter[+A] extends AnyRef

Abstract Value Members

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

Concrete Value Members

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

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

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

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

  5. final def ##(): Int

    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. final def ==(arg0: AnyRef): Boolean

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

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

  12. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  13. def clone(): AnyRef

    Attributes
    protected[java.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. final def eq(arg0: AnyRef): Boolean

    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[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  23. def flatMap[U](f: (T) ⇒ Gen[U]): Gen[U]

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

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

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

    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. final def ne(arg0: AnyRef): Boolean

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

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

    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. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  41. def toString(): String

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

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

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

    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

Inherited from AnyRef

Inherited from Any

Ungrouped