ScalaCheck 1.0
|
|
scalacheck/Prop.scala
]
class
ExtendedAny[T](x : T)
extends
AnyRefMethod Summary | |
def
|
iff (f : PartialFunction[T, Prop]) : Prop |
def
|
imply
(f : PartialFunction[T, Prop]) : Prop
Implication with several conditions
|
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 : PartialFunction[T, Prop]) : Prop
def
iff(f : PartialFunction[T, Prop]) : Prop
ScalaCheck 1.0
|
|