Scala 2

API Specification

This document is the API specification for ScalaCheck 1.0

Class Summary
sealed class Arb [T] extends AnyRef
Dummy type that helps Scala's type inference a bit.
abstract class Arbitrary [T] extends AnyRef
The Arbitrary[T] class represents a type T that can be instantiated arbitrarily. To make your own "instance" of the Arbitrary class for a type T, define an implicit function that takes a value of type Arb[T] and returns a value of type Arbitrary[T]. The Arb[T] value has no meaning in itself, its just there to make type inference work a bit better. Do not try to use the Arb[T] value in your implicit function, it will always be null.
class Gen [+T](g : (Params) => Option[T]) extends AnyRef
Class that represents a generator.
class Prop (g : (Params) => Option[Result]) extends Gen[Result]
A property is a generator that generates a property result
trait RandomGenerator extends AnyRef
trait Testable extends AnyRef
Object Summary
object Arbitrary extends AnyRef
Contains Arbitrary instances for common types.
object ConsoleReporter extends AnyRef
object Gen extends Testable
Contains combinators for building generators.
object Prop extends Testable
object StdRand extends RandomGenerator
object Test extends AnyRef
object Util extends AnyRef