GenIntegralPoly

zio.test.poly.GenIntegralPoly
See theGenIntegralPoly companion trait

Attributes

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

Members list

Value members

Concrete methods

def apply[A](gen: Gen[Any, A], num: Integral[A]): GenIntegralPoly

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

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

Attributes

def byte(implicit trace: Trace): GenIntegralPoly

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

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

Attributes

def char(implicit trace: Trace): GenIntegralPoly

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

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

Attributes

def genIntegralPoly(implicit trace: Trace): Gen[Any, GenIntegralPoly]

A generator of polymorphic values constrainted to have an Integral instance.

A generator of polymorphic values constrainted to have an Integral instance.

Attributes

def int(implicit trace: Trace): GenIntegralPoly

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

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

Attributes

def long(implicit trace: Trace): GenIntegralPoly

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

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

Attributes

def short(implicit trace: Trace): GenIntegralPoly

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

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

Attributes