GenOrderingPoly

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[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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: Any): Boolean

    

    Definition Classes

    AnyRef → Any

13. def finalize(): Unit

    

    Attributes

    protected[java.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[_]

    

    Definition Classes

    AnyRef → Any

17. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

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

24. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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( ... )

33. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

34. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )