case class GenT[A](run: (Size, Seed) => Tree[(Seed, Option[A])]) extends Product with Serializable

Generator for random values of A.

Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GenT
  2. Serializable
  3. Product
  4. Equals
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new GenT(run: (Size, Seed) => Tree[(Seed, Option[A])])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  6. def ensure(p: (A) => Boolean): GenT[A]

    Discards the generator if the generated value does not satisfy the predicate.

  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def filter(p: (A) => Boolean): GenT[A]

    Generates a value that satisfies a predicate.

    Generates a value that satisfies a predicate.

    We keep some state to avoid looping forever. If we trigger these limits then the whole generator is discarded.

  9. def flatMap[B](f: (A) => GenT[B]): GenT[B]
  10. def forAll: PropertyT[A]
  11. def forAllWithLog(f: (A) => Log): PropertyT[A]
  12. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  13. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  14. def lift: PropertyT[A]
  15. def list(range: Range[Int]): GenT[List[A]]

    Generates a list using a 'Range' to determine the length.

  16. def log(name: Name): PropertyT[A]

    *******************************************************************

  17. def map[B](f: (A) => B): GenT[B]
  18. def mapTree[B](f: (Tree[(Seed, Option[A])]) => Tree[(Seed, Option[B])]): GenT[B]
  19. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  22. def option: GenT[Option[A]]

    Generates a 'None' some of the time.

  23. def productElementNames: Iterator[String]
    Definition Classes
    Product
  24. def prune: GenT[A]

    Throw away a generator's shrink tree.

  25. def resize(size: Size): GenT[A]

    Override the size parameter.

    Override the size parameter. Returns a generator which uses the given size instead of the runtime-size parameter.

  26. val run: (Size, Seed) => Tree[(Seed, Option[A])]
  27. def scale(f: (Size) => Size): GenT[A]

    Adjust the size parameter by transforming it with the given function.

  28. def shrink(f: (A) => List[A]): GenT[A]

    Apply a shrinking function to a generator.

  29. def small: GenT[A]

    Make a generator smaller by scaling its size parameter.

  30. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  31. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  32. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  33. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  34. def withFilter(p: (A) => Boolean): GenT[A]

    Generates a value that satisfies a predicate.

    Generates a value that satisfies a predicate.

    Equivalent to filter and is used in for-comprehensions.

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped