GenOrderingPoly

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

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

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

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

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

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

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

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

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

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

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

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

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

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