|
scalacheck 1.6 API
|
|
org/scalacheck/Prop.scala]
class
ExtendedAny[T](x : => T, implicit view$1 : (T) => Pretty)
extends AnyRef| Method Summary | |
def
|
=? (y : T) : Prop |
def
|
?= (y : T) : Prop |
def
|
iff (f : scala.PartialFunction[T, Prop]) : Prop |
def
|
imply (f : scala.PartialFunction[T, Prop]) : Prop |
def
|
throws [U <: java.lang.Throwable](c : java.lang.Class[U]) : Prop |
| 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
imply(f : scala.PartialFunction[T, Prop]) : Prop
def
iff(f : scala.PartialFunction[T, Prop]) : Prop
def
throws[U <: java.lang.Throwable](c : java.lang.Class[U]) : Prop
|
scalacheck 1.6 API
|
|