ScalaCheck 1.0
|
|
scalacheck/Prop.scala
]
class
Prop(g : (Params) => Option[Result])
extends
Gen[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 |
ScalaCheck 1.0
|
|