| Class Summary | |
sealed trait
|
Arbitrary
[T] extends AnyRef
|
case class
|
Arg
(val label : java.lang.String, val arg : Any, val shrinks : Int) extends scala.Product
|
trait
|
Buildable
[C] extends AnyRef
|
trait
|
Builder
[C, T] extends AnyRef
|
trait
|
Commands
extends AnyRef
See User Guide for usage examples
|
class
|
Gen
[+T](g : (Params) => scala.Option[T]) extends AnyRef
Class that represents a generator.
|
class
|
Prop
(g : (Params) => scala.Option[Result]) extends Gen[Result]
A property is a generator that generates a property result
|
trait
|
Properties
extends AnyRef
Represents a collection of properties, with convenient methods
for checking all properties at once. Properties are added to this
collection through the
specify methods. |
trait
|
RandomGenerator
extends AnyRef
|
sealed trait
|
Shrink
[T] extends AnyRef
|
| Object Summary | |
object
|
Arbitrary
extends AnyRef
Defines implicit
Arbitrary instances for common types. |
object
|
Arg
extends (java.lang.String, Any, Int) => Arg
|
object
|
Buildable
extends AnyRef
|
object
|
ConsoleReporter
extends AnyRef
|
object
|
Gen
extends Properties
Contains combinators for building generators.
|
object
|
Prop
extends Properties
|
object
|
Shrink
extends AnyRef
|
object
|
StdRand
extends RandomGenerator
|
object
|
Test
extends AnyRef
|
object
|
Util
extends AnyRef
|