scalacheck

Value Members

1. object any

   Module that provides an Arbitrary instance for any refined type F[T, P].

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