Package

org

scalacheck

Permalink

package scalacheck

Visibility
  1. Public
  2. All

Type Members

  1. sealed abstract class Arbitrary[T] extends Serializable

    Permalink
  2. sealed trait Cogen[T] extends Serializable

    Permalink
  3. trait CogenLowPriority extends AnyRef

    Permalink
  4. sealed abstract class Gen[+T] extends Serializable

    Permalink
  5. sealed abstract class Prop extends Serializable

    Permalink
    Annotations
    @EnableReflectiveInstantiation()
  6. sealed class PropFromFun extends Prop

    Permalink

    Helper class to satisfy ScalaJS compilation.

    Helper class to satisfy ScalaJS compilation. Do not use this directly, use Prop.apply instead.

  7. class Properties extends AnyRef

    Permalink

    Represents a collection of properties, with convenient methods for checking all properties at once.

    Represents a collection of properties, with convenient methods for checking all properties at once. This class is itself a property, which holds if and only if all of the contained properties hold.

    Properties are added in the following way:

    object MyProps extends Properties("MyProps") {
      property("myProp1") = forAll { (n:Int, m:Int) =>
        n+m == m+n
      }
    }
    Annotations
    @EnableReflectiveInstantiation()
  8. sealed abstract class Shrink[T] extends Serializable

    Permalink
  9. final class ShrinkFractional[T] extends Shrink[T]

    Permalink
  10. final class ShrinkIntegral[T] extends Shrink[T]

    Permalink
  11. trait ShrinkLowPriority extends AnyRef

    Permalink

Value Members

  1. object Arbitrary extends ArbitraryLowPriority with ArbitraryArities with Serializable

    Permalink

    Defines implicit org.scalacheck.Arbitrary instances for common types.

    Defines implicit org.scalacheck.Arbitrary instances for common types.

    ScalaCheck uses implicit org.scalacheck.Arbitrary instances when creating properties out of functions with the Prop.property method, and when the Arbitrary.arbitrary method is used. For example, the following code requires that there exists an implicit Arbitrary[MyClass] instance:

    val myProp = Prop.forAll { myClass: MyClass =>
      ...
    }
    
    val myGen = Arbitrary.arbitrary[MyClass]

    The required implicit definition could look like this:

    implicit val arbMyClass: Arbitrary[MyClass] = Arbitrary(...)

    The factory method Arbitrary(...) takes a generator of type Gen[T] and returns an instance of Arbitrary[T].

    The Arbitrary module defines implicit org.scalacheck.Arbitrary instances for common types, for convenient use in your properties and generators.

  2. object Cogen extends CogenArities with CogenLowPriority with Serializable

    Permalink
  3. object Gen extends GenArities with Serializable

    Permalink
  4. object Prop extends Serializable

    Permalink
  5. object Shrink extends ShrinkLowPriority with Serializable

    Permalink
  6. object Test

    Permalink
  7. package commands

    Permalink
  8. package rng

    Permalink
  9. package util

    Permalink

Ungrouped