scalacheck

Value Members

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

   

2. object any extends AnyInstances

   

   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.

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 with CollectionInstancesBinCompat1

   

   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 with NumericInstancesBinCompat1

    

    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 with StringInstancesBinCompat1

    

    Module that provides Arbitrary instances for String related predicates.

14. package util