GenOrderingPoly

zio.test.poly.GenOrderingPoly$
See theGenOrderingPoly companion trait

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes