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 an
Arbitrary
instance for any refined typeF[T, P]
.This instance uses the
Arbitrary
instance of the base typeT
and the correspondingValidate[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.