Value Members

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

   Definition Classes

   RefTypeInstances

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

   Definition Classes

   RefTypeInstances

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

   Definition Classes

   RefTypeInstances

4.  object all extends BooleanInstances with CharInstances with GenericInstances with NumericInstances with RefTypeInstances with StringInstances
5.  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.

6.  object boolean extends BooleanInstances

   Module that provides Arbitrary instances for logical predicates.

7.  object char extends CharInstances

   Module that provides Arbitrary instances for Char related predicates.

8.  object generic extends GenericInstances

   Module that provides Arbitrary instances for generic predicates.

9.  object numeric extends NumericInstances

   Module that provides Arbitrary instances and generators for numeric predicates.

10.  object reftype extends RefTypeInstances
11.  object string extends StringInstances

    Module that provides Arbitrary instances for String related predicates.