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 GenOrderingPoly

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GenOrderingPoly
  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], ord: Ordering[A]): GenOrderingPoly

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

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

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

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

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

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

    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): GenOrderingPoly

    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): GenOrderingPoly

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

  15. def genOrderingPoly(implicit trace: ZTraceElement): Gen[Random, GenOrderingPoly]
  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): GenOrderingPoly

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

  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. def list(poly: GenOrderingPoly)(implicit trace: ZTraceElement): 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.

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

    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: GenOrderingPoly)(implicit trace: ZTraceElement): 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.

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

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

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

    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): GenOrderingPoly

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

  31. def vector(poly: GenOrderingPoly)(implicit trace: ZTraceElement): 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.

  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