scalacheck

Value Members

1. object all extends BooleanInstances with CharInstances with GenericInstances with NumericInstances with RefTypeInstances with StringInstances with CollectionInstances

2. object any extends AnyInstances

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

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

   Definition Classes

   RefTypeInstances

4. object boolean extends BooleanInstances

   Module that provides Arbitrary instances for logical predicates.

5. object char extends CharInstances

   Module that provides Arbitrary instances for Char related predicates.

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

   Definition Classes

   RefTypeInstances

7. def checkArbitraryRefinedType[FTP](implicit arb: Arbitrary[FTP], rt: RefinedType[FTP]): Prop

   Definition Classes

   RefTypeInstances

8. object collection extends CollectionInstances

   Module that provides Arbitrary instances for collection predicates.

9. object generic extends GenericInstances

   Module that provides Arbitrary instances for generic predicates.

10. object numeric extends NumericInstances

    Module that provides Arbitrary instances and generators for numeric predicates.

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

    Definition Classes

    RefTypeInstances

12. object reftype extends RefTypeInstances

13. object string extends StringInstances

    Module that provides Arbitrary instances for String related predicates.

14. package util