| Class Summary | |
sealed abstract class
|
Arbitrary
[T] extends AnyRef
|
case class
|
Arg
[T](val label : java.lang.String, val arg : T, val shrinks : Int, val origArg : T, val prettyPrinter : (T) => Pretty) extends scala.Product
|
trait
|
Commands
extends Prop
See User Guide for usage examples
|
sealed trait
|
Gen
[+T] extends AnyRef
Class that represents a generator.
|
sealed trait
|
Pretty
extends AnyRef
|
trait
|
Prop
extends AnyRef
A property is a generator that generates a property result
|
class
|
Properties
(val name : java.lang.String) extends Prop
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.
|
sealed abstract class
|
Shrink
[T] extends AnyRef
|
| Object Summary | |
object
|
Arbitrary
extends AnyRef
Defines implicit
Arbitrary instances for common types. |
object
|
Arg
extends AnyRef
|
object
|
ConsoleReporter
extends AnyRef
|
object
|
Gen
extends AnyRef
Contains combinators for building generators.
|
object
|
Pretty
extends AnyRef
|
object
|
Prop
extends AnyRef
|
object
|
Shrink
extends AnyRef
|
object
|
Test
extends AnyRef
|