ScalaCheck 1.2
org.scalacheck

class Prop
[source: org/scalacheck/Prop.scala]
class Prop(g : (Params) => scala.Option[Result])
extends Gen[Result]
A property is a generator that generates a property result
Values and Variables inherited from Gen
label
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, or both properties generate no result.
def addArg (a : Arg) : Prop
override def toString : java.lang.String
def || (p : Prop) : Prop
Returns a new property that holds if either this or the given property (or both) hold.
Methods inherited from Gen
label, apply, map, map2, map3, map4, map5, map6, flatMap, filter, suchThat, combine, combine3, combine4, combine5, combine6, ap, ==, ===, !=, !==, sample
Methods inherited from AnyRef
getClass, hashCode, equals, clone, 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, or both properties generate no result.
def addArg(a : Arg) : Prop
override def toString : java.lang.String
Overrides
Gen.toString
ScalaCheck 1.2