ScalaCheck 1.2
org.scalacheck.Prop

class ExtendedBoolean
[source: org/scalacheck/Prop.scala]
class ExtendedBoolean(b : Boolean)
extends AnyRef
Boolean with support for implication
Method Summary
def ==> (p : => Prop) : Prop
Implication
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
Implication
ScalaCheck 1.2