Value Members

1.  def arbitraryRefType[F[_, _], T, P](gen: Gen[T])(implicit rt: RefType[F]): Arbitrary[F[T, P]]
2.  def checkArbitraryRefType[F[_, _], T, P](implicit arb: Arbitrary[F[T, P]], rt: RefType[F], v: Validate[T, P]): Prop
3.  implicit def refTypeCogen[F[_, _], T, P](implicit arg0: Cogen[T], rt: RefType[F]): Cogen[F[T, P]]
4.  object any

   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.

5.  object boolean

   Module that provides Arbitrary instances for logical predicates.

6.  object char

   Module that provides Arbitrary instances for Char related predicates.

7.  object generic

   Module that provides Arbitrary instances for generic predicates.

8.  object numeric

   Module that provides Arbitrary instances and generators for numeric predicates.

9.  object string

   Module that provides Arbitrary instances for String related predicates.