Packages

  • package root
    Definition Classes
    root
  • package zio
    Definition Classes
    root
  • package test

    _ZIO Test_ is a featherweight testing library for effectful programs.

    _ZIO Test_ is a featherweight testing library for effectful programs.

    The library imagines every spec as an ordinary immutable value, providing tremendous potential for composition. Thanks to tight integration with ZIO, specs can use resources (including those requiring disposal), have well- defined linear and parallel semantics, and can benefit from a host of ZIO combinators.

    import zio.test._
    import zio.Clock.nanoTime
    import Assertion.isGreaterThan
    
    object MyTest extends DefaultRunnableSpec {
      def spec = suite("clock")(
        test("time is non-zero") {
          for {
            time <- Live.live(nanoTime)
          } yield assertTrue(time >= 0)
        }
      )
    }
    Definition Classes
    zio
  • package poly
    Definition Classes
    test
  • GenFractionalPoly
  • GenIntegralPoly
  • GenNumericPoly
  • GenOrderingPoly
  • GenPoly

object GenPoly

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GenPoly
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply[A](gen: Gen[Random with Sized, A]): GenPoly

    Constructs an instance of TypeWith using the specified value, existentially hiding the underlying type.

  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def boolean(implicit trace: ZTraceElement): GenPoly

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

  7. def byte(implicit trace: ZTraceElement): GenPoly

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

  8. def char(implicit trace: ZTraceElement): GenPoly

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

  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  10. def double(implicit trace: ZTraceElement): GenPoly

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

  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  14. def float(implicit trace: ZTraceElement): GenPoly

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

  15. def genPoly(implicit trace: ZTraceElement): Gen[Random, GenPoly]
  16. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def int(implicit trace: ZTraceElement): GenPoly

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

  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. def list(poly: GenPoly)(implicit trace: ZTraceElement): GenPoly

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

  21. def long(implicit trace: ZTraceElement): GenPoly

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

  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. def option(poly: GenPoly)(implicit trace: ZTraceElement): GenPoly

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

  26. def short(implicit trace: ZTraceElement): GenPoly

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

  27. def string(implicit trace: ZTraceElement): GenPoly

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

  28. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  29. def toString(): String
    Definition Classes
    AnyRef → Any
  30. def unit(implicit trace: ZTraceElement): GenPoly

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

  31. def vector(poly: GenPoly)(implicit trace: ZTraceElement): GenPoly

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

  32. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  33. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  34. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from AnyRef

Inherited from Any

Ungrouped