GenPoly

Constructs an instance of TypeWith using the specified value, 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.