GenOrderingPoly

Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[A](gen: Gen[Any, A], ord: Ordering[A]): GenOrderingPoly

Constructs an instance of GenOrderingPoly using the specified Gen and Ordering instances, existentially hiding the underlying type.

Constructs an instance of GenOrderingPoly using the specified Gen and Ordering instances, existentially hiding the underlying type.

def boolean(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen and a Ordering exist for booleans.

Provides evidence that instances of Gen and a Ordering exist for booleans.

def byte(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen and Ordering exist for bytes.

Provides evidence that instances of Gen and Ordering exist for bytes.

def char(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen and Ordering exist for characters.

Provides evidence that instances of Gen and Ordering exist for characters.

def double(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen and Ordering exist for doubles.

Provides evidence that instances of Gen and Ordering exist for doubles.

def float(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen and Ordering exist for floats.

Provides evidence that instances of Gen and Ordering exist for floats.

def genOrderingPoly(implicit trace: Trace): Gen[Any, GenOrderingPoly]
def int(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen and Ordering exist for integers.

Provides evidence that instances of Gen and Ordering exist for integers.

def list(poly: GenOrderingPoly)(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen[List[T]] and Ordering[List[T]] exist for any type for which Gen[T] and Ordering[T] exist.

Provides evidence that instances of Gen[List[T]] and Ordering[List[T]] exist for any type for which Gen[T] and Ordering[T] exist.

def long(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen and Ordering exist for longs.

Provides evidence that instances of Gen and Ordering exist for longs.

def option(poly: GenOrderingPoly)(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen[Option[T]] and Ordering[Option[T]] exist for any type for which Gen[T] and Ordering[T] exist.

Provides evidence that instances of Gen[Option[T]] and Ordering[Option[T]] exist for any type for which Gen[T] and Ordering[T] exist.

def short(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen and Ordering exist for shorts.

Provides evidence that instances of Gen and Ordering exist for shorts.

def string(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen and Ordering exist for strings.

Provides evidence that instances of Gen and Ordering exist for strings.

def unit(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen and Ordering exist for the unit value.

Provides evidence that instances of Gen and Ordering exist for the unit value.

def vector(poly: GenOrderingPoly)(implicit trace: Trace): GenOrderingPoly

Provides evidence that instances of Gen[Vector[T]] and Ordering[Vector[T]] exist for any type for which Gen[T] and Ordering[T] exist.

Provides evidence that instances of Gen[Vector[T]] and Ordering[Vector[T]] exist for any type for which Gen[T] and Ordering[T] exist.