eu.timepit.refined

scalacheck

package scalacheck

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. scalacheck
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

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. object string

    Module that provides Arbitrary instances for String related predicates.

  9. package util

Inherited from AnyRef

Inherited from Any

Ungrouped