hedgehog-core/hedgehog.core/GenT

GenT

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

Generator for random values of A.

Generator for random values of A.

Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def ensure(p: A => Boolean): GenT[A]

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

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

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.

def flatMap[B](f: A => GenT[B]): GenT[B]
def forAll: PropertyT[A]
def forAllWithLog(f: A => Log): PropertyT[A]
def lift: PropertyT[A]
def list(range: Range[Int]): GenT[List[A]]

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

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

def log(name: Name): PropertyT[A]
def map[B](f: A => B): GenT[B]
def mapTree[B](f: Tree[(Seed, Option[A])] => Tree[(Seed, Option[B])]): GenT[B]
def option: GenT[Option[A]]

Generates a 'None' some of the time.

Generates a 'None' some of the time.

def prune: GenT[A]

Throw away a generator's shrink tree.

Throw away a generator's shrink tree.

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

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

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

def scale(f: Size => Size): GenT[A]

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

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

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

Apply a shrinking function to a generator.

Apply a shrinking function to a generator.

def small: GenT[A]

Make a generator smaller by scaling its size parameter.

Make a generator smaller by scaling its size parameter.

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.

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product