package scalacheck
- Source
- package.scala
- Alphabetic
- By Inheritance
- scalacheck
- RefTypeInstances
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- trait AnyInstances extends AnyRef
- trait BooleanInstances extends AnyRef
- trait CharInstances extends AnyRef
- trait CollectionInstances extends AnyRef
- trait CollectionInstancesBinCompat1 extends AnyRef
- trait GenericInstances extends AnyRef
- trait NumericInstances extends AnyRef
- trait NumericInstancesBinCompat1 extends AnyRef
- trait RefTypeInstances extends AnyRef
- trait StringInstances extends AnyRef
- trait StringInstancesBinCompat1 extends AnyRef
Value Members
- def arbitraryRefType[F[_, _], T, P](gen: Gen[T])(implicit rt: RefType[F]): Arbitrary[F[T, P]]
- Definition Classes
- RefTypeInstances
- def checkArbitraryRefType[F[_, _], T, P](implicit arb: Arbitrary[F[T, P]], rt: RefType[F], v: Validate[T, P]): Prop
- Definition Classes
- RefTypeInstances
- def checkArbitraryRefinedType[FTP](implicit arb: Arbitrary[FTP], rt: RefinedType[FTP]): Prop
- Definition Classes
- RefTypeInstances
- implicit def refTypeCogen[F[_, _], T, P](implicit arg0: Cogen[T], rt: RefType[F]): Cogen[F[T, P]]
- Definition Classes
- RefTypeInstances
- object all extends BooleanInstances with CharInstances with GenericInstances with NumericInstances with NumericInstancesBinCompat1 with RefTypeInstances with StringInstances with StringInstancesBinCompat1 with CollectionInstances with CollectionInstancesBinCompat1
- object any extends AnyInstances
Module that provides an
Arbitrary
instance for any refined typeF[T, P]
.Module that provides an
Arbitrary
instance for any refined typeF[T, P]
.This instance uses the
Arbitrary
instance of the base typeT
and the correspondingValidate[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. - object boolean extends BooleanInstances
Module that provides
Arbitrary
instances for logical predicates. - object char extends CharInstances
Module that provides
Arbitrary
instances forChar
related predicates. - object collection extends CollectionInstances with CollectionInstancesBinCompat1
Module that provides
Arbitrary
instances for collection predicates. - object generic extends GenericInstances
Module that provides
Arbitrary
instances for generic predicates. - object numeric extends NumericInstances with NumericInstancesBinCompat1
Module that provides
Arbitrary
instances and generators for numeric predicates. - object reftype extends RefTypeInstances
- object string extends StringInstances with StringInstancesBinCompat1
Module that provides
Arbitrary
instances forString
related predicates.