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]) @IntrinsicCandidate() @native()
  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
    @IntrinsicCandidate() @native()
  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
    @IntrinsicCandidate() @native()
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @IntrinsicCandidate() @native()
  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 widen[B >: A]: GenT[B]

    Widens this generator to produce values of a supertype B of A.

    Widens this generator to produce values of a supertype B of A.

    GenT is invariant, so a Gen[Cat] is not a Gen[Animal] even when Cat extends Animal. Use widen to combine generators of subtypes into a generator of their common supertype:

    sealed trait Animal
final case class Cat(name: String) extends Animal
final case class Dog(name: String) extends Animal

// Either name the supertype at each call site:
val genAnimal: Gen[Animal] =
  Gen.choice1(genCat.widen[Animal], genDog.widen[Animal])

// or name it once on the combinator:
val genAnimal2: Gen[Animal] =
  Gen.choice1[Animal](genCat.widen, genDog.widen)

    Prefer naming the target type explicitly, as in both examples above. Leaving it fully inferred (e.g. Gen.choice1(genCat.widen, genDog.widen)) may infer an unintended type such as Animal with Product with Serializable on Scala 2, while Scala 3 infers Animal.

    Sampling and shrinking are unchanged: the widened generator produces exactly the values and shrink tree of the original.

  35. 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

    (Since version 9)

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped