Constructs an instance of GenIntegralPoly
using the specified Gen
and Integral
instances, existentially hiding the underlying type.
Provides evidence that instances of Gen
and Integral
exist for bytes.
Provides evidence that instances of Gen
and Integral
exist for
characters.
A generator of polymorphic values constrainted to have an Integral
instance.
Provides evidence that instances of Gen
and Integral
exist for
integers.
Provides evidence that instances of Gen
and Integral
exist for longs.
Provides evidence that instances of Gen
and Integral
exist for shorts.