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
|