scalacheck

class Prop

[source: scalacheck/Prop.scala]

class Prop(g : (Params) => Option[Result])
extends Gen[Result]
A property is a generator that generates a property result
Method Summary
def && (p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property hold. If one of the properties doesn't generate a result, the new property will generate false.
def ++ (p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property hold. If one of the properties doesn't generate a result, the new property will generate the same result as the other property.
def == (p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property generates the same result.
def addArg (arg : Any, shrinks : Int) : Prop
def || (p : Prop) : Prop
Returns a new property that holds if either this or the given property (or both) hold.
Methods inherited from Gen
apply, map, flatMap, filter, suchThat, combine
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Method Details
def &&(p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property hold. If one of the properties doesn't generate a result, the new property will generate false.

def ||(p : Prop) : Prop
Returns a new property that holds if either this or the given property (or both) hold.

def ++(p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property hold. If one of the properties doesn't generate a result, the new property will generate the same result as the other property.

def ==(p : Prop) : Prop
Returns a new property that holds if and only if both this and the given property generates the same result.

def addArg(arg : Any, shrinks : Int) : Prop