Module that provides an Arbitrary
instance for any refined type
F[T, P]
.
Module that provides an Arbitrary
instance for any refined type
F[T, P]
.
This instance uses the Arbitrary
instance of the base type T
and
the corresponding Validate[T, P]
instance of the refinement to filter
out invalid values. For most refinements this will cause ScalaCheck to
fail because this instance will discard too many values.
Module that provides Arbitrary
instances for logical predicates.
Module that provides Arbitrary
instances for Char
related
predicates.
Module that provides Arbitrary
instances for collection predicates.
Module that provides Arbitrary
instances for generic predicates.
Module that provides Arbitrary
instances and generators for
numeric predicates.
Module that provides Arbitrary
instances for String
related
predicates.