Constructs an instance of TypeWith
using the specified value,
existentially hiding the underlying type.
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[List[T]]
and Ordering[List[T]]
exist for any type for which Gen[T]
and Ordering[T]
exist.
Provides evidence that instances of Gen
and Ordering
exist for longs.
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
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.
Provides evidence that instances of Gen[Vector[T]]
and
Ordering[Vector[T]]
exist for any type for which Gen[T]
and
Ordering[T]
exist.