scalacheck

Value Members

1. 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.

2. def arbitraryRefType[F[_, _], T, P](gen: Gen[T])(implicit rt: RefType[F]): Arbitrary[F[T, P]]

   

3. object boolean

   

   Module that provides Arbitrary instances for logical predicates.

4. object char

   

   Module that provides Arbitrary instances for Char related predicates.

5. def checkArbitraryRefType[F[_, _], T, P](implicit arb: Arbitrary[F[T, P]], rt: RefType[F], v: Validate[T, P]): Prop

   

6. object generic

   

   Module that provides Arbitrary instances for generic predicates.

7. object numeric

   

   Module that provides Arbitrary instances and generators for numeric predicates.

8. implicit def refTypeCogen[F[_, _], T, P](implicit arg0: Cogen[T], rt: RefType[F]): Cogen[F[T, P]]

   

9. object string

   

   Module that provides Arbitrary instances for String related predicates.

10. package util