zio-test/zio.test.poly/GenIntegralPoly

GenIntegralPoly

object GenIntegralPoly
Companion:
class
class Object
trait Matchable
class Any

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.

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.

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.

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.

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.

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.

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.